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 elsker kompleksitet. Det gjør vi ikke. Twynes arkitektur er bare ~700 linjer med kode. Sikkerhet skaleres omvendt med kompleksiteten. Lean codebase er tryggere, raskere og enklere å justere. Her er grunnen til at det er viktig 👇🧵

💥 KUNNGJØRING AV NY HØYTTALER Glade for å utvide vårt brutale utvalg med @bl4ckb1rd71, Web3-sikkerhetsekspert hos @twynexyz og en ekte venn. ------------------------------------ ETH Beograd 3 starter 3. 🎟 Få billetter (30 % rabatt) → 🎤 Søk om å snakke → 🤝 Bli fadder → 🛠 Søk om å hacke →