Approved changes feed: RSS · Atom
cpe:2.3:a:succinct:sp1:*:*:*:*:*:*:*:*part: a version: * update: *
| Vendor | Succinct (ce51c988-98c1-5ec9-a70e-834bcbc76c4c) |
|---|---|
| Product | Sp1 (5d411400-c214-5d86-840d-4c903591fc6f) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
Notes
Imported from gcve-enriched-dumps CVE data
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
| No PURL mappings for this CPE yet. | ||
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
CVE:CVE-2026-40323 |
vulnerable | 2026-06-08 08:01:20.176777 |
SP1 V6 Recursion Circuit Row-Count Binding Gap
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.
Published: 2026-04-17T22:58:42.580Z
Updated: 2026-04-20T16:16:41.143Z |
Imported from gcve-enriched-dumps CVE data |
Contribute
You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.