{"id":"CVE-2026-40323","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.","aliases":["GHSA-63x8-x938-vx33"],"modified":"2026-08-12T03:51:34.097689124Z","published":"2026-04-17T22:58:42.580Z","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":[{"type":"WEB","url":"https://github.com/succinctlabs/sp1/releases/tag/v6.1.0"},{"type":"ADVISORY","url":"https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40323.json"},{"type":"ADVISORY","url":"https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33"},{"type":"ADVISORY","url":"https://nvd.nist.gov/vuln/detail/CVE-2026-40323"}],"affected":[{"ranges":[{"type":"GIT","repo":"https://github.com/succinctlabs/sp1","events":[{"introduced":"f87f8d6ff005d542db22e241928319f5e96a4609"},{"fixed":"d454975ac7c1126097e36eceda9bce2cb9899da4"}],"database_specific":{"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"}}],"schema_version":"1.9.0","severity":[{"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"}]}