# sp1-recursion-machine

Machine definitions for SP1 recursion.

Defines the AIR constraints and chips for the SP1 recursion layer.

---

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