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.
Metrics
Affected Vendors & Products
References
History
Mon, 20 Apr 2026 17:15:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| Metrics |
ssvc
|
Mon, 20 Apr 2026 15:15:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| First Time appeared |
Succinctlabs
Succinctlabs sp1 |
|
| Vendors & Products |
Succinctlabs
Succinctlabs sp1 |
Fri, 17 Apr 2026 23:30:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| 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. | |
| Title | SP1 V6 Recursion Circuit Row-Count Binding Gap | |
| Weaknesses | CWE-345 CWE-354 |
|
| References |
| |
| Metrics |
cvssV4_0
|
Status: PUBLISHED
Assigner: GitHub_M
Published:
Updated: 2026-04-20T16:16:41.143Z
Reserved: 2026-04-10T21:41:54.505Z
Link: CVE-2026-40323
Updated: 2026-04-20T16:16:36.646Z
Status : Awaiting Analysis
Published: 2026-04-18T00:16:36.767
Modified: 2026-04-20T19:03:07.607
Link: CVE-2026-40323
No data.