un auditor AI ha trovato un bug nell'exploit di rifornimento il protocollo è stato auditato da due importanti società di revisione, entrambe delle quali hanno trascurato il problema. Stavo seguendo questo progetto di auditing AI chiamato @savantchat, quindi ero interessato a vedere se avrebbe individuato la causa principale. ha correttamente identificato i controlli mancanti per prezzi pari a zero o estremamente elevati (>1e36), ma la valutazione di ciò che fa era contraddittoria. Nell'issue 3 si afferma che 0 tassi di cambio eludono i controlli di solvibilità, ma nell'issue 4 si dice che lo stesso valore rende ogni prestatore istantaneamente insolvente. questo è comunque un risultato impressionante e dimostra che un auditor umano che lavora insieme a uno strumento AI avrebbe probabilmente individuato questo problema. Speriamo che presto avremo auditor AI anche come parte della pipeline CI. un ringraziamento speciale a @igorgulamov per aver gestito questo per me.

La DeFi ama la complessità. Noi no. L'architettura di Twyne è composta da circa 700 righe di codice. La sicurezza scala in modo inverso rispetto alla complessità. Un codice snello è più sicuro, veloce e facile da modificare. Ecco perché è importante 👇🧵

💥 ANNUNCIO DI UN NUOVO RELATORE Siamo entusiasti di espandere la nostra brutale gamma con @bl4ckb1rd71, esperto di sicurezza Web3 presso @twynexyz e un vero amico. ------------------------------------ L'ETH Belgrade 3 inizia il 3 giugno – segnatevi sul calendario! 🎟 Ottieni i biglietti (30% di sconto) → 🎤 Candidati per parlare → 🤝 Diventa sponsor → 🛠 Applicare per hackerare →

Pieno potenziale di prestito. Nessuna garanzia lasciata indietro. Portiamo l'efficienza del capitale nei tuoi mercati di prestito preferiti: • Aumentare gli APY di prestito • Raccolta di LTV di liquidazione • Prevenzione del 94% delle liquidazioni Il tutto mantenendo i rischi segregati - Come? 👇