CVE Catalog

CVE-2026-40323

High
Published: Translated: NVD NIST

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.

Risk Assessment

A malicious user could exploit this vulnerability to deceive the system, potentially leading to breaches of data integrity and application security.

Recommendation

It is recommended to upgrade to version 6.1.0, which fixes this vulnerability.

Related vulnerabilities

Original NVD description (English source)

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.

Vulnerability data from NVD (NIST) · CISA KEV · EPSS