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
| Vendor | Product | Affected | Fixed |
|---|---|---|---|
| succinctlabs | sp1 | >= 6.0.0, < 6.1.0 | — |
Affected packages
| Ecosystem | Package | Affected | Fixed | Record |
|---|---|---|---|---|
| crates.io | sp1_prover | >= 6.0.0, < 6.1.0 | 6.1.0 | GHSA-63x8-x938-vx33 |
| crates.io | sp1_recursion_circuit | >= 6.0.0, < 6.1.0 | 6.1.0 | GHSA-63x8-x938-vx33 |
| crates.io | sp1_sdk | >= 6.0.0, < 6.1.0 | 6.1.0 | GHSA-63x8-x938-vx33 |