Un auditor AI a găsit o eroare de la exploit-ul de reaprovizionare Protocolul a fost auditat de două firme majore de audit, ambele ratând problema. Urmăream acest efort de audit AI numit @savantchat așa că am fost interesat dacă va prinde cauza principală. Acesta a identificat în mod corect cecurile lipsă pentru prețul zero sau extrem de mare (>1E36), dar evaluarea a ceea ce face a fost contradictorie. În numărul 3 se spune că rata de schimb 0 ocolește verificările de solvabilitate, dar în numărul 4 se spune că aceeași valoare face ca fiecare împrumutat să fie insolvabil instantaneu. Acesta este totuși un rezultat impresionant și arată că un auditor uman care lucrează împreună cu un instrument AI ar fi detectat probabil această problemă. Sperăm că în curând vom avea auditori AI chiar și ca parte a CI Pipeline. Mulțumiri speciale @igorgulamov pentru că am rulat acest lucru pentru mine.

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 →