# sp1-core-compiler

Constraint compiler for SP1 core machines.

Compiles the SP1 constraint system into an efficient representation for formal verification backends.

---

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