SP1 V6 Recursion Circuit Row-Count Binding Gap_CVE-2026-40323

{
    "lastseen": "",
    "description": "SP1 is a zero\u2011knowledge 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.",
    "published": "2026-04-17T22:58:42.580Z",
    "modified": "2026-04-17T22:58:42.580Z",
    "type": "cve",
    "title": "SP1 V6 Recursion Circuit Row-Count Binding Gap",
    "source": "GitHub_M",
    "references": "https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33\nhttps://github.com/succinctlabs/sp1/releases/tag/v6.1.0",
    "id": "CVE-2026-40323",
    "bulletinFamily": "",
    "cwe": [
        "CWE-345",
        "CWE-354"
    ],
    "cvelist": null,
    "sourceData": "succinctlabs sp1 >= 6.0.0, < 6.1.0",
    "sourceHref": "",
    "cvss": {
        "score": 8.9,
        "severity": "HIGH",
        "vector": "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",
        "version": "4.0"
    },
    "cvss2": [],
    "cvss3": {
        "version": "",
        "vectorString": "",
        "baseScore": 0,
        "baseSeverity": "",
        "attackVector": "",
        "attackComplexity": "",
        "privilegesRequired": "",
        "userInteraction": "",
        "scope": "",
        "confidentialityImpact": "",
        "integrityImpact": "",
        "availabilityImpact": "",
        "cvssV3": {
            "version": "",
            "vectorString": "",
            "baseScore": 0,
            "baseSeverity": "",
            "attackVector": "",
            "attackComplexity": "",
            "privilegesRequired": "",
            "userInteraction": "",
            "scope": "",
            "confidentialityImpact": "",
            "integrityImpact": "",
            "availabilityImpact": ""
        }
    },
    "href": "",
    "category_name": "CVE",
    "post_link": "",
    "product": "sp1",
    "version": ">= 6.0.0, < 6.1.0",
    "vendor": "succinctlabs",
    "ai_description": "Soundness vulnerability in the SP1 V6 recursive shard verifier",
    "ai_severity": "High",
    "ai_vendor": "Succinct Labs",
    "ai_product": "SP1",
    "ai_version": "6.0.0, 6.0.1, 6.0.2",
    "ai_score": 8.9
}