search

snarkify / sirius

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

feat(nifs): impl protogalaxy::verify #320

Closed cyphersnake closed 1 month ago

cyphersnake commented 2 months ago

Motivation Part of #267

Overview In addition to the implementation itself, the fold_trace code was splitted for reuse within prove&verify.

Also documentation was written for some of the protogalaxy methods & structs