IA y zkEVM: cómo las pruebas matemáticas pueden asegurar el futuro de Ethereum

El mundo de la blockchain ha lidiado durante mucho tiempo con un dilema fundamental: cómo lograr la descentralización, la seguridad y la escalabilidad simultáneamente sin sacrificios. Este "trilema de la blockchain", acuñado por Vitalik Buterin de Ethereum, ha visto a redes tradicionales como Ethereum priorizar la seguridad y la descentralización, a menudo a expensas de la escalabilidad. Sin embargo, está surgiendo un nuevo paradigma, impulsado por las pruebas de conocimiento cero (ZKPs) y el innovador concepto de las Máquinas Virtuales de Ethereum de conocimiento cero (zkEVMs). Estas tecnologías prometen desbloquear una escalabilidad sin precedentes para la capa base de Ethereum, pero su complejidad inherente introduce nuevas consideraciones de seguridad. En un giro sorprendente, Buterin argumenta que la inteligencia artificial, a menudo vista como una amenaza para la ciberseguridad, podría ser la clave para asegurar esta próxima generación de infraestructura blockchain, cambiando fundamentalmente cómo construimos la confianza en el ámbito digital, con implicaciones potenciales para áreas como el arte on-chain y el creative coding.

El reciente y detallado argumento de Buterin se centra en la verificación formal asistida por IA como una herramienta transformadora para la seguridad del software, contrarrestando el creciente pesimismo de que los ataques impulsados por IA podrían imposibilitar los sistemas sin confianza. La verificación formal implica escribir pruebas matemáticas sobre el código que pueden ser verificadas automáticamente por un ordenador, garantizando matemáticamente que una pieza de código se comporta exactamente como se pretende en todas las condiciones. Aunque esta técnica existe desde hace décadas, su aplicación práctica ha estado limitada por la inmensa dificultad y el tiempo requerido para escribir estas pruebas a mano. Buterin cree que la IA cambia drásticamente esta ecuación, permitiendo la creación tanto del código como de sus pruebas adjuntas, con los humanos verificando principalmente el comportamiento deseado del software, una combinación que describió como lo que el investigador Yoichi Hirai llama “la forma final del desarrollo de software”.

zkEVMs: el avance de escalabilidad que Ethereum necesita

Las Máquinas Virtuales de Ethereum de conocimiento cero (zkEVMs) están a la vanguardia de la hoja de ruta de Ethereum para mejorar la escalabilidad. Estas tecnologías aprovechan las ZKPs para verificar la ejecución de los bloques de Ethereum. En lugar de requerir que cada nodo reejecute todas las transacciones en un bloque, un único actor especializado, el "probador", ejecuta el bloque y genera una prueba criptográfica de ejecución correcta. Cualquier nodo puede entonces verificar esta prueba, un proceso que es órdenes de magnitud más barato que reejecutar todas las transacciones, como se describe en ethereum.org. Esto cambia Ethereum de un modelo de verificación "N-de-N" (todos reejecutan) a un modelo "1-de-N" (uno prueba, todos verifican), manteniendo la misma garantía de seguridad: una ejecución incorrecta no puede producir una prueba válida.

Esta innovación permite a Ethereum aumentar de forma segura su capacidad de transacción sin elevar los requisitos de hardware del validador, preservando así la descentralización. Sin embargo, la velocidad sigue siendo un desafío significativo para la verificación L1 de las zkEVM. Los bloques de Ethereum se producen cada 12 segundos, lo que significa que las pruebas deben generarse en un marco de tiempo similar para ser útiles para el consenso. Las implementaciones actuales de zkEVM pueden tardar de minutos a horas en probar un solo bloque, y la investigación, apoyada por el equipo Privacy Stewards of Ethereum (PSE) de la Fundación Ethereum, se centra en cerrar esta brecha. Críticamente, el objetivo es que la verificación formal, aunque importante para la seguridad, no se convierta en un obstáculo para escalar L1 con zkEVMs, como se señala en el Resumen de seguridad de zkEVM.

IA: reforzando la confianza donde más importa

El argumento de Buterin, detallado en CoinDesk y TradingView, es que la IA puede empoderar a los defensores para construir bases de código más seguras utilizando los mismos modelos que los atacantes podrían desplegar. Él ve la IA como una herramienta poderosa para escribir tanto código complejo como las pruebas matemáticas requeridas para su verificación formal, especialmente en áreas críticas como las firmas resistentes a la cuántica, los sistemas de pruebas STARK (un tipo de ZKP), los algoritmos de consenso y las ZK-EVM. Estos son sistemas donde las propiedades de seguridad son claramente definibles, a pesar de la complejidad del código subyacente.

Si bien la IA ofrece un potencial inmenso, Buterin se cuida de resaltar sus limitaciones. La verificación formal no es una panacea; las pruebas pueden ser incompletas, las especificaciones pueden ser incorrectas y las vulnerabilidades de hardware podrían eludir incluso el software matemáticamente correcto. Lo que sí ofrece es una forma para que los desarrolladores expresen intenciones de múltiples maneras redundantes y garanticen automáticamente su compatibilidad. Esto lleva a un futuro optimista donde el software se divide en dos capas: una capa de borde insegura para funciones de menor riesgo y un núcleo seguro para componentes críticos como el propio Ethereum, los kernels de los sistemas operativos y la infraestructura sensible de IoT. Este núcleo seguro, mantenido deliberadamente pequeño, sería sometido a una verificación formal agresiva, con la IA proporcionando el poder computacional para hacer esto práctico a escala. Como concluye Buterin, "Los defensores finalmente tienen la oportunidad de ganar, decisivamente."

El impacto invisible en el creative coding

Para la comunidad del creative coding y el arte on-chain, este cambio hacia una seguridad matemáticamente demostrable es un punto de inflexión. La integridad del arte digital, a menudo inmutable una vez desplegado en la cadena, depende en gran medida de la seguridad subyacente de la blockchain. A medida que los contratos inteligentes se vuelven más complejos e integrales para el arte generativo, las experiencias interactivas y las organizaciones autónomas descentralizadas (DAOs) que gobiernan proyectos creativos, el potencial de errores catastróficos crece. La verificación formal asistida por IA significa que la lógica central de estos contratos artísticos puede verificarse con una certeza sin precedentes. Esto no se trata solo de prevenir ataques; se trata de construir una confianza fundamental en el propio lienzo digital. Permite a artistas y coleccionistas por igual interactuar con creaciones on-chain con mayor confianza, sabiendo que el código que define sus activos digitales es tan robusto como lo permite las matemáticas. La fusión de la IA, las ZKP y la verificación formal pinta un panorama optimista para un paisaje creativo digital más seguro, escalable y, en última instancia, más digno de confianza.