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
2025-12-05T08:52:53.699713Z
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"
    ],
    "cna_assigner": "GitHub_M",
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/24xxx/CVE-2025-24802.json"
}
References

Affected packages

Git / github.com/0xpolygonzero/plonky2

Affected ranges

Type
GIT
Repo
https://github.com/0xpolygonzero/plonky2
Events
Introduced
0 Unknown introduced commit / All previous commits are affected
Fixed
091047f7f10cae082716f3738ad59a583835f7b6

Affected versions

starky-v0.*
starky-v0.2.1
v0.*
v0.2.0
v0.2.2
v0.2.3
v1.*
v1.0.0

Database specific

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