an ai auditor found a bug from resupply exploit the protocol was audited by two major audit firms, both of which have missed the issue. i was following this ai auditing endeavor called @savantchat so i was interested if it would catch the root cause. it correctly identified the missing checks for zero or extremely large (>1e36) price, but the assessment of what it does was contradictory. in issue 3 it says 0 exchange rate bypasses solvency checks, but in issue 4 it says the same value makes every borrower instantly insolvent. this is still an impressive result and it shows a human auditor working together with an ai tool would've likely caught this issue. hopefully soon we will have ai auditors even as a part of ci pipeline. special thanks to @igorgulamov for running this for me.

DeFi loves complexity. We don’t. Twyne’s architecture is just ~700 lines of code. Security scales inversely with complexity. Lean codebase is safer, faster and easier to adjust. Here’s why that matters 👇🧵

💥 NEW SPEAKER ANNOUNCEMENT Excited to expand our brutal lineup with @bl4ckb1rd71, Web3 security expert at @twynexyz and a true friend. ------------------------------------ ETH Belgrade 3 starts June 3rd – mark your calendar! 🎟 Get tickets (30% OFF) → 🎤 Apply to speak → 🤝 Become a sponsor → 🛠 Apply to hack →

Full lending potential. No collateral left behind. Let’s bring capital efficiency to your favorite lending markets: • Boosting lending APYs • Raising liquidation LTVs • Preventing 94% of liquidations All while keeping risks segregated - How? 👇