Fabrizio Muraca
Fabrizio Muraca
This issue tracks the creation of an RCF detailing snarky and the work to be done in order to port it to Rust.
It should be tested that the new Rust implementation of plonk-constraint-system can replace the old one, a PR in mina passing tests should suffice.
Adding support to use range checks in snarkyrs
epic for things required by folding's IVC that can be mostly done in parallel. - [x] #1628 - [x] #1629 - [x] #1630 - [x] #1631 - [ ] #1684...