CVE-2026-40323CWE-345CWE-354

SP1 V6 Recursion Circuit Row-Count Binding Gap

High · published April 17, 2026

CVSS v4.0
8.9
EPSS
0%
Percentile
11.7
In the wild
Unconfirmed
What it is

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.

The record
Technical detail
CVSS v4.0
8.9 · HIGH
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
EPSS
0.00219 · 11.7th percentile
Weaknesses
CWE-345 · Insufficient Verification of Data Authenticity; CWE-354 · Improper Validation of Integrity Check Value
Published
2026-04-17T22:58Z
EPSS history
Timeline
  • 17 APR 22:58Z
    SP1 V6 Recursion Circuit Row-Count Binding Gap
    cvelistv5