Implementations of proof-carrying data
arkworks-rs
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
snarkify