GitHub repository: succinctlabs/sp1
Primary language: Rust
Description: SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.