AI Audit on Karak Restaking: 3 Additional HIGH Findings Beyond the Contest Report
On Code4rena's 2024-07 Karak restaking contest, our AI engine reproduced the major contest findings AND surfaced 3 additional HIGH-severity issues not in the contest's published HIGH/MEDIUM report — including a single-transaction operator rug — all verified with runnable Foundry PoCs.