Back

HIGH

SP1 V6 Recursion Circuit Row-Count Binding Gap

Published Apr 17, 2026

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.

Affected products

Remediation

No remediation recorded yet.

Metrics

Weaknesses (2)

References (4)

Change history (0)

No recorded changes yet.

Sources
CVE.org / MITRE
Status PUBLISHED
Assigner GitHub_M
Published Apr 17, 2026
Updated Apr 20, 2026
Reserved Apr 10, 2026
CISA Vulnrichment
Updated Apr 20, 2026
NVD
Status Analyzed
Modified Jun 17, 2026
Red Hat
Severity n/a
Public date n/a
GHSA-63X8-X938-VX33