CVE-2026-40323

See a problem?
Please try reporting it to the source first.
Source
https://cve.org/CVERecord?id=CVE-2026-40323
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2026-40323.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2026-40323
Aliases
Published
2026-04-17T22:58:42Z
Modified
2026-08-12T03:51:34Z
Severity
  • 8.9 (High) CVSS_V4 - 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 Calculator
Summary
SP1 V6 Recursion Circuit Row-Count Binding Gap
Details

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.

Database specific 
{
    "cna_assigner": "GitHub_M",
    "cwe_ids": [
        "CWE-345",
        "CWE-354"
    ],
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40323.json"
}
References

Affected packages

Git / github.com/succinctlabs/sp1

Affected ranges

Type
GIT
Repo
https://github.com/succinctlabs/sp1
Events
Introduced
f87f8d6ff005d542db22e241928319f5e96a4609
Fixed
d454975ac7c1126097e36eceda9bce2cb9899da4
Database specific
Show details 
{
    "cpe": "cpe:2.3:a:succinct:sp1:*:*:*:*:*:*:*:*",
    "extracted_events": [
        {
            "introduced": "6.0.0"
        },
        {
            "fixed": "6.1.0"
        }
    ],
    "source": [
        "AFFECTED_FIELD",
        "CPE_RANGE",
        "REFERENCES"
    ]
}

Database specific

source 
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2026-40323.json"