{"id":"CVE-2026-40323","state":"PUBLISHED","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.","publishedAt":"2026-04-17T22:58:42.580Z","updatedAt":"2026-04-20T16:16:41.143Z","severity":{"score":8.9,"label":"High","version":"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","source":"GitHub_M"},"assigner":"GitHub_M","products":["succinctlabs sp1"],"affected":[{"vendor":"succinctlabs","product":"sp1","versions":[{"version":">= 6.0.0, < 6.1.0","status":"affected"}]}],"references":["https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33","https://github.com/succinctlabs/sp1/releases/tag/v6.1.0"],"weaknesses":["CWE-345","CWE-354"],"ingestedAt":"2026-10-29T20:11:57.932Z","source":{"repository":"CVEProject/cvelistV5","path":"cves/2026/40xxx/CVE-2026-40323.json","commit":"556c9d3a8cd17e218bb8e452ba7cd619a384ff47"},"raw":{"dataType":"CVE_RECORD","dataVersion":"5.2","cveMetadata":{"cveId":"CVE-2026-40323","state":"PUBLISHED","datePublished":"2026-04-17T22:58:42.580Z","dateUpdated":"2026-04-20T16:16:41.143Z","assignerShortName":"GitHub_M","assignerOrgId":"a0819718-46f1-4df5-94e2-005712e83aaa","dateReserved":"2026-04-10T21:41:54.505Z"},"containers":{"cna":{"title":"SP1 V6 Recursion Circuit Row-Count Binding Gap","descriptions":[{"lang":"en","value":"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."}],"affected":[{"vendor":"succinctlabs","product":"sp1","versions":[{"version":">= 6.0.0, < 6.1.0","status":"affected"}]}],"references":[{"url":"https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33","name":"https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33","tags":["x_refsource_CONFIRM"]},{"url":"https://github.com/succinctlabs/sp1/releases/tag/v6.1.0","name":"https://github.com/succinctlabs/sp1/releases/tag/v6.1.0","tags":["x_refsource_MISC"]}],"metrics":[{"cvssV4_0":{"attackVector":"NETWORK","attackComplexity":"HIGH","attackRequirements":"NONE","privilegesRequired":"NONE","userInteraction":"NONE","vulnConfidentialityImpact":"NONE","vulnIntegrityImpact":"HIGH","vulnAvailabilityImpact":"NONE","subConfidentialityImpact":"NONE","subIntegrityImpact":"HIGH","subAvailabilityImpact":"NONE","baseScore":8.9,"baseSeverity":"HIGH","vectorString":"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"}}],"problemTypes":[{"descriptions":[{"cweId":"CWE-345","lang":"en","description":"CWE-345: Insufficient Verification of Data Authenticity","type":"CWE"}]},{"descriptions":[{"cweId":"CWE-354","lang":"en","description":"CWE-354: Improper Validation of Integrity Check Value","type":"CWE"}]}],"providerMetadata":{"shortName":"GitHub_M","orgId":"a0819718-46f1-4df5-94e2-005712e83aaa","dateUpdated":"2026-04-17T22:58:42.580Z"},"source":{"advisory":"GHSA-63x8-x938-vx33","discovery":"UNKNOWN"}},"adp":[{"title":"CISA ADP Vulnrichment","metrics":[{"other":{"type":"ssvc","content":{"timestamp":"2026-04-20T16:16:33.342756Z","id":"CVE-2026-40323","options":[{"Exploitation":"none"},{"Automatable":"no"},{"Technical Impact":"partial"}],"role":"CISA Coordinator","version":"2.0.3"}}}],"providerMetadata":{"shortName":"CISA-ADP","orgId":"134c704f-9b21-4f2e-91b3-4a467353bcc0","dateUpdated":"2026-04-20T16:16:41.143Z"}}]}}}