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 iubește complexitatea. Noi nu avem. Arhitectura lui Twyne este de doar ~700 de linii de cod. Securitatea se scalează invers cu complexitatea. Baza de cod Lean este mai sigură, mai rapidă și mai ușor de ajustat. Iată de ce contează 👇🧵 acest lucru

💥 ANUNȚ PENTRU NOUL VORBITOR Suntem încântați să ne extindem gama brutală cu @bl4ckb1rd71, expert în securitate Web3 de la @twynexyz și un prieten adevărat. ------------------------------------ ETH Belgrad 3 începe pe 3 iunie – marcați-vă calendarul! 🎟 Obțineți bilete (30% REDUCERE) → 🎤 Aplicați pentru a vorbi → 🤝 Deveniți sponsor → 🛠 Aplică pentru hack →