search

privacy-scaling-explorations / sonobe

Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
208 stars 55 forks source link

Feature/nova ivc #36

Closed arnaucube closed 1 year ago

arnaucube commented 1 year ago

This PR implements Nova's IVC (new, prove, verify methods) (without the CycleFold part yet).

arnaucube commented 1 year ago

note: restored the branch of this PR temporarily just to rebase to main some other branches that were depending on this one (as I did also on https://github.com/privacy-scaling-explorations/folding-schemes/pull/35#event-10882954687 )