Tl; dr de la semana pasada de talleres de EF en Berlín: Ethereum es todo en zkVMs para escalar la L1. Las pruebas en tiempo real demostraron que hoy en día es posible escalar masivamente el L1 con ZK. Justin Drake incluso esbozó un camino para la eventual consagración de zkVMs en la L1. Son mucho más serios acerca de este esfuerzo de lo que yo creía. Más detalles 🧵

La prioridad estratégica # 1 de Ethereum en este momento es escalar la L1: Como se destacó en la reciente actualización de EF, uno de los grupos focales centrales de EF (dirigido por @timebeiko + @adietrichs) es aumentar drásticamente la capacidad de L1 para traer más actividad a la red principal. El reciente anuncio de "prueba en tiempo real" hizo que el liderazgo se diera cuenta de que escalar la L1 con ZK es posible, hoy. Un cuello de botella importante en el escalado es mantener bajos los requisitos de hardware para los nodos mientras se bombea el gas. Con la demostración en tiempo real, el límite de gas se puede aumentar sustancialmente sin sacrificar la verificabilidad, ya que los validadores solo necesitan verificar las pruebas (bajo costo computacional) para mantenerse al día con la cadena. EF está dedicando recursos significativos a este esfuerzo, incluidos varios equipos de ingeniería dedicados a crear un cliente ZK sin estado, incorporar redes de prueba mediante ZK boost y realizar pruebas comparativas de zkVM. EF tiene un plan concreto para los próximos trimestres para incorporar zkVM y RTP en muchas partes de la pila. Hay un equipo dedicado a crear un cliente ZK sin estado que pueda ejecutarse en un hardware mínimo mientras verifica las pruebas. Están construyendo ZK Boost, un sidecar similar a MEV boost que todos los constructores y proponentes ejecutarán para solicitar pruebas de las redes de probadores. Y cuentan con un equipo de evaluación comparativa de zkVM dedicado a comprender qué cambios de protocolo son necesarios para garantizar la prueba en tiempo real del 100% de los bloques. Justin esbozó un camino concreto para consagrar las pruebas de zkVM en Ethereum en los próximos años. En una presentación, Justin esbozó un plan gradual para introducir gradualmente las zkVM en L1, terminando con la eventual consagración de sistemas de prueba verificados formalmente en L1. A medida que las zkVM se vuelvan críticas para L1, las redes de prueba serán la infraestructura donde los proponentes obtengan pruebas para cada bloque de Ethereum. Una pieza crítica de la infraestructura en este impulso de zkVM serán las redes de probadores. Las redes de probadores permiten la separación entre proponentes, donde los proponentes pueden permanecer descentralizados y sin sofisticación, al tiempo que obtienen pruebas en tiempo real para cada bloque con la máxima eficiencia de un conjunto competitivo de probadores. Esto es lo que estamos construyendo con Prover Network de Succinct:) Las zkVM están a punto de impulsar la mejor cadena de bloques del mundo. Maremoto ZK, entrante.