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 perderam o problema. eu estava acompanhando este esforço de auditoria de IA chamado @savantchat, então estava interessado em saber se conseguiria identificar a causa raiz. ele identificou corretamente as verificações ausentes para preços zero ou extremamente altos (>1e36), mas a avaliação do que faz foi contraditória. no problema 3, diz que 0 taxa de câmbio contorna as verificações de solvência, mas no problema 4, diz que o mesmo valor torna cada mutuário instantaneamente insolvente. este ainda é um resultado impressionante e mostra que um auditor humano trabalhando junto com uma ferramenta de IA provavelmente teria detectado este problema. espero que em breve tenhamos auditores de IA mesmo como parte do pipeline de CI. agradecimentos especiais a @igorgulamov por ter feito isso para mim.

DeFi ama complexidade. Nós não. A arquitetura da Twyne tem apenas ~700 linhas de código. A segurança escala inversamente com a complexidade. Uma base de código enxuta é mais segura, rápida e fácil de ajustar. Aqui está o motivo pelo qual isso importa 👇🧵

💥 ANÚNCIO DE NOVO ORADOR Animado para expandir nossa linha brutal com @bl4ckb1rd71, especialista em segurança Web3 na @twynexyz e um verdadeiro amigo. ------------------------------------ ETH Belgrado 3 começa em 3 de junho – marque seu calendário! 🎟 Obter bilhetes (30% OFF) → 🎤 Candidate-se para falar → 🤝 Torne-se um patrocinador → 🛠 Aplicar para hackear →

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