La Fundación Ethereum describe el camino hacia la adopción total de ZK y la implementación de zkEVM de capa 1

Una organización sin fines de lucro dedicada al desarrollo de la cadena de bloques Ethereum, Fundación Ethereum publicó un plan que detalla la progresión de Ethereum hacia la adopción total de pruebas de conocimiento cero (ZK), comenzando con la implementación de un zkEVM de capa 1. 

Según la Fundación Ethereum, el enfoque más eficiente y seguro para implementar un zkEVM de capa 1 implica ofrecer a los validadores la opción de operar clientes que, en lugar de volver a ejecutar cargas útiles de ejecución, verifiquen múltiples pruebas generadas por diferentes zkVM, cada una validando implementaciones de EVM independientes.

Gracias a la rápida velocidad de verificación y al tamaño compacto de estas pruebas, es posible descargar y verificar varias, lo que permite una estrategia de defensa en profundidad similar a la diversidad de clientes existente aplicada a las zkVM. Para la verificación inicial fuera de la cadena de las pruebas de ejecución, el protocolo solo requiere una forma de canalización en Glamsterdam para proporcionar tiempo de prueba adicional. 

Al principio, se espera que solo una pequeña cantidad de validadores ejecuten clientes ZK; sin embargo, como su seguridad está probada en entornos de producción, y con la Fundación Ethereum invirtiendo en verificación formal, desarrollo de especificaciones, auditorías y recompensas por errores, se espera que la adopción aumente gradualmente. 

Una vez que la gran mayoría de las partes interesadas confíe en la operación de los clientes ZK, el límite de gas puede elevarse a un nivel que obligue a los validadores con hardware estándar a verificar las pruebas en lugar de reejecutar bloques. Cuando todos los validadores verifican las pruebas de ejecución, una precompilación EXECUTE puede utilizar estas mismas pruebas para soportar los zk-rollups nativos.

DefiRequisitos de prueba en tiempo real para la capa 1 de Ethereum 

La principal fortaleza en la implementación de este plan reside en aprovechar todo el ecosistema zkVM para consolidar a Ethereum como la aplicación ZK más grande a nivel mundial. Numerosas zkVM ya están validando bloques de Ethereum, con anuncios periódicos de mejoras de rendimiento. Para preservar las características de seguridad, actividad y resistencia a la censura de la Capa 1, Fundación Ethereum propone un sistema estandarizado definición de pruebas en tiempo real para que los desarrolladores de zkVM la implementen.

En cuanto a los sistemas de prueba, las zkVM que apuntan a la prueba en tiempo real deben apuntar a una seguridad de 128 bits, considerada la meta apropiada a largo plazo para Capa 1 de Ethereum Sin embargo, un mínimo inicial de seguridad de 100 bits es aceptable para abordar los desafíos de ingeniería a corto plazo y alcanzar el objetivo completo de 128 bits. El tamaño de las pruebas debe mantenerse por debajo de los 300 KiB y evitar la dependencia de envoltorios recursivos que requieren configuraciones confiables. Se espera que los sistemas de pruebas alcancen una seguridad de 128 bits para cuando los clientes ZK entren en producción, con criterios de seguridad más estrictos a medida que mejoren los tiempos de prueba. Dado el tiempo de ranura actual de 12 segundos y un tiempo máximo de propagación de datos a través de la red de aproximadamente 1.5 segundos, las pruebas en tiempo real son... defise considera que ocurre dentro de 10 segundos o menos. 

Se anticipa que las zkVM serán capaces de probar al menos el 99% de los bloques de la red principal dentro de este período de tiempo, y que los valores atípicos y los posibles vectores sintéticos de denegación de servicio se abordarán en futuras actualizaciones de la red. 

Para mantener una vitalidad óptima y resistencia a la censura, el defiLa implementación de pruebas en tiempo real apoya las pruebas en casa, lo que anima a los participantes que operan validadores desde casa a participar en las pruebas. Si bien se espera una mayor resistencia a la censura mediante la inclusión forzada de transacciones antes de la verificación obligatoria de las pruebas ZK, las pruebas en casa siguen siendo una medida de seguridad crucial. Dado que las pruebas en la nube ya son rentables con instancias puntuales multiGPU, los equipos de zkVM centrados en pruebas en tiempo real priorizarán la optimización para configuraciones locales, donde las limitaciones de recursos son más pronunciadas.

Las pruebas en tiempo real locales deberían requerir una inversión máxima de aproximadamente 100,000 80,000 USD, comparable al requisito actual de inversión de aproximadamente 10 10 USD para operar un validador. Se espera que este costo disminuya con el tiempo, incluso a medida que aumenta el límite de gas. Más allá de los gastos de hardware, el consumo de energía representa la principal limitación para las pruebas en el hogar con GPU. La mayoría de las viviendas residenciales tienen al menos XNUMX kW de capacidad de energía disponible, y algunas están equipadas con circuitos diseñados para electrodomésticos de alta demanda o para la carga de vehículos eléctricos con esta capacidad. Por lo tanto, las pruebas en tiempo real deben ser factibles con hardware que funcione a XNUMX kW o menos.