SP1 V6 Recursion Circuit Row-Count Binding Gap
Key facts
- Attack vector
- Network
- Privileges required
- None
- User interaction
- None
- Attack complexity
- High
- Attack requirements
- None
- Impact type
- Security bypass
- Confidentiality · integrity · availability
- None · High · None
- Fix status
- Fixed
Attack profile from CVSS 4.0 · CNA. Fix status from CNA and GitHub. Impact type from CWE-345.
Summary
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.
Why it matters now
SSVC decision points
CISA ADP · SSVC 2.0.3
- Exploitation
- None
- Automatable
- No
- Technical impact
- Partial
The decision (Track, Attend, Act) also depends on your mission and well-being impact; see CISA's SSVC guide.
Affected products
| Vendor | Product | Affected versions | Fixed in | Status | Source |
|---|---|---|---|---|---|
| succinctlabs | sp1 | 6.0.0 to before 6.1.0 | 6.1.0 | Patch available | CNA |
| — | sp1_sdk (crates.io) | 6.0.0 to before 6.1.0 | 6.1.0 | Patch available | GHSA-63x8-x938-vx33 |
| — | sp1_recursion_circuit (crates.io) | 6.0.0 to before 6.1.0 | 6.1.0 | Patch available | GHSA-63x8-x938-vx33 |
| — | sp1_prover (crates.io) | 6.0.0 to before 6.1.0 | 6.1.0 | Patch available | GHSA-63x8-x938-vx33 |
- sp1 Vendorsuccinctlabs Affected 6.0.0 to before 6.1.0 Fixed in 6.1.0 Patch available CNA
- sp1_sdk (crates.io) Vendor— Affected 6.0.0 to before 6.1.0 Fixed in 6.1.0 Patch available GHSA-63x8-x938-vx33
- sp1_recursion_circuit (crates.io) Vendor— Affected 6.0.0 to before 6.1.0 Fixed in 6.1.0 Patch available GHSA-63x8-x938-vx33
- sp1_prover (crates.io) Vendor— Affected 6.0.0 to before 6.1.0 Fixed in 6.1.0 Patch available GHSA-63x8-x938-vx33
Remediation
- Fix · CNA sp1 (succinctlabs) Fixed in 6.1.0
- Fix · GHSA-63x8-x938-vx33 sp1_sdk (crates.io) Fixed in 6.1.0 Advisory →
- Fix · GHSA-63x8-x938-vx33 sp1_recursion_circuit (crates.io) Fixed in 6.1.0 Advisory →
- Fix · GHSA-63x8-x938-vx33 sp1_prover (crates.io) Fixed in 6.1.0 Advisory →
Timeline
- 2026-10-02 Threatist record created from CVE-2026-40323
- 2026-10-03 Alias added: GHSA-63x8-x938-vx33
References
Sources
- CVE-2026-40323 · CVE Program
- CVE-2026-40323 · NVD
- FIRST EPSS
- GHSA-63x8-x938-vx33 · GitHub Advisory Database · CC BY 4.0
This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences