{"id":"CVE-2026-40323","revision":"c19146b402794f5c8d29330c99954ad6","records":[{"revision":"c19146b402794f5c8d29330c99954ad6","observedAt":"2026-10-23T15:48:27.903+00:00","statement":{"source":"cve-program","id":"CVE-2026-40323","aliases":[],"title":"SP1 V6 Recursion Circuit Row-Count Binding Gap","description":"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.","state":0,"publishedAt":"2026-04-17T22:58:42.58+00:00","modifiedAt":"2026-04-20T16:16:41.143+00:00","affected":[{"ecosystem":"Vendor product","name":"sp1","ranges":[],"versions":[],"rawVersionEvidence":"{\n                    \"vendor\": \"succinctlabs\",\n                    \"product\": \"sp1\",\n                    \"versions\": [\n                        {\n                            \"version\": \">= 6.0.0, < 6.1.0\",\n                            \"status\": \"affected\"\n                        }\n                    ]\n                }"}],"metrics":[{"system":"CVSS 4.0","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","score":8.9,"severity":"HIGH"}],"references":["https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33","https://github.com/succinctlabs/sp1/releases/tag/v6.1.0"],"sourceUrl":"https://www.cve.org/CVERecord?id=CVE-2026-40323","license":"CVE Program Terms of Use","key":"cve-program:CVE-2026-40323","identifiers":["CVE-2026-40323"]},"retained":false,"historicalAffected":[]}],"coverage":[]}