sonobe-ivc 0.1.0-alpha.1

Traits and implementations of Incremental Verifiable Computation (IVC) for the Sonobe library, featuring generic folding-to-IVC compilers
Documentation
1
2
3
4
//! Per-scheme adapters that implement [`super::CycleFoldCircuit`] for supported
//! folding schemes.

pub mod nova;