En AI-revisor fant en feil fra utnyttelse av gjenforsyning Protokollen ble revidert av to store revisjonsfirmaer, som begge har gått glipp av problemet. Jeg fulgte denne AI-auditeringsbestrebelsen kalt @savantchat, så jeg var interessert i om den ville fange opp årsaken. Den identifiserte korrekt de manglende sjekkene for null eller ekstremt stor (>1E36) pris, men vurderingen av hva den gjør var motstridende. I utgave 3 står det at 0 valutakurs omgår solvenskontroller, men i utgave 4 står det at samme verdi gjør hver låntaker umiddelbart insolvent. Dette er fortsatt et imponerende resultat, og det viser at en menneskelig auditør som jobber sammen med et AI-verktøy sannsynligvis ville ha fanget opp dette problemet. Forhåpentligvis vil vi snart ha AI-revisorer selv som en del av CI-pipelinen. Spesiell takk til @igorgulamov for å kjøre dette for meg.

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 👇🧵

💥 NEW SPEAKER ANNOUNCEMENT Excited to expand our brutal lineup with @bl4ckb1rd71, Web3 security expert at @twynexyz and a true friend. ------------------------------------ ETH Belgrade 3 starts June 3rd – mark your calendar! 🎟 Get tickets (30% OFF) → 🎤 Apply to speak → 🤝 Become a sponsor → 🛠 Apply to hack →

Full lending potential. No collateral left behind. Let’s bring capital efficiency to your favorite lending markets: • Boosting lending APYs • Raising liquidation LTVs • Preventing 94% of liquidations All while keeping risks segregated - How? 👇