snarkify / sirius

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

feat(ivc): impl of cyclefold IVC #262

Closed chaosma closed 1 month ago

chaosma commented 6 months ago

Implement cyclefold IVC with protogalaxy folding scheme

cyphersnake commented 6 months ago

I think we'll have to decompose this issue into a milestone, just like protogalaxy, so let's call this task "research", along the lines of what we had in #20

chaosma commented 6 months ago

I created another issue for research. Since the TODO of removing the old IVC is after implementation of cyclefold

cyphersnake commented 1 month ago

373