o1-labs/proof-systems

Rewrite some circuits with new generic FoldingConfig

Opened this issue · 0 comments

          it doesn't work as a test, as I don't instance witness pairs to use as inputs, I made it just to show how it would be used and check there is no issue building it. But for a proper test I think it would be better to rewrite some of the ones we already have with this generic config.

Originally posted by @fabrizio-m in #2270 (comment)