Un auditor de IA encontró un error en el exploit Resupply El protocolo fue auditado por dos importantes firmas de auditoría, las cuales han pasado por alto el problema. Estaba siguiendo este esfuerzo de auditoría de IA llamado @savantchat por lo que estaba interesado en si detectaría la causa raíz. Identificó correctamente los cheques faltantes para el precio cero o extremadamente grande (>1E36), pero la evaluación de lo que hace fue contradictoria. En el número 3 dice que el tipo de cambio 0 pasa por alto los controles de solvencia, pero en el número 4 dice que el mismo valor hace que todos los prestatarios sean insolventes al instante. Este sigue siendo un resultado impresionante y muestra que un auditor humano que trabaje junto con una herramienta de IA probablemente habría detectado este problema. Esperemos que pronto tengamos auditores de IA, incluso como parte de la cartera de proyectos de CI. Un agradecimiento especial a @igorgulamov por ejecutar esto para mí.

A DeFi le encanta la complejidad. Nosotros no. La arquitectura de Twyne es de solo ~ 700 líneas de código. La seguridad escala inversamente con la complejidad. La base de código Lean es más segura, rápida y fácil de ajustar. He aquí por qué es importante 👇🧵

💥 ANUNCIO DEL NUEVO ORADOR Emocionado de expandir nuestra brutal línea con @bl4ckb1rd71, experto en seguridad Web3 en @twynexyz y un verdadero amigo. ------------------------------------ ETH Belgrade 3 comienza el 3 de junio: ¡marque su calendario! 🎟 Consigue entradas (30% de descuento) → 🎤 Solicite hablar → 🤝 Conviértete en patrocinador → 🛠 Aplicar a hackear →

Todo el potencial de préstamos. No se dejan garantías. Llevemos la eficiencia del capital a sus mercados de préstamos favoritos: • Impulsar los APY de los préstamos • Aumento de los LTV de liquidación • Evitar el 94% de las liquidaciones Todo ello manteniendo los riesgos segregados: ¿cómo? 👇