# sp1-recursion-compiler

Compiler for SP1 recursion circuits.

Compiles recursion programs into circuit representations for proof aggregation.

---

Part of [SP1](https://github.com/succinctlabs/sp1), a performant zkVM.
