CVE-2026-40323
Published:April 17, 2026
Updated:April 23, 2026
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 Packages
sp1-sdk (RUST):
Affected version(s) >=6.0.0 <6.1.0Fix Suggestion:
Update to version 6.1.0sp1_sdk (RUST):
Affected version(s) >=6.0.0 <6.1.0Fix Suggestion:
Update to version 6.1.0sp1-recursion-circuit (RUST):
Affected version(s) >=6.0.0 <6.1.0Fix Suggestion:
Update to version 6.1.0sp1-prover (RUST):
Affected version(s) >=6.0.0 <6.1.0Fix Suggestion:
Update to version 6.1.0sp1_recursion_circuit (RUST):
Affected version(s) >=6.0.0 <6.1.0Fix Suggestion:
Update to version 6.1.0sp1_prover (RUST):
Affected version(s) >=6.0.0 <6.1.0Fix Suggestion:
Update to version 6.1.0Related Resources (3)
Do you need more information?
Contact UsCVSS v4
Base Score:
8.9
Attack Vector
NETWORK
Attack Complexity
HIGH
Attack Requirements
NONE
Privileges Required
NONE
User Interaction
NONE
Vulnerable System Confidentiality
NONE
Vulnerable System Integrity
HIGH
Vulnerable System Availability
NONE
Subsequent System Confidentiality
NONE
Subsequent System Integrity
HIGH
Subsequent System Availability
NONE
CVSS v3
Base Score:
6.8
Attack Vector
NETWORK
Attack Complexity
HIGH
Privileges Required
NONE
User Interaction
NONE
Scope
CHANGED
Confidentiality
NONE
Integrity
HIGH
Availability
NONE
Weakness Type (CWE)
EPSS
Base Score:
0.03
