ok so we've also been analyzing the recent Yearn Finance exploit, and there's still more to dig into. We'll upload our post shortly. cc/ Weilin (William) Li kaden.eth SlowMist

I just found a confirmed bug on Immunefi #immunefitribe immunefi.com/s/ss/?severity…

cdc0f73e39eeff1e875baa3d076475e281dfda9cf8b4d76bb55328b4b58611a0 dc3fc1313818a0a8544992066ccfdd205f9f22da1888c8786160351081201c17

0605882c4c9d5a3942284e26d2d682df2161d5b4f5f9f45289784e9535899537

20b4ec1675a76e5943cab97cecfd0472aa4ca273381527e68735fea1aec050db

If integrated AI + fuzzing + formal verification finds real bugs. So why no persistent scanner for high-TVL chains? lot's of potential usecase which helps with: → Continuous detection across live contracts → Responsible disclosure pipeline to affected teams → Public feed of

LLM: finds bug CT: doesn’t count, junior could do it LLM: claims bounty CT: show receipts, doesn’t count LLM: wins competition CT: large codebase, previous audit, doesn’t count None of those headlines claim humans in the mix aren’t productive. It’s been established that

Sounding smart vs. Being optimistic

Interesting article by r0bre | Accretion.xyz. Some of my takes: To prove the effectiveness of AI tools, I think it's definitely the best to showcase in a bounty/contest with explanations of the architecture/logics. The Cosmos bug from QED Audit and Monad win from Octane Security are very