Security context

What an agent needs to avoid regressing past fixes and find the next vuln in this repo.

lurk-lab/lurk-beta
main @ 399c4f3
2
Fixes
0
CVEs
HIGH
Peak severity
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.