un auditor de IA encontró un error en la explotación de reabastecimiento el protocolo fue auditado por dos importantes firmas de auditoría, las cuales pasaron por alto el problema. Estaba siguiendo este esfuerzo de auditoría de IA llamado @savantchat, así que me interesaba saber si captaría la causa raíz. identificó correctamente los controles faltantes para precios cero o extremadamente grandes (>1e36), pero la evaluación de lo que hace fue contradictoria. En el problema 3 dice que 0 tasa de cambio elude los controles de solvencia, pero en el problema 4 dice que el mismo valor hace que cada prestatario sea instantáneamente insolvente. este sigue siendo un resultado impresionante y muestra que un auditor humano trabajando junto con una herramienta de IA probablemente habría detectado este problema. Espero que pronto tengamos auditores de IA incluso como parte del pipeline de CI. agradecimientos especiales a @igorgulamov por hacer esto por mí.

DeFi ama la complejidad. Nosotros no. La arquitectura de Twyne tiene solo ~700 líneas de código. La seguridad escala inversamente con la complejidad. Una base de código ligera es más segura, rápida y fácil de ajustar. Aquí está la razón por la que eso importa 👇🧵

💥 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? 👇