Zero-Knowledge Virtual Machine Vulnerability in SP1 by Succinct Labs
CVE-2026-40323
8.9HIGH
What is CVE-2026-40323?
In SP1 versions 6.0.0 through 6.0.2, a soundness vulnerability exists within the V6 recursive shard verifier component. This issue permits a malicious actor to create a recursive proof derived from a shard proof that would typically be rejected by the native verifier. This exploit compromises the integrity of program execution for applications designed for the RISC-V architecture. The vulnerability has been addressed in version 6.1.0, making it crucial for users to update to this release to ensure protection against potential misuse.
Affected Version(s)
sp1 >= 6.0.0, < 6.1.0
