{"answers":{"affected":"6 open source packages ship an affected version, including sp1_prover, sp1_recursion_circuit and sp1_sdk. It affects 1 product.","exploited":"There is no known exploitation of CVE-2026-40323 in the wild and no public exploit code.","fix":"Upgrade sp1_prover to 6.1.0 or later.","what":"CVE-2026-40323 is a high-severity vulnerability in succinctlabs sp1, published on 17 Apr 2026. An attacker can exploit it over the internet without logging in, with no action from the victim."},"fix_prompt":"Check this codebase for CVE-2026-40323 and fix it if it is affected.\n\nWhat it is: CVE-2026-40323 is a high-severity vulnerability in succinctlabs sp1, published on 17 Apr 2026. An attacker can exploit it over the internet without logging in, with no action from the victim.\nExploitation: There is no known exploitation of CVE-2026-40323 in the wild and no public exploit code.\n\nAffected packages and fixed versions:\n- sp1_prover (crates.io): affected from 6.0.0; fixed in 6.1.0\n- sp1_prover (crates.io): affected from 6.0.0; fixed in 6.1.0\n- sp1_recursion_circuit (crates.io): affected from 6.0.0; fixed in 6.1.0\n- sp1_recursion_circuit (crates.io): affected from 6.0.0; fixed in 6.1.0\n- sp1_sdk (crates.io): affected from 6.0.0; fixed in 6.1.0\n- sp1_sdk (crates.io): affected from 6.0.0; fixed in 6.1.0\n\nTask:\n1. Search the dependency manifests and lockfiles (for example package.json, package-lock.json, requirements.txt, poetry.lock, uv.lock, pom.xml, build.gradle, go.mod, Cargo.lock, Gemfile.lock) and any Dockerfiles for the affected packages, including transitive dependencies.\n2. If an affected version is in use, upgrade it to the fixed version for its release line with the project's package manager, so the lockfile is regenerated. Prefer the smallest upgrade that fixes it.\n3. If there is no fix, or the upgrade would break the build, do not guess: explain the risk and the safest workaround instead.\n4. Run the tests and summarise what changed and why.\n5. If nothing in the project is affected, say so and change nothing.\n\nReference: https://insights.sbomify.com/CVE-2026-40323/ (Markdown: https://insights.sbomify.com/CVE-2026-40323/index.md)","id":"CVE-2026-40323","markdown":"https://insights.sbomify.com/CVE-2026-40323/index.md","name":"CVE-2026-40323","record":{"aliases":["GHSA-63x8-x938-vx33"],"analysis":{"component_type":"library","fix_type":"upgrade","impacts":["security_bypass"],"network_reachable":"yes","non_default_config":false,"product_category":"ZK virtual machine","requires_auth":"none","summary":"A malicious prover can bypass verification in the SP1 ZK virtual machine by constructing invalid recursive proofs, compromising proof integrity.","user_interaction":"not_required","vuln_class":"other"},"analysis_generated_by":"qwen3.8-flash-next","assigner":"GitHub_M","cpe":[{"product":"sp1","vendor":"succinct"}],"cvss":{"score":8.9,"severity":"high","source":"cna","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"},"cwes":[{"id":"CWE-354","name":"Improper Validation of Integrity Check Value"},{"id":"CWE-345","name":"Insufficient Verification of Data Authenticity"}],"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.","ecosystems":["crates.io"],"exploits":{"exploitdb":0,"first_seen":null,"github_poc":0,"max_poc_stars":null,"metasploit":0,"nuclei":0,"refs":[],"tier":"none_known"},"has_fix":true,"headline":"SP1 V6 Recursion Circuit Row-Count Binding Gap","id":"CVE-2026-40323","indexable":true,"kev":null,"kind":"cve","links":{"ecosystem":"crates.io","product":null,"products":[],"type":"other","year":"2026"},"n_packages":6,"n_references":2,"next":{"headline":"Hot Chocolate's Utf8GraphQLParser has Stack Overflow via Deeply Nested GraphQL Documents","id":"CVE-2026-40324"},"packages":[{"ecosystem":"crates.io","fixed":["6.1.0"],"introduced":["6.0.0"],"last_affected":[],"package":"sp1_prover","purl":null,"source":"GHSA-63x8-x938-vx33"},{"ecosystem":"crates.io","fixed":["6.1.0"],"introduced":["6.0.0"],"last_affected":[],"package":"sp1_prover","purl":"pkg:cargo/sp1_prover","source":"GHSA-63x8-x938-vx33"},{"ecosystem":"crates.io","fixed":["6.1.0"],"introduced":["6.0.0"],"last_affected":[],"package":"sp1_recursion_circuit","purl":null,"source":"GHSA-63x8-x938-vx33"},{"ecosystem":"crates.io","fixed":["6.1.0"],"introduced":["6.0.0"],"last_affected":[],"package":"sp1_recursion_circuit","purl":"pkg:cargo/sp1_recursion_circuit","source":"GHSA-63x8-x938-vx33"},{"ecosystem":"crates.io","fixed":["6.1.0"],"introduced":["6.0.0"],"last_affected":[],"package":"sp1_sdk","purl":null,"source":"GHSA-63x8-x938-vx33"},{"ecosystem":"crates.io","fixed":["6.1.0"],"introduced":["6.0.0"],"last_affected":[],"package":"sp1_sdk","purl":"pkg:cargo/sp1_sdk","source":"GHSA-63x8-x938-vx33"}],"prev":{"headline":"SiYuan: Mermaid `javascript:` Link Injection Leads to Stored XSS and Electron RCE","id":"CVE-2026-40322"},"products":["sp1"],"published":"2026-04-17","related":[],"sources":[{"class":"attribution","licence":"CVE Terms of Use (MITRE)","name":"CVE List","prefix":"CVE"},{"class":"attribution","licence":"CC BY 4.0","name":"GitHub Advisory Database","prefix":"GHSA"},{"class":"attribution","licence":"US public information, NVD API terms","name":"NVD"},{"class":"attribution","licence":"CWE Terms of Use","name":"CWE (MITRE)"},{"class":"attribution","licence":"FIRST CVSS licence","name":"CVSS (FIRST)"}],"ssvc":{"automatable":"no","exploitation":"none","technical_impact":"partial"},"state":"PUBLISHED","updated":"2026-04-20","vendors":["succinctlabs"]},"summary":"A malicious prover can bypass verification in the SP1 ZK virtual machine by constructing invalid recursive proofs, compromising proof integrity.","url":"https://insights.sbomify.com/CVE-2026-40323/"}