SP1 V6 Recursion Circuit Row-Count Binding Gap

{
  "id": "9cb1a6a69d50ec0b40b3ad096ac9fd77f2d17bad9656c9ca8608ab8bdb360d24",
  "url": "https://osv.dev/vulnerability/CVE-2026-40323",
  "method": "structured",
  "payload": {
    "kind": "advisory",
    "title": "SP1 V6 Recursion Circuit Row-Count Binding Gap",
    "summary": "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.",
    "evidence": "osv:CVE-2026-40323",
    "products": [],
    "severity": "high",
    "structured": {
      "id": "CVE-2026-40323",
      "aliases": [
        "CVE-2026-40323",
        "GHSA-63x8-x938-vx33"
      ],
      "metrics": [
        {
          "type": "CVSS_V4",
          "score": "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"
        }
      ],
      "affected": [
        {
          "ranges": [
            {
              "repo": "https://github.com/succinctlabs/sp1",
              "type": "GIT",
              "events": [
                {
                  "introduced": "f87f8d6ff005d542db22e241928319f5e96a4609"
                },
                {
                  "fixed": "d454975ac7c1126097e36eceda9bce2cb9899da4"
                }
              ],
              "database_specific": {
                "extracted_events": [
                  {
                    "range": [
                      {
                        "introduced": "6.0.0"
                      },
                      {
                        "fixed": "6.1.0"
                      }
                    ],
                    "source": "AFFECTED_FIELD",
                    "strategy": "StringRangeExpression"
                  },
                  {
                    "range": [
                      {
                        "fixed": "d454975ac7c1126097e36eceda9bce2cb9899da4"
                      }
                    ],
                    "source": "REFERENCES_TAG",
                    "original_tag": "v6.1.0"
                  },
                  {
                    "cpe": "cpe:2.3:a:succinct:sp1:*:*:*:*:*:*:*:*",
                    "range": [
                      {
                        "introduced": "6.0.0"
                      },
                      {
                        "fixed": "6.1.0"
                      }
                    ],
                    "source": "CPE_RANGE"
                  }
                ]
              }
            }
          ],
          "database_specific": {
            "source": "https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2026-40323.json"
          }
        }
      ],
      "modified": "2026-10-28T02:30:29.160019490Z",
      "provider": "osv",
      "references": [
        "https://github.com/succinctlabs/sp1/releases/tag/v6.1.0",
        "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40323.json",
        "https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33",
        "https://nvd.nist.gov/vuln/detail/CVE-2026-40323"
      ],
      "provider_metadata": {
        "cwe_ids": [
          "CWE-345",
          "CWE-354"
        ],
        "cna_assigner": "GitHub_M",
        "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40323.json"
      }
    },
    "related_cves": [
      {
        "value": "CVE-2026-40323",
        "evidence": "/id"
      }
    ],
    "security_relevant": true,
    "severity_evidence": "/severity/0/score"
  },
  "source_id": "core-osv",
  "document_id": 495739,
  "published_at": "2026-04-17T22:58:42.58+00:00"
}