Security context
What an agent needs to avoid regressing past fixes and find the next vuln in this repo.
consensys/gnark
master @ 93b69f0
54
Fixes
0
CVEs
HIGH
Peak severity
38.7%
Coverage
Highlights
Auth Bypass: 9 prior fixes. Scrutinize any change in this area.
backend/plonk: most-fixed (9 issues). Treat as high-risk during review.
50 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns
The bug types that recur here, drawn from past fixes, not open vulnerabilities.
Cryptographic Weakness: PLONK proof points were verified without verifying prime-order subgroup membership, permitting forged or malleable proofs. Proof verification must enforce strict subgroup constraints.
Cryptography: Under-specified Fiat-Shamir challenges and missing public data-binding in transcripts allowed for proof forgery by manipulating parameters such as Qcp selector polynomials or public data commitments (pi2).
Cryptographic Vulnerability: The EdDSA verification gadget omitted curve containment checks and failed to enforce strict range-limit constraints on signature components, enabling signature malleability and bypasses.