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 любить складність. Ми – ні. Архітектура Twyne складається всього з ~700 рядків коду. Безпека масштабується обернено пропорційно складності. Lean кодова база безпечніша, швидша та простіша в налаштуванні. Ось чому це важливо 👇🧵

💥 АНОНС НОВОГО СПІКЕРА Ми раді розширити нашу брутальну лінійку @bl4ckb1rd71, експертом з безпеки Web3 у @twynexyz та справжнім другом. ------------------------------------ ETH Belgrade 3 стартує 3 червня – відзначте свій календар! 🎟 Придбати квитки (зі знижкою 30%) → 🎤 Подати заявку на розмову → 🤝 Стати спонсором → 🛠 Застосуйте для злому →