CVE-2026-40323
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 4.0
- 8.9
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 - CVSS 3.1
- 7.5
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N - EPSS
- 0.2% chance of exploitation in the next 30 days; higher than 9% of CVEs (scores of 2026-10-26)
- CWEs
- CWE-345, CWE-354
- Published
- Modified
- Record from
- the NVD, synced
Affected
- succinct:sp1
Packages (OSV)
| Advisory | Ecosystem | Package | Affected | Fixed in |
|---|---|---|---|---|
| GHSA-63x8-x938-vx33 | crates.io | sp1_sdk | >=6.0.0 <6.1.0 | 6.1.0 |
| GHSA-63x8-x938-vx33 | crates.io | sp1_recursion_circuit | >=6.0.0 <6.1.0 | 6.1.0 |
| GHSA-63x8-x938-vx33 | crates.io | sp1_prover | >=6.0.0 <6.1.0 | 6.1.0 |