Skip to content
New issue

Minimal first flow (Nova in Ethereum)

Closed Sep 9, 2024 100% complete

This milestone groups all the issues & PRs needed to have a minimal first flow of the system usable on Ethereum which includes:

  • frontend: defining a circuit with Circom that is then connected to the folding part
  • folding: folding the circuit with the Nova folding scheme (using CycleFold approach)
  • decider: generating a SNARK proof of the folded instance, w…

This milestone groups all the issues & PRs needed to have a minimal first flow of the system usable on Ethereum which includes:

  • frontend: defining a circuit with Circom that is then connected to the folding part
  • folding: folding the circuit with the Nova folding scheme (using CycleFold approach)
  • decider: generating a SNARK proof of the folded instance, which can then be verified in the EVM

The idea is that once this milestone is complete, any developer can plug their Circom circuit into this folding-schemes library to use this flow, being able to fold the circuit using Nova with CycleFold, and at the end generate a SNARK (through an existing arkworks prover, eg. Groth16 over BN254), being able to verify the final snark in the EVM.

Loading