succinctlabs/sp1

**Summary** SP1 is an open‑source zero‑knowledge virtual machine that can generate succinct proofs that a RISC‑V program executed correctly. Built in Rust, it a