Security context
What an agent needs to avoid regressing past fixes and find the next vuln in this repo.
lagrange-labs/deep-prove
master @ 9d1a53e
9
Fixes
0
CVEs
HIGH
Peak severity
Highlights
Auth Bypass: 2 prior fixes. Scrutinize any change in this area.
zkml/src/layers/requant.rs: most-fixed (2 issues). Treat as high-risk during review.
7 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.
Auth Bypass: Off-by-one math shift errors in requantization proof verification allowed invalid claims to successfully verify, compromising the underlying authenticity guarantees of the zkML backend.
Cryptographic Issues: Failing to append public inputs to the Fiat-Shamir transcript during proof generation and verification allowed malicious provers to forge proofs by manipulating public variables without altering the proof's validity.
Cryptographic Issues: Incomplete constraints on maximal high limb values in MULHU and MULHSU opcodes allowed attackers to exploit ambiguous Goldilocks field representations to bypass algebraic assertions.