El CEO de OpenZeppelin dice que DeFi no es seguro: el modelo de auditoría acaba de morir
Manuel Aráoz, cofundador de OpenZeppelin, le dijo a una audiencia la semana pasada que DeFi ya no es seguro porque la IA se ha vuelto sobrehumana encontrando bugs en contratos inteligentes. La empresa que fundó escribe las bibliotecas de seguridad que una gran parte de Ethereum importa por defecto. Cuando el CEO de OpenZeppelin dice que DeFi no es seguro, la conversación sobre el modelo de auditoría ha terminado.
He visto llegar informes de auditoría durante cuatro años en LCX. Los buenos son densos, acotados y honestos respecto a su alcance. También están congelados en el tiempo. El protocolo que auditaste el martes no es el protocolo que corre el viernes una vez que la gobernanza envía un cambio de configuración, una dependencia actualiza su versión o se conecta un nuevo oráculo. El punto de Aráoz, según informa CoinDesk, es que el lado atacante de esa asimetría acaba de recibir una mejora de un orden de magnitud.
Mientras tanto, más de 1.100 millones de dólares han sido drenados de protocolos DeFi en los últimos doce meses. Esa cifra no es un problema de caza de bugs. Es un problema de diseño del sistema.
Por qué importa que el CEO de OpenZeppelin diga que DeFi no es seguro
Aráoz no es un forastero disparando gratis contra la industria. Él ayudó a construir los estándares.
Los patrones ERC-20, ERC-721 y AccessControl que casi todos los protocolos serios utilizan tienen su origen en las bibliotecas de OpenZeppelin. Cuando ese fundador dice que el modelo de seguridad está roto, tiene un peso que, digamos, un hilo aleatorio de Twitter no tiene. El encuadre de Manuel Aráoz sobre la IA hackeando de forma sobrehumana aterrizó porque quien lo dice ha pagado personalmente la factura del modelo anterior.
Una breve lista de lo que la admisión realmente concede:
- Las auditorías en un punto del tiempo no pueden seguir el ritmo al que los agentes de IA encuentran nuevos vectores de ataque.
- Los incentivos económicos del lado atacante ahora escalan con la capacidad del modelo, no con el número de auditores humanos.
- Incluso bases de código auditadas por firmas de primer nivel han enviado bugs explotables en 2025 y 2026.
El modelo de auditoría de DeFi, obsoleto en 2026, no en 2030
El modelo de auditoría-como-PDF ya estaba bajo tensión. La IA simplemente hizo visible esa tensión.
Una auditoría tradicional de Solidity es de una a cuatro semanas de revisión humana, un informe y una tarifa fija. El resultado es una instantánea. El atacante ahora tiene un agente incansable que puede hacer fuzzing, reproducir el estado de la mainnet y buscar patrones entre miles de exploits anteriores sin pausas para el café. Esa es la asimetría que Aráoz describe cuando dice que la IA se está volviendo sobrehumana en seguridad ofensiva.
Un ejemplo reciente concreto: la mala configuración del DVN de LayerZero que le costó a Kelp DAO 292 millones de dólares no fue un bug de Solidity. Fue una deriva de configuración entre un estado auditado y un estado en ejecución. Ninguna auditoría en PDF detecta eso el viernes por la tarde cuando operaciones envía un cambio.
Creo que la forma más clara de decirlo es esta: una auditoría te dice que el código probablemente era seguro el día en que se revisó. No te dice que el sistema sea seguro ahora mismo.
Qué cambia realmente un escáner de vulnerabilidades en contratos inteligentes con IA
El lado defensor también se ha estado moviendo, solo que más despacio que el lado atacante. Esa brecha es el problema central.
El patrón útil que estoy viendo en producción se parece menos a "reemplazar al auditor" y más a "darle a cada protocolo un adversario continuo":
- Agentes de IA que vuelven a hacer fuzzing del bytecode desplegado después de cada acción de gobernanza, no solo en el despliegue.
- Monitores de invariantes que observan el estado en vivo y activan interruptores de circuito cuando las matemáticas se desvían, no cuando un humano lo nota en Discord.
- Plataformas de bug bounty conectadas a agentes autónomos que envían y clasifican hallazgos las 24 horas del día, los 7 días de la semana.
Forta, Cantina de Spearbit y el propio Defender de OpenZeppelin llevan un par de años moviéndose en esta dirección. El cambio que Aráoz está señalando es que esto ya no es el nivel premium. Es el piso mínimo.
Seguridad continua para protocolos DeFi, no revisiones anuales
La analogía a la que siempre vuelvo es médica. Una auditoría previa al lanzamiento es un examen físico. La seguridad continua es un monitor cardíaco.
En las finanzas reguladas, el auditor firma una vez al año, pero el SIEM, el WAF y el sistema de vigilancia de operaciones corren cada segundo. DeFi adoptó la revisión anual y omitió el monitoreo en vivo, y luego se sorprendió cuando más de mil millones de dólares salieron por la puerta. La lección de veinte años de seguridad en la nube es que el monitoreo supera a la auditoría en cada dólar gastado más allá del primero.
Algunos cambios concretos en los que apostaría:
- Firmas de auditoría reposicionándose como proveedoras de monitoreo continuo con SLAs, no como meras empresas de entrega de informes.
- Aseguradoras que fijen el precio de los protocolos según su telemetría de seguridad en vivo, no según su último PDF.
- Marcos de gobernanza que exijan un disparador de re-auditoría ante cualquier cambio de parámetros por encima de un umbral.
Nada de esto es exótico. Web2 lo resolvió hace una década. DeFi solo tiene la versión más difícil porque el código es la bóveda bancaria.
Qué deberían hacer los protocolos este trimestre
Si gestionas un protocolo DeFi y estás leyendo esto, la tarea no es sutil:
- Deja de tratar el PDF de auditoría como el artefacto de seguridad. Trátalo como un insumo más dentro de un pipeline.
- Conecta monitores a los invariantes que te importan: ratios de colateral, desviaciones de oráculos, cambios en roles de administrador, ratios de entrada/salida en bridges.
- Implementa un kill switch que hayas probado de verdad. Una función de pausa que nunca se ha activado en un simulacro es solo decoración.
- Ejecuta fuzzing impulsado por IA sobre tus contratos desplegados de forma recurrente. No una vez. Para siempre.
Las firmas que se adapten se parecerán más a Datadog que a un auditor de las Big Four. Las que no lo hagan serán el próximo titular de 200 millones de dólares.
La lectura más profunda del comentario de Aráoz es que la industria de la seguridad finalmente ha dicho en voz alta lo que se callaba: el stack atacante ha estado creciendo más rápido que el stack defensor durante dos años, y la brecha ahora es lo suficientemente amplia como para que las personas que construyeron el stack defensor lo estén reconociendo.