Vulnerability details
CVE-2026-40323
succinctlabs sp1
SP1 V6 Recursion Circuit Row-Count Binding Gap
CVSS 4.0
8.9High
Official description
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.
CVSS scores
| Score | Version | Source | Vector |
|---|---|---|---|
| 8.9High | 4.0 | CVEProject cvelistV5 (CNA) (GitHub_M) | CVSS:4.0/AV:N/AC:H/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:H/SA:N |
Affected products
| Vendor | Product | Versions | Source |
|---|---|---|---|
| succinctlabs | sp1 | >= 6.0.0, < 6.1.0 | CVEProject cvelistV5 (CNA) |
References and advisories
2- https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33 x_refsource_CONFIRM
- https://github.com/succinctlabs/sp1/releases/tag/v6.1.0 x_refsource_MISC
Kolun on Telegram @kolunsec
Exploited CVEs, key news and a daily digest
Alerts for this product's next CVEsFollow the product to get new vulnerabilities on Telegram.
Details
- Published
- 2026-04-18
- Last updated
- 2026-04-20
- State
- Published
- Assigner (CNA)
- GitHub_M
Exploit prediction (EPSS)
0.19%
Probability of exploitation in 30 days
9.3%
Percentile (among all CVEs)
SSVC assessment (CISA)
- Automatable
- No
- Exploitation
- None
- Technical impact
- Partial
Weaknesses (CWE)
- CWE-345Insufficient Verification of Data Authenticity
- CWE-354Improper Validation of Integrity Check Value