ivc

There are 4 repositories under ivc topic.

  • snarkify/sirius

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

    Language:Rust146510520

  • arkworks-rs/pcd

    Implementations of proof-carrying data

    Language:Rust3315411

  • snarkify/sirius-quickstart

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

    Language:Rust1200

  • Dustin-Ray/CAPY-pqARK

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

    Language:Rust0100