1 article
On Code4rena's 2024-07 Karak restaking contest, our AI engine reproduced the major contest findings AND surfaced 3 novel HIGH-severity bugs not in the original report — including a single-transaction operator rug — all verified with runnable Foundry PoCs.