La IA reduce drásticamente el costo de encontrar vulnerabilidades, dividiendo a la industria de criptomonedas en dos enfoques

La criptografía se está dividiendo en dos caminos de seguridad: parches ágiles y minimalismo inmutable.

Escrito por: @Bankless

Traducido por: AididiaoJP, Foresight News

La capacidad de la IA para encontrar vulnerabilidades ha llegado a un punto en el que la industria de criptomonedas se ve obligada a reorganizar sus estrategias de seguridad.

Empecemos con la red de Bitcoin. El 22 de octubre, Bitcoin Core fusionó un cambio en la estrategia de seguridad, dirigido específicamente a vulnerabilidades que pueden ser descubiertas con un simple aviso para un LLM (modelo de lenguaje grande). En el pasado, este tipo de problemas podrían haber permanecido en secreto durante hasta un año; ahora, la reparación y publicación deben avanzar rápidamente. El autor del cambio, Antoine Poinsot, lo expresó claramente: los LLM están "reduciendo drásticamente la barrera para descubrir ciertos tipos de problemas".

Este no es un caso aislado. Dos vulnerabilidades críticas en PHP, descubiertas gracias a modelos de IA, han puesto en riesgo a aproximadamente 1.3 millones de hosts expuestos en Internet. Initia, por su parte, suspendió toda su red: los atacantes utilizaron lo que el cofundador Zon llamó un "bug del Día 0" para acuñar monedas y transferir aproximadamente 2.7 millones de dólares a través de cadenas. Aún no se puede confirmar si esta ataque utilizó IA, pero no sería descabellado decir que participó de alguna manera.

Los datos también apuntan en la misma dirección. La base de datos de incidentes de hackers de DefiLlama muestra que desde 2026 ha habido 112 ataques con montos superiores a 1 millón de dólares; en todo 2025, hubo 70. La investigación de contratos inteligentes de Anthropic encontró que los modelos de vanguardia de 2025 duplican aproximadamente sus "ingresos por explotación de vulnerabilidades" cada 1.3 meses en entornos simulados.

¿Qué hacer cuando los atacantes tienen cazadores de vulnerabilidades incansables y en constante evolución? La industria de criptomonedas está convergiendo en dos respuestas muy diferentes.

Enfoque Ágil: Cambiar y detener en cualquier momento

La primera respuesta es mantener la flexibilidad: poder aplicar parches rápidamente y también detenerse rápidamente.

Starknet es el ejemplo más claro en este momento. El jueves, su comunidad votó para investigar la transformación en una L1 independiente post-cuántica. Una de las razones es la esperanza de actualizar la criptografía a su propio ritmo. StarkWare afirma: "No podemos depender de que Ethereum funcione lo suficientemente rápido para garantizar nuestra seguridad". El CEO Eli Ben-Sasson estima que la llegada de la computación cuántica será en "dos años" y cree que la IA está acelerando esta línea de tiempo.

Los investigadores de Ethereum también están en alerta. A principios de este mes, Justin Drake instó a la industria a prepararse para un "modo búnker", es decir, trasladar fondos a direcciones completamente nuevas y más seguras. El contexto es una ola de avances matemáticos impulsados por IA.

Pero la agilidad tiene un costo. Cada clave de administrador, cada ruta de actualización, es tanto un punto de ataque como un punto de dependencia. Cambiar las reglas puede crear nuevos bugs. Así que Ethereum retiró Glamsterdam de la red de prueba Hoodi esta semana, porque la investigación mostró que su cambio de Gas podría alterar el comportamiento de los contratos ya desplegados.

Enfoque Minimalista: Reducir la superficie de ataque al mínimo

La segunda respuesta es reducir el objetivo.

La declaración del desarrollador de Ethereum Ross (z0r0z) el jueves fue muy directa: trasladar el código de infraestructura digital crítica a la cadena pública, para que todos puedan verificar lo que realmente está sucediendo; luego avanzar hacia un enfoque sin servidor; incluso escribir las aplicaciones en el código de la cadena de bloques, para que cada vez que se ejecuten sean iguales. Esta idea de repente no parece tan extraña.

Por supuesto, esto tiene un poco de ambición. Pero esencialmente es la "prueba de abandono" de Ross: si los constructores desaparecen mañana, ¿puede el sistema seguir funcionando de manera segura? Cuanto más pequeño, más seguro y más fácil de verificar sea el código, menos lugares habrá que puedan ser atacados y menos entidades en las que confiar. Ross agregó en una respuesta: "Los desarrolladores deberían concentrar su energía en un código más simple".

La misma intuición también aparece en la criptografía de Ethereum. Vitalik dijo que la hoja de ruta de Ethereum ha cambiado hacia "solo hash", en parte porque los hashes están diseñados sin estructuras que permitan la explotación matemática acelerada por IA.

El lado opuesto también es evidente. El código público e inmutable también puede ser leído por atacantes de IA; una vez que está en línea, no se puede parchear. Por lo tanto, el minimalismo es mejor cuando el código es lo suficientemente pequeño como para ser exhaustivamente revisado.

La prueba de IA hace que lo "inmutable" no sea tan aterrador

Aquí es donde entra la verificación formal. La verificación formal implica usar pruebas matemáticas para demostrar que el código no violará ciertas reglas.

Históricamente, la verificación formal ha sido increíblemente costosa. La construcción del núcleo del sistema operativo seL4 tomó solo dos años-hombre, pero la verificación tomó 20 años-hombre. Sin embargo, la nueva investigación publicada el jueves por Anthropic y Theorem muestra que este camino se está volviendo más barato: usando Claude para verificar 239 puntos de entrada en 123 bibliotecas de código abierto, bajo ciertas suposiciones, sin importar la entrada, hasta un máximo de 64MB, estos puntos de entrada no fallarán. Todo el proceso tomó solo unas semanas.

También hay un costo. La escala de la prueba crecerá a medida que el código se expanda. En el trabajo mencionado, una prueba típica tiene alrededor de 600,000 líneas, correspondiente a aproximadamente 18,000 instrucciones de máquina, y puede consumir cientos de millones de tokens de IA. Además, la prueba solo cubre las propiedades que especificas, no significa que excluya todos los bugs.

Pero hay que tener en cuenta quién se beneficia más: el código pequeño y de un solo propósito. Esta es precisamente la clase de código que los minimalistas quieren llevar a la cadena. Si la IA sigue reduciendo los costos de prueba, lo "inmutable" no será tan crítico, porque el código no necesitará parches cada vez más.

Por supuesto, sistemas como L1 y rollup son grandes y siguen evolucionando, y aún dependen de la agilidad. Solo que en el nuevo paradigma de IA, la "prueba de abandono" se está convirtiendo cada vez más en la medida central de la estrategia de seguridad, y no solo en un ideal de descentralización. Estas tendencias merecen un seguimiento continuo.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.