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 elsker kompleksitet. Det gjør vi ikke. Twynes arkitektur er bare ~700 linjer med kode. Sikkerhet skaleres omvendt med kompleksiteten. Lean codebase er tryggere, raskere og enklere å justere. Her er grunnen til at det er viktig 👇🧵

💥 KUNNGJØRING AV NY HØYTTALER Glade for å utvide vårt brutale utvalg med @bl4ckb1rd71, Web3-sikkerhetsekspert hos @twynexyz og en ekte venn. ------------------------------------ ETH Beograd 3 starter 3. 🎟 Få billetter (30 % rabatt) → 🎤 Søk om å snakke → 🤝 Bli fadder → 🛠 Søk om å hacke →

Fullt utlånspotensial. Ingen sikkerhet etterlatt. La oss bringe kapitaleffektivitet til dine favorittutlånsmarkeder: • Øke utlåns-APY-er • Heving av likvidasjons-LTV-er • Forhindre 94 % av avviklingene Alt mens du holder risikoen adskilt - Hvordan? 👇