El ecosistema de Ethereum se está preparando para un cambio innovador en su proceso de verificación, destinado a eliminar la necesidad de re-ejecutar cada transacción en la blockchain. Este enfoque innovador se basa en la validación de pruebas de conocimiento cero (ZK) en lugar de volver a procesar manualmente las transacciones, prometiendo cambios sustanciales en la arquitectura de la red.
Nuevo Modelo de Verificación y Hoja de Ruta
Una propuesta preliminar titulada “Pruebas de Ejecución Opcional” bajo EIP-8025 describe la lógica central y los detalles técnicos de esta transformación. Bajo el nuevo modelo, los validadores podrán verificar pruebas compactas sin volver a ejecutar bloques, moviendo así la red hacia la verificación de pruebas en lugar de la re-ejecución de transacciones tradicionales. Esto se está probando activamente como parte del avance de Ethereum.
El equipo zkEVM de la Ethereum Foundation, basado en pruebas de conocimiento cero, se centra en establecer estándares de testigos de ejecución y programas, garantizar la compatibilidad con APIs, integración de capas, infraestructura de pruebas, medición y seguridad. El objetivo general de estos esfuerzos es hacer que los costos de verificación sean accesibles y prácticos para todos los involucrados.
Desafíos Técnicos y Riesgo de Centralización
Un elemento clave del nuevo diseño implica generar un “Testigo de Ejecución” para verificar transacciones. Un programa estándar utiliza estos datos para monitorear cambios de estado y crear una prueba de conocimiento cero. Los validadores utilizan estas pruebas para confirmar los bloques. Otra innovación crítica es la actualización de Separación Propuesta-Construcción Encrustada (ePBS), destinada a extender el tiempo asignado para la verificación de bloques.
No obstante, el enfoque genera preocupaciones sobre la posible centralización, principalmente porque el proceso requiere hardware de alto rendimiento, como múltiples tarjetas GPU. Análisis recientes indican que se necesitan un promedio de 12 GPUs para verificar un bloque de Ethereum. La suposición de seguridad del proyecto se basa en la verificación de tres pruebas independientes de diferentes clientes de software.
Escalabilidad de la Capa 1 e Impacto en la Capa 2
La hoja de ruta actualizada de Ethereum enfatiza la “ausencia de estado,” permitiendo verificar bloques sin cargar todo su peso principal. Se espera que este desarrollo permita a los validadores domésticos experimentar completamente la participación en la red y reduzca drásticamente los tiempos de sincronización. Incluso con límites de gas en aumento, los costos de verificación estabilizados podrían facilitar más transacciones.
En cuanto a las soluciones de Capa 2, si disminuyen los costos de verificación de la cadena base y se comparte la infraestructura, los proyectos de Capa 2 podrían tener dificultades para destacar enfocados únicamente en la escalabilidad. En consecuencia, se anticipa que características como máquinas virtuales especializadas, ultra-baja latencia y nuevos modelos de interacción se conviertan en diferenciadores.
Posibilidades Futuras y Escenarios
Tres caminos potenciales se vislumbran a mediano y largo plazo. Primero, la adopción generalizada de la verificación de pruebas podría facilitar la participación de los usuarios domésticos en el sistema. Segundo, los altos requisitos de hardware para la producción de pruebas pueden acelerar la centralización, favoreciendo a grandes proveedores. Tercero, el compartir la infraestructura de verificación de pruebas de la Capa 1 podría empujar a los proyectos de Capa 2 a explorar nuevas vías para diferenciarse.
Lograr el éxito en este proceso depende de armonizar los estándares técnicos, reducir los requisitos de hardware y estabilizar criterios de medición. Además, actualizaciones significativas como ePBS y Glamsterdam podrían ampliar la ventana de verificación, mejorando la efectividad general de la red.
Este modelo, aún en su fase preliminar, probablemente no se implementará completamente a corto plazo. Las prioridades incluyen probar actualizaciones, madurar el enfoque y comprender de manera transparente el funcionamiento de la nueva arquitectura.
