audytor AI znalazł błąd w wyniku eksploatacji dostaw protokół został poddany audytowi przez dwie główne firmy audytorskie, z których obie przeoczyły ten problem. Śledziłem to przedsięwzięcie audytorskie AI o nazwie @savantchat, więc byłem ciekaw, czy uchwyci przyczynę problemu. Prawidłowo zidentyfikował brakujące kontrole dla ceny równej zeru lub ekstremalnie dużej (>1e36), ale ocena tego, co robił, była sprzeczna. W problemie 3 mówi, że 0 kurs wymiany omija kontrole wypłacalności, ale w problemie 4 mówi, że ta sama wartość sprawia, że każdy pożyczkobiorca staje się natychmiast niewypłacalny. To wciąż imponujący wynik i pokazuje, że ludzki audytor współpracujący z narzędziem AI prawdopodobnie uchwyciłby ten problem. Mam nadzieję, że wkrótce będziemy mieli audytorów AI nawet jako część pipeline CI. Specjalne podziękowania dla @igorgulamov za zorganizowanie tego dla mnie.

DeFi loves complexity. We don’t. Twyne’s architecture is just ~700 lines of code. Security scales inversely with complexity. Lean codebase is safer, faster and easier to adjust. Here’s why that matters 👇🧵

💥 OGŁOSZENIE NOWEGO PRELEGENTA Cieszymy się, że możemy poszerzyć naszą brutalną linię o @bl4ckb1rd71, eksperta ds. bezpieczeństwa Web3 w @twynexyz i prawdziwego przyjaciela. ------------------------------------ ETH Belgrad 3 startuje 3 czerwca – zaznacz to w kalendarzu! 🎟 Kup bilety (30% TANIEJ) → 🎤 Złóż wniosek, aby mówić → 🤝 Zostań sponsorem → 🛠 Zastosuj do → włamania

Pełny potencjał kredytowy. Nie pozostawiono żadnego zabezpieczenia. Wprowadźmy efektywność kapitałową na Twoje ulubione rynki pożyczkowe: • Zwiększenie RRSO kredytowania • Pozyskiwanie LTV w likwidacji • Zapobieganie 94% likwidacji Wszystko to przy jednoczesnym zachowaniu segregacji ryzyka - w jaki sposób? 👇