CVE-2025-24802

See a problem?
Please try reporting it to the source first.
Source
https://cve.org/CVERecord?id=CVE-2025-24802
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2025-24802.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2025-24802
Aliases
Published
2025-01-30T19:20:14.250Z
Modified
2026-07-15T01:49:22.637187444Z
Severity
  • 8.6 (High) CVSS_V3 - CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:N CVSS Calculator
Summary
Soundness issue with Plonky2 look up tables
Details

Plonky2 is a SNARK implementation based on techniques from PLONK and FRI. Lookup tables, whose length is not divisible by 26 = floor(numroutedwires / 3) always include the 0 -> 0 input-output pair. Thus a malicious prover can always prove that f(0) = 0 for any lookup table f (unless its length happens to be divisible by 26). The cause of problem is that the LookupTableGate-s are padded with zeros. A workaround from the user side is to extend the table (by repeating some entries) so that its length becomes divisible by 26. This vulnerability is fixed in 1.0.1.

Database specific 
{
    "cwe_ids": [
        "CWE-1240"
    ],
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/24xxx/CVE-2025-24802.json",
    "cna_assigner": "GitHub_M"
}
References

Affected packages

Git / github.com/0xpolygonzero/plonky2

Affected ranges

Type
GIT
Repo
https://github.com/0xpolygonzero/plonky2
Events
Introduced
6d1b99e5ca8f8f977be4809637c06f71237d45c7
Fixed
091047f7f10cae082716f3738ad59a583835f7b6
Database specific 
{
    "extracted_events": [
        {
            "introduced": "= 1.0.0"
        },
        {
            "last_affected": "= 1.0.0"
        }
    ],
    "source": [
        "AFFECTED_FIELD",
        "REFERENCES"
    ]
}

Affected versions

= 1.*
= 1.0.0
v1.*
v1.0.0

Database specific

source 
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2025-24802.json"