https://github.com/snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

cryptography ivc nova proof-system protostar zero-knowledge-proofs zkp

Last synced: 18 Apr 2025