sp1-recursion-compiler

Compiler for SP1 recursion circuits.

Compiles recursion programs into circuit representations for proof aggregation.

Part of SP1, a performant zkVM.