{"id":"CVE-2026-40323","aliases":["GHSA-63x8-x938-vx33"],"url":"https://o3.security/vulnerability/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.","published":"2026-04-17T22:58:42.580Z","modified":"2026-08-05T03:32:34.607313075Z","cvss":null,"epss":null,"cisaKev":null,"exploitsKnown":null,"affectedPackages":[{"ecosystem":"crates.io","name":"sp1_sdk","fixedVersion":"6.1.0"},{"ecosystem":"crates.io","name":"sp1_recursion_circuit","fixedVersion":"6.1.0"},{"ecosystem":"crates.io","name":"sp1_prover","fixedVersion":"6.1.0"}],"fix":null,"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"}],"provenance":{"sources":["OSV.dev","FIRST.org (EPSS)"],"lastVerified":"2026-08-05T03:32:34.607313075Z"}}