Vulnerability · Published Apr 17, 2026 · Assigned by GitHub_M

CVE-2026-40323SP1 V6 Recursion Circuit Row-Count Binding Gap

High 8.9

In plain English

A high-severity insufficient verification of data authenticity in sp1 from succinctlabs. There are no confirmed reports of exploitation so far. The chance it is exploited in the next 30 days is estimated at 0.2% (higher than 9% of all known vulnerabilities).

Severity (CVSS 4.0)8.9High

Exploit odds (30 days)0.2%top 90.7% of all CVEs

Exploited in the wildNo reportsCISA SSVC: none

Attack toolingNoneno public tooling known

Official 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.

Affected products (as reported)

Vendor	Product	Versions
succinctlabs	sp1	>= 6.0.0, < 6.1.0

Weakness: CWE-345, CWE-354 · 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

References

https://github.com/succinctlabs/sp1/security/advisories/GHSA-63x8-x938-vx33 x_refsource_CONFIRM
https://github.com/succinctlabs/sp1/releases/tag/v6.1.0 x_refsource_MISC