Escrito por: nour
Compilado por: Chopper, Foresight News
En el DeFi Summer de 2020, Andre Cronje lanzaba nuevos protocolos casi todas las semanas, con proyectos como Yearn, Solidly y una gran cantidad de otros experimentos que veían la luz. Lamentablemente, muchos de estos proyectos sufrieron vulnerabilidades en los contratos y ataques económicos, causando pérdidas a los usuarios. Pero los que sobrevivieron se convirtieron en algunos de los protocolos más importantes de hoy.
El problema es que esa época dejó un trauma psicológico en toda la industria. La tendencia del sector giró bruscamente, destinando una gran cantidad de recursos a la seguridad. Múltiples auditorías, competiciones de auditoría, meses de revisión para cada versión, todo para verificar una nueva idea sin ajuste al mercado. Creo que la mayoría de la gente no se da cuenta de hasta qué punto esto ha ahogado el espíritu experimental. Nadie va a gastar 500,000 dólares y esperar 6 meses para una auditoría por una idea no probada. Así que todo el mundo se limita a replicar diseños ya verificados, y luego lo llama innovación. La innovación en DeFi no ha muerto, pero los incentivos la están sofocando.
Y todo esto está cambiando, porque la IA está reduciendo los costes de seguridad a una velocidad asombrosa.
Las auditorías con IA antes eran ridículamente superficiales, básicamente solo podían señalar problemas evidentes como reentradas o pérdida de precisión que cualquier auditor competente detectaría. Pero la nueva generación de herramientas es completamente diferente. Herramientas como Nemesis ya pueden encontrar vulnerabilidades complejas en el flujo de ejecución y ataques económicos, con una asombrosa comprensión profunda del contexto del protocolo y su entorno de ejecución. Algo especialmente destacable de Nemesis es cómo maneja los falsos positivos: hace que múltiples agentes detecten con métodos diferentes, y luego otro agente independiente juzga los resultados, filtrando los falsos positivos basándose en la comprensión contextual de la lógica y los objetivos del protocolo. Realmente entiende matices, como en qué escenarios una reentrada es aceptable y en cuáles es realmente peligrosa. Esto es algo en lo que incluso auditores humanos experimentados a menudo se equivocan.
Nemesis también es extremadamente simple, solo requiere tres archivos Markdown para añadirlos como habilidades a Claude Code. Otras herramientas van aún más allá, algunas integran ejecución simbólica y análisis estático, otras incluso pueden escribir automáticamente especificaciones de verificación formal y validar el código. La verificación formal se está volviendo accesible para todos.
Pero estas son solo herramientas de primera generación. Los modelos mismos siguen evolucionando. El próximo lanzamiento de Anthropic, Mythos, se espera que supere con creces las capacidades de Opus 4.6. No necesitas hacer ningún cambio, simplemente ejecutas Nemesis en Mythos y obtienes inmediatamente un efecto más potente.
Combinado con Battlechain de Cyfrin, todo el flujo de trabajo de seguridad se reestructura por completo: escribir código → auditoría con herramientas de IA → implementar en Battlechain → pruebas de ataque y defensa en entorno real → volver a implementar en la red principal.
Lo maravilloso de Battlechain es que elimina la "expectativa de seguridad" implícita que hay en la red principal de Ethereum. Todos los usuarios que cruzan cadenas son conscientes de los riesgos que enfrentan. También proporciona un punto focal natural para los auditores de IA, que ya no tienen que buscar una aguja en un pajar en la red principal. Su marco de puerto seguro establece que el 10% de los fondos robados pueden ser una recompensa legítima, lo que crea un incentivo económico para impulsar la aparición de herramientas de ataque más potentes. En esencia, es una competencia similar a la de MEV, pero en el ámbito de la seguridad. Los agentes de IA sondearán cada nuevo despliegue a la máxima velocidad, compitiendo por encontrar vulnerabilidades.
El futuro flujo de desarrollo de protocolos DeFi será:
- Escribir el protocolo
- Auditoría con IA en cuestión de minutos
- Implementar en Battlechain con fondos limitados
- Ser automáticamente el objetivo de agentes de IA en competencia
- Ser atacado en cuestión de minutos
- Recuperar el 90% de los fondos
- Corregir la vulnerabilidad
- Reimplementar
Desde escribir el código hasta pasar la prueba en entorno real y llegar a la red principal, todo el ciclo se comprime de meses a posiblemente solo unas horas, con un coste casi insignificante comparado con las auditorías tradicionales.
La última línea de defensa en seguridad serán las auditorías de IA a nivel de cartera. Las carteras de usuarios pueden integrar las mismas herramientas de auditoría de IA en el momento de firmar una transacción. Antes de firmar cada transacción, la IA auditará el código del contrato objetivo, leerá las variables de estado para relacionar todos los contratos relevantes, analizará la topología del protocolo, comprenderá el contexto, auditará tanto el contrato como las entradas de la transacción del usuario, y dará una recomendación en la ventana de confirmación. Cada usuario finalmente ejecutará su propio agente de auditoría de nivel profesional, protegiéndose de Rug Pulls, negligencias del equipo o frontends maliciosos.
Los agentes protegerán los protocolos DeFi de forma integral, desde la capa de desarrollo, la capa de cadena pública y la capa de usuario. Esto reabre todo el espacio de diseño experimental. Aquellas ideas que antes no eran viables económicamente debido al alto coste de seguridad, finalmente podrán ser probadas. Una persona en su habitación podrá, como Andre y otros en 2020, iterar rápidamente y crear protocolos de mil millones de dólares. La era de las pruebas en vivo ha vuelto.
