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 älskar komplexitet. Det gör inte vi. Twynes arkitektur är bara ~700 rader kod. Säkerheten skalas omvänt med komplexiteten. Lean kodbas är säkrare, snabbare och enklare att justera. Här är varför det är viktigt 👇🧵

💥 TILLKÄNNAGIVANDE AV NY TALARE Vi är glada över att utöka vårt brutala sortiment med @bl4ckb1rd71, Web3-säkerhetsexpert på @twynexyz och en sann vän. ------------------------------------ ETH Belgrad 3 startar den 3 juni – markera din kalender! 🎟 Köp biljetter (30 % RABATT) → 🎤 Ansök om att tala → 🤝 Bli fadder → 🛠 Ansök om att hacka →

Full utlåningspotential. Inga säkerheter lämnas kvar. Låt oss ta kapitaleffektivitet till dina favoritlånemarknader: • Öka utlåningen av APY:er • Höjning av LTV:er för likvidation • Förhindra 94 % av likvidationerna Samtidigt som riskerna hålls åtskilda - Hur? 👇