sp1-recursion-circuit

Recursion circuit for SP1 proof aggregation.

Implements the circuit for recursively verifying SP1 proofs, enabling proof compression and aggregation.

Part of SP1, a performant zkVM.