La Fundación Ethereum ha publicado un plan paso a paso para permitir que la cadena principal de Ethereum valide bloques utilizando pruebas zkEVM, reduciendo la necesidad de que los validadores vuelvan a ejecutar cada cálculo ellos mismos. La propuesta, compartida a través de X el 15 de enero por Tomasz K. Stańczak, codirector ejecutivo de la Fundación Ethereum, establece el trabajo de ingeniería necesario en los clientes de ejecución y consenso de Ethereum, además de nueva infraestructura de prueba y procesos de seguridad.
zkEVM en L1: el planhttps://t.co/KLz7PoH6q9
— Tomasz K. Stańczak (@tkstanczak) 15 de enero de 2026
Ethereum L1 avanza hacia la validación basada en pruebas de zk
Ya en julio del año pasado, la Fundación Ethereum anunció su enfoque “zk-first”. Hoy en día, los validadores de Ethereum suelen comprobar un bloque volviendo a ejecutar las transacciones y comparando los resultados. El plan propone una alternativa: los validadores podrían verificar una prueba criptográfica de que la ejecución del bloque fue correcta.
El documento resume el proceso previsto en términos sencillos: un cliente de ejecución produce un paquete “testigo” compacto para un bloque, un programa zkEVM estandarizado utiliza ese paquete para generar una prueba de ejecución correcta y los clientes de consenso verifican esa prueba durante la validación del bloque.
El primer hito es la creación de un “Testigo de ejecución”, una estructura de datos por bloque que contiene la información necesaria para validar la ejecución sin volver a ejecutarla. El plan exige un formato de testigo formal en las especificaciones de ejecución de Ethereum, pruebas de conformidad y un punto final RPC estandarizado. Señala que el punto final actual debug_executionWitness ya está “siendo utilizado en producción por Kona de Optimism”, al tiempo que sugiere que puede ser necesario un punto final más compatible con zk.
Una dependencia clave es agregar un mejor seguimiento de qué partes del estado toca un bloque, a través de Listas de acceso a nivel de bloque (BAL). El documento dice que, en noviembre de 2025, este trabajo no se consideró lo suficientemente urgente como para respaldarlo en bifurcaciones anteriores.
El siguiente hito es un “programa invitado zkEVM”, descrito como una lógica de validación sin estado que verifica si un bloque produce una transición de estado válida cuando se combina con su testigo. El plan enfatiza las compilaciones reproducibles y la compilación según objetivos estandarizados para que las suposiciones sean explícitas y verificables.
Más allá del código específico de Ethereum, el plan apunta a estandarizar la interfaz entre zkVM y el programa invitado: objetivos comunes, formas comunes de acceder a precompilaciones y E/S, y suposiciones acordadas sobre cómo se cargan y ejecutan los programas.
Desde el punto de vista del consenso, la hoja de ruta exige cambios para que los clientes de consenso puedan aceptar pruebas de zk como parte de la validación del bloque de balizas, con especificaciones, vectores de prueba y un plan de implementación interno adjuntos. El documento también señala que la disponibilidad de la carga útil de ejecución es importante, incluido un enfoque que podría implicar “poner el bloque en blobs”.
La propuesta trata la generación de pruebas como un problema operativo tanto como de protocolo. Incluye hitos para integrar zkVM en herramientas EF como Ethproofs y Ere, probar configuraciones de GPU (incluido “zkboost”) y realizar un seguimiento de la confiabilidad y los cuellos de botella.
La evaluación comparativa se enmarca como un trabajo continuo, con objetivos explícitos como medir el tiempo de generación de testigos, el tiempo de creación y verificación de pruebas, y el impacto de la propagación de pruebas en la red. Esas mediciones podrían alimentar futuras propuestas de revisión de precios del gas para cargas de trabajo pesadas.
La seguridad también está marcada como perpetua, con planes para especificaciones formales, monitoreo, controles de la cadena de suministro como compilaciones reproducibles y firma de artefactos, y un modelo documentado de confianza y amenazas. El documento propone un “marco de aprobación/no aprobación” para decidir cuándo los sistemas de prueba están lo suficientemente maduros para un uso más amplio.
Destaca una dependencia externa: ePBS, que el documento describe como necesaria para dar más tiempo a los probadores. Sin él, el plan dice que el probador tiene “entre 1 y 2 segundos” para crear una prueba; con él, “6 a 9 segundos”. El documento añade un marco de dos frases que capta la urgencia: “Este no es un proyecto en el que estemos trabajando. Sin embargo, es una optimización que necesitamos”. Espera que ePBS se implemente en “Glamsterdam”, previsto para mediados de 2026.
Si estos hitos se concretan, Ethereum avanzaría hacia la validación basada en pruebas como una opción práctica en L1, mientras que el momento y la complejidad operativa de la prueba siguen siendo los factores determinantes.
Al momento de esta edición, ETH cotizaba a $3,300.
Imagen destacada creada con DALL.E, gráfico de TradingView.com
Proceso editorial for se centra en ofrecer contenido minuciosamente investigado, preciso e imparcial. Mantenemos estrictos estándares de abastecimiento y cada página se somete a una revisión diligente por parte de nuestro equipo de expertos en tecnología y editores experimentados. Este proceso garantiza la integridad, relevancia y valor de nuestro contenido para nuestros lectores.
