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
No data.
No data.
No data.
No data.
Advisories
| Source | ID | Title |
|---|---|---|
 Github GHSA |
GHSA-63x8-x938-vx33 | SP1 V6 Recursion Circuit Row-Count Binding Gap |
Fixes
Solution
No solution given by the vendor.
Workaround
No workaround given by the vendor.
References
History
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
|
Projects
Sign in to view the affected projects.
MITRE
Status: PUBLISHED
Assigner: GitHub_M
Published:
Updated: 2026-04-17T22:58:42.580Z
Reserved: 2026-04-10T21:41:54.505Z
Link: CVE-2026-40323
Vulnrichment
No data.
NVD
Status : Received
Published: 2026-04-18T00:16:36.767
Modified: 2026-04-18T00:16:36.767
Link: CVE-2026-40323
Redhat
No data.
OpenCVE Enrichment
No data.