CVE-2026-40323

Summary

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 Software

VendorProductVersion RangeStatus
succinctlabssp1>= 6.0.0, < 6.1.0affected

Weaknesses

  • CWE-345: CWE-345: Insufficient Verification of Data Authenticity
  • CWE-354: CWE-354: Improper Validation of Integrity Check Value

ADP Enrichment

CISA ADP Vulnrichment

  • SSVC:
  • Exploitation: none
    • Automatable: no
    • Technical Impact: partial

References