feat(ivc): remove process_step
chaosma opened this issue · 0 comments
chaosma commented
The current ivc folding requires offline process_step computation in order to get the public IO of the step folding circuit [X0, X1]. This introduces unnecessary duplicate synthesize. We need figure out a way to avoid this function.