Explore

Rule Explorer

Search the public rule index by CVE, GHSA, CWE, language, framework, author, or rule slug. Filter by language, framework, severity, confidence, license, and validation status.

Public rules
4797
Downloads
7.4M
Verified
4797
Authors
2
Search the rule indexUse CVE, GHSA, CWE, language, framework, package, or rule slug.
1 rules matched. Showing 1 loaded rules.
Publish rule
CVE-2025-24802: Plonky2 Zero Padding Lookup Tablecve-2025-24802-plonky2-zero-padding-lookup-table

Zero-padding lookup table slots implicitly introduces a (0, 0) entry. This undermines the soundness of the zero-knowledge proof by allowing a malicious prover to prove f(0) = 0 for any lookup table. To fix, pad unused slots with a valid lookup table entry (e.g., the first element).

by Provallyupdated 2026-06-12Apache-2.0
2.5K0 direct2.5K via packs
downloads
65quality
All matching rules loaded.