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.
{
"cna_assigner": "GitHub_M",
"cwe_ids": [
"CWE-345",
"CWE-354"
],
"osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40323.json"
}{
"extracted_events": [
{
"introduced": "6.0.0"
},
{
"fixed": "6.1.0"
},
{
"cpe": "cpe:2.3:a:succinct:sp1:*:*:*:*:*:*:*:*",
"range": [
{
"introduced": "6.0.0"
},
{
"fixed": "6.1.0"
}
],
"source": "CPE_RANGE"
},
{
"original_tag": "v6.1.0",
"range": [
{
"fixed": "d454975ac7c1126097e36eceda9bce2cb9899da4"
}
],
"source": "REFERENCES_TAG"
}
],
"source": "AFFECTED_FIELD"
}