El cofundador de Ethereum, Vitalik Buterin, afirmó en una conferencia magistral en línea durante la 12.ª Cumbre Global de Blockchain, el 23 de septiembre de 2026, que las pruebas de conocimiento cero, la verificación formal y la inteligencia artificial están transformando la arquitectura de las cadenas de bloques. Según su intervención durante la Semana Internacional de Blockchain de Shanghái, este cambio podría mejorar la escalabilidad y la privacidad sin abandonar por completo las garantías de descentralización.

Buterin dijo que las capacidades técnicas de la industria y su comprensión de las propiedades que deberían ofrecer los sistemas descentralizados han cambiado durante los últimos 15 años. Las primeras cadenas de bloques establecieron quién poseía activos y quién podía gestionarlos, mientras que la siguiente etapa implicará privacidad programable, en la que el código también determinará quién puede acceder a información específica.

La arquitectura inicial de las cadenas de bloques exigía que numerosos participantes realizaran repetidamente las mismas operaciones. Ese modelo respaldaba la verificabilidad, pero limitaba el rendimiento y la privacidad, afirmó Buterin.

Los SNARK y los STARK están cambiando gradualmente ese enfoque. Un participante podría realizar una operación y generar una prueba criptográfica, lo que permitiría a los demás participantes verificar el resultado en lugar de repetir el cálculo subyacente.

«La era en la que todos tienen que repetirlo todo está llegando a su fin», dijo Buterin.

STARK recursivos y la arquitectura de Ethereum

Buterin identificó los STARK recursivos como un área clave de desarrollo. La tecnología puede combinar múltiples pruebas en una sola, reduciendo los datos y la computación que deben procesarse directamente en una cadena de bloques.

Anteriormente propuso utilizar ese enfoque en la EIP-8288, que contempla agregar firmas criptográficas y pruebas STARK a nivel del mempool antes de publicar una prueba compacta de su validez.

Buterin espera que la tecnología reduzca el coste de las transacciones privadas y poscuánticas y traslade algunas operaciones criptográficas complejas fuera de la ruta principal de ejecución de Ethereum.

El enfoque forma parte de un cambio propuesto más amplio en la estructura de las transacciones de Ethereum. A principios de septiembre, Buterin habló sobre la EIP-8141, que divide una transacción en acciones y dependencias separadas. Dijo que la arquitectura debería permitir que algunas operaciones se ejecuten en paralelo en lugar de de forma secuencial.

Buterin también destacó FOCIL, un mecanismo para la construcción distribuida de bloques. FOCIL tiene como objetivo reducir la dependencia de un único participante para incluir transacciones en un bloque y reforzar la resistencia de la red a la censura.

A más largo plazo, Buterin afirmó que una cadena de bloques no debería considerarse únicamente como una red de capa uno. Describió una canalización informática más amplia que abarca operaciones locales en los dispositivos de los usuarios, mempools con diferentes características de privacidad, agregación de pruebas, redes de capa dos y la capa base.

Buterin dijo que esa arquitectura podría aumentar sustancialmente la escalabilidad al tiempo que conserva las garantías de descentralización. Durante el verano de 2026, describió a Ethereum como encaminada hacia una «tercera era» conceptual centrada en la escalabilidad, la privacidad y la resiliencia frente a la computación cuántica.

IA y verificación formal

Buterin afirmó que la inteligencia artificial podría desempeñar un papel distinto en la transición porque los sistemas criptográficos modernos se están volviendo lo suficientemente complejos como para que el desarrollo manual y las auditorías de código corran el riesgo de convertirse en un factor limitante.

La IA podría ayudar a escribir y analizar software, crear especificaciones, ejecutar pruebas y realizar verificación formal, dijo. La verificación formal puede demostrar matemáticamente que una implementación satisface sus requisitos establecidos.

Según Buterin, la combinación de varias especificaciones independientes con verificación automatizada podría respaldar sistemas considerablemente más complejos sin un aumento proporcional del riesgo. También vinculó las limitaciones de las actuales redes de capa dos con la dificultad de verificar código complejo, y afirmó que los proyectos deben depender de protecciones adicionales, incluidos múltiples sistemas de pruebas y comités de seguridad.

Buterin ha dicho anteriormente que combinar IA con verificación formal podría transformar significativamente la seguridad de Ethereum. Los algoritmos podrían ayudar a identificar vulnerabilidades, verificar implementaciones de protocolos y comparar código con especificaciones formales.

Dijo que el posible papel de la IA va más allá del desarrollo de software. Los agentes de IA podrían interactuar de forma independiente con infraestructura que abarque redes de capa uno y capa dos, así como servicios intermediarios, seleccionando las herramientas adecuadas para una operación concreta.

En febrero de 2026, Buterin presentó una visión actualizada para la IA y Ethereum que enfatizaba la descentralización, la privacidad y la verificabilidad. En su intervención más reciente, instó a los desarrolladores a reconsiderar las aplicaciones diseñadas cuando la criptografía avanzada, la privacidad programable y la verificación formal automatizada no se consideraban viables en la práctica, señalando que esas limitaciones están desapareciendo gradualmente.

Fuente: HODL Press