snarkify / sirius

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

refactor(nifs): add `FoldedPlonk*` newtype #355

Closed cyphersnake closed 5 days ago

cyphersnake commented 1 week ago

Motivation Close #316

Overview WIP