Um auditor de IA encontrou um bug na exploração de reabastecimento O protocolo foi auditado por duas grandes empresas de auditoria, ambas as quais não perceberam o problema. Eu estava seguindo esse esforço de auditoria de IA chamado @savantchat então estava interessado se ele pegaria a causa raiz. Ele identificou corretamente os cheques ausentes para o preço zero ou extremamente grande (>1e36), mas a avaliação do que ele faz era contraditória. Na edição 3, diz que 0 taxa de câmbio ignora as verificações de solvência, mas na edição 4 diz que o mesmo valor torna todos os mutuários instantaneamente insolventes. Este ainda é um resultado impressionante e mostra que um auditor humano trabalhando em conjunto com uma ferramenta de IA provavelmente teria detectado esse problema. Espero que em breve tenhamos auditores de IA, mesmo como parte do pipeline de CI. agradecimentos especiais a @igorgulamov por executar isso para mim.

O DeFi adora complexidade. Nós não. A arquitetura de Twyne é de apenas ~ 700 linhas de código. A segurança é dimensionada inversamente com a complexidade. A base de código enxuta é mais segura, rápida e fácil de ajustar. Veja por que isso é importante 👇🧵

💥 ANÚNCIO DE NOVO PALESTRANTE Animado para expandir nossa linha brutal com @bl4ckb1rd71, especialista em segurança Web3 da @twynexyz e um verdadeiro amigo. ------------------------------------ ETH Belgrado 3 começa em 3 de junho - marque na sua agenda! 🎟 Adquira ingressos (30% OFF) → 🎤 Inscreva-se para falar → 🤝 Torne-se um patrocinador → 🛠 Inscreva-se para hackear →

Potencial total de empréstimo. Nenhuma garantia deixada para trás. Vamos trazer eficiência de capital para seus mercados de empréstimos favoritos: • Aumento dos APYs de empréstimos • Aumento de LTVs de liquidação • Prevenção de 94% das liquidações Tudo isso mantendo os riscos segregados - Como? 👇