Incremental Verifiable Computation (IVC) abstractions.

This crate provides the [IVC] trait, which describes the common interface for all IVC constructions, and [compilers] that turn a folding scheme into a full IVC scheme.

Example

Proving a long hash chain with folding-based IVC. Each step folds one fresh execution of a user-defined step circuit into a single proof, whose size and verification cost do not grow with the number of steps.

You can run this example with cargo run --release --example hash_chain.