ivc

There are 4 repositories under ivc topic.

  • snarkify/sirius

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

    Language:Rust120510517

  • arkworks-rs/pcd

    Implementations of proof-carrying data

    Language:Rust3015410

  • snarkify/sirius-quickstart

    Minimal example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding

    Language:Rust1

  • Dustin-Ray/CAPY-pqARK

    Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof

    Language:Rust0100