CVE-2026-40323: CWE-345: Insufficient Verification of Data Authenticity in succinctlabs sp1
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.
AI Analysis
Technical Summary
The vulnerability CVE-2026-40323 affects succinctlabs sp1, a zero-knowledge virtual machine for RISC-V compiled programs. Versions 6.0.0 to 6.0.2 contain a soundness flaw in the SP1 V6 recursive shard verifier, where a malicious prover can generate a recursive proof from a shard proof that should be rejected by the native verifier. This flaw constitutes insufficient verification of data authenticity (CWE-345) and improper control of operations within a critical component (CWE-354). The issue is resolved in version 6.1.0.
Potential Impact
An attacker who can act as a prover may exploit this vulnerability to produce recursive proofs that bypass the native verifier's rejection, potentially undermining the integrity and trustworthiness of the proof system. This could lead to acceptance of invalid proofs, affecting the correctness guarantees of the zero-knowledge virtual machine. There are no reports of exploitation in the wild.
Mitigation Recommendations
Upgrade succinctlabs sp1 to version 6.1.0 or later, where this vulnerability is fixed. Since no official patch links or advisories are provided, users should verify the update from the vendor's official release channels. Patch status is not explicitly confirmed beyond the version fix note; check vendor advisories for the latest remediation guidance.
CVE-2026-40323: CWE-345: Insufficient Verification of Data Authenticity in succinctlabs sp1
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.
CVSS v4.0
Score 8.9high
AI-Powered Analysis
Machine-generated threat intelligence
Technical Analysis
The vulnerability CVE-2026-40323 affects succinctlabs sp1, a zero-knowledge virtual machine for RISC-V compiled programs. Versions 6.0.0 to 6.0.2 contain a soundness flaw in the SP1 V6 recursive shard verifier, where a malicious prover can generate a recursive proof from a shard proof that should be rejected by the native verifier. This flaw constitutes insufficient verification of data authenticity (CWE-345) and improper control of operations within a critical component (CWE-354). The issue is resolved in version 6.1.0.
Potential Impact
An attacker who can act as a prover may exploit this vulnerability to produce recursive proofs that bypass the native verifier's rejection, potentially undermining the integrity and trustworthiness of the proof system. This could lead to acceptance of invalid proofs, affecting the correctness guarantees of the zero-knowledge virtual machine. There are no reports of exploitation in the wild.
Mitigation Recommendations
Upgrade succinctlabs sp1 to version 6.1.0 or later, where this vulnerability is fixed. Since no official patch links or advisories are provided, users should verify the update from the vendor's official release channels. Patch status is not explicitly confirmed beyond the version fix note; check vendor advisories for the latest remediation guidance.
Technical Details
- Data Version
- 5.2
- Assigner Short Name
- GitHub_M
- Date Reserved
- 2026-04-10T21:41:54.505Z
- Cvss Version
- 4.0
- State
- PUBLISHED
- Remediation Level
- null
Threat ID: 69e2c0dabdfbbecc599fc03a
Added to database: 4/17/2026, 11:23:06 PM
Last enriched: 4/25/2026, 2:50:55 AM
Last updated: 6/2/2026, 4:18:40 AM
Views: 69
Community Reviews
0 reviewsCrowdsource mitigation strategies, share intel context, and vote on the most helpful responses. Sign in to add your voice and help keep defenders ahead.
Want to contribute mitigation steps or threat intel context? Sign in or create an account to join the community discussion.
Actions
Updates to AI analysis require Pro Console access. Upgrade inside Console → Billing.
Need more coverage?
Upgrade to Pro Console for AI refresh and higher limits.
For incident response and remediation, OffSeq services can help resolve threats faster.
Latest Threats
Check if your credentials are on the dark web
Instant breach scanning across billions of leaked records. Free tier available.