Joseandro Luiz

Add the changes to folding in order to support efficient sub-circuit instance aggregation. Most of the code can be adapted with little changes and most of the work is likely...

Spend 1-2 days looking into ramlookups to understand how it will hold everything together.

Needed for FF-based scalar multiplication.

Add Grumpkin to mina/curves

1

- [ ] add grumpkin/bn254 pairing parameters to add (max 1h) - [ ] get rid of ark_bn254 dep and use mina_curves::bn254 and grumpkin in zkVM

Create the generic Prover

1

After we are done with Phase 1 of the large MSM project we will have created a few different Provers. This task aims to make one generic Prover that we...