high7.5
CVE-2026-40323
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Impact
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.
Affected packages
| Ecosystem | Package | Affected | Fixed in |
|---|---|---|---|
| rust | sp1_sdk | >= 6.0.0, <= 6.0.2 | 6.1.0 |
| rust | sp1_recursion_circuit | >= 6.0.0, <= 6.0.2 | 6.1.0 |
| rust | sp1_prover | >= 6.0.0, <= 6.0.2 | 6.1.0 |
Affected products
| Vendor | Product | Affected versions |
|---|---|---|
| Succinct | Sp1 | from 6.0.0 before 6.1.0 |