This PR introduces a basic 3-to-1 folding prover and verifier (out-of-circuit).
This is WIP and still not ready for actually extracting benchmarks.
I also started working on the in-circuit verifier and the IVC part at: https://github.com/asn-d6/Nova/tree/3-to-1-dev . However it needs additional work both on the R1CS side and also needs plumping in prove_step().
This PR introduces a basic 3-to-1 folding prover and verifier (out-of-circuit).
This is WIP and still not ready for actually extracting benchmarks.
I also started working on the in-circuit verifier and the IVC part at: https://github.com/asn-d6/Nova/tree/3-to-1-dev . However it needs additional work both on the R1CS side and also needs plumping in
prove_step().