# 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](https://github.com/succinctlabs/sp1), a performant zkVM.
