snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
136 stars 19 forks source link

feat(ivc): `protogalaxy::verify` #384

Closed cyphersnake closed 3 weeks ago

cyphersnake commented 3 weeks ago

Motivation Part of #361

Overview All that's left is to test this code separately from the rest. This requires cyclic curves, so I'm putting this part aside and going to make a cyclefold billet to build all types once