Highlights
Auth Bypass: 1 prior fix. Scrutinize any change in this area.
fcomm: most-fixed (1 issue). Treat as high-risk during review.
2 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: Inconsistencies between evaluation claim iterations and the underlying proof step count can allow attackers to construct and verify invalid proofs, bypassing verification integrity checks.
Cryptographic Issues: Failing to enforce proper constraints on Lurk commitments and type-check secrets inside the circuit execution frame allows unconstrained witness manipulation, letting attackers generate valid proofs for fraudulent executions.