succinctlabs/sp1

succinctlabs/sp1

GitHubGitHub
GitHubgithub.com
docs.succinct.xyzdocs.succinct.xyz
Releases134
Frequency5 days 22 hours
Last Release
Stars1.65K
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Log in to subscribe

CVE History

CVEPublishedCVSS v3CVSS v2
CVE-2026-40323↗
7.5 HIGH—

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture. In versions 6.0.0 through 6.0.2, a soundness vulnerability in the SP1 V6 recursive shard verifier allows a malicious prover to construct a recursive proof from a shard proof that the native verifier would reject. Version 6.1.0 fixes the issue.