CVE-2026-40323

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.
Configurations

Configuration 1 (hide)

cpe:2.3:a:succinct:sp1:*:*:*:*:*:*:*:*

History

26 Oct 2026, 21:10

Type Values Removed Values Added
Summary
  • (es) SP1 es una máquina virtual de conocimiento cero que prueba la ejecución correcta de programas compilados para la arquitectura RISC-V. En las versiones 6.0.0 a 6.0.2, una vulnerabilidad de solidez en el verificador recursivo de fragmentos SP1 V6 permite a un probador malicioso construir una prueba recursiva a partir de una prueba de fragmento que el verificador nativo rechazaría. La versión 6.1.0 corrige el problema.

Information

Published : 2026-04-18 00:16

Updated : 2026-10-26 21:10


NVD link : CVE-2026-40323

Mitre link : CVE-2026-40323

CVE.ORG link : CVE-2026-40323


JSON object : View

Products Affected

succinct

  • sp1
CWE
CWE-345

Insufficient Verification of Data Authenticity

CWE-354

Improper Validation of Integrity Check Value