🛡️ CVE-2026-40323
🟠 CVSS 8.0 — High ✅ No Known Exploit CWE-345 NVD
8.0
CVSS Score
0 Low4 Medium7 High9 Critical10

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.

Details

Severity HIGH
CVSS Score 8.0
CVSS Vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N
CWE CWE-345
Public Exploit ✅ No
Source NVD
Published 2026-04-18
Updated 2026-06-02
Modified 2026-05-13
Fix URL N/A

Affected Packages

Software From version Fixed in
sp1 6.0.0 6.1.0
sp1-prover
sp1-recursion-circuit
sp1-sdk
unknown

Exploit Protection

Help block exploit attempts

BotEraser is designed to detect and help reduce malicious bot traffic that may target known vulnerabilities on your site.

Try BotEraser Free →

No credit card required  ·  Results in minutes

ⓘ Data Notice: The information presented above has been compiled from publicly available internet sources. Boteraser aggregates this data solely for informational purposes and does not independently classify, evaluate, or endorse any findings about the vulnerabilities listed. The accuracy and completeness of this information is the sole responsibility of the original publishers. Boteraser and its operators accept no liability for any decisions made based on this data.