[Con una sola GPU, demostraron la prueba de Ethereum. Pero el examen real en producción es diferente.] @zksync logró probar 7.200 bloques consecutivos de la red principal de Ethereum con una sola GPU. Del total, el 99% se probó en menos de 10 segundos, y todos los bloques se completaron en menos de 12 segundos. Sin embargo, según las métricas en tiempo real de EthProofs, respaldado por la Fundación Ethereum, solo 2 de los 8 probers evaluados cumplieron recientemente con los criterios semanales de elegibilidad. Ambos resultados no son directamente comparables, ya que difieren en los objetivos y entornos de medición. Más bien, esta diferencia revela el siguiente desafío para la tecnología ZK. Resumen breve: - Airbender Prime demostró la posibilidad de responder al ciclo de generación de bloques de Ethereum (aproximadamente 12 segundos) con una sola GPU. - En la operación real, además de la velocidad de prueba, se deben considerar la disponibilidad, los fallos de prueba y los requisitos de hardware. - A largo plazo, la competitividad del zkEVM probablemente se decidirá más por la verificación de precisión, el costo de prueba bajo condiciones extremas y la capacidad operativa estable que por la velocidad de procesamiento de pruebas. Airbender Prime, anunciado por ZKsync el 13 de octubre, probó 7.200 bloques consecutivos de la red principal de Ethereum con una sola GPU NVIDIA RTX PRO 6000 Blackwell. Dado que Ethereum genera bloques aproximadamente cada 12 segundos, 7.200 bloques equivalen nominalmente a unas 24 horas de bloques. Lo significativo es que, incluyendo el tiempo necesario para preparar los datos de entrada (witness), el 99% de los bloques se procesaron en menos de 10 segundos. Si la velocidad de generación de pruebas es suficientemente rápida en comparación con la llegada de nuevos bloques, los verificadores pueden confirmar los resultados de ejecución mediante pruebas criptográficas en lugar de volver a ejecutar todas las transacciones. Esto reduce potencialmente la cantidad de cálculos necesarios para la verificación. Sin embargo, un experimento de rendimiento con 7.200 bloques es un problema distinto al suministro continuo de pruebas en un entorno operativo real. EthProofs mide públicamente el rendimiento y estado operativo de varios sistemas que generan pruebas en tiempo real para bloques de Ethereum. A la fecha del 26 de octubre, el panel mostraba los siguientes datos: - 8 probers evaluados, 2 cumplen con los criterios semanales recientes de elegibilidad. - Tasa de éxito en menos de 10 segundos respecto a los slots de bloque: 69.7%. - Porcentaje clasificado como fuera de línea: 26.2%. Estas cifras no corresponden al resultado del experimento con una sola GPU de Airbender Prime. Son agregados operativos basados en múltiples probers, con diferentes equipos, entornos de ejecución y criterios de elegibilidad. Sin embargo, muestran claramente que, para utilizar pruebas en la red real, además del rendimiento individual, se requiere garantizar la confiabilidad operativa. Incluso si un prober tarda en promedio solo 5 segundos en generar una prueba, si se interrumpe con frecuencia o no puede procesar ciertos bloques, una estructura de verificación que dependa exclusivamente de ese sistema será difícil de mantener estable. Es necesario verificar si otros implementaciones pueden proporcionar pruebas cuando un prober específico falla, y si los retrasos se acumulan cuando bloques difíciles llegan en secuencia. También se requiere una verificación independiente sobre los requisitos de hardware. La guía GPU del repositorio público de Airbender indica que se utilizan GPUs en las etapas básicas y recursivas de prueba, y que se necesitan CPU y aproximadamente 150 GB de RAM en la etapa final de prueba. No se ha confirmado si este documento describe la misma configuración utilizada en el benchmark más reciente de Prime. Por lo tanto, no se puede determinar el requerimiento total de memoria o el costo operativo del sistema solo con el resultado medido como "una sola GPU". El 15 de octubre, @VitalikButerin elogió el logro del equipo Airbender y propuso tres siguientes desafíos para zkEVM: Primero: verificar matemáticamente que los cálculos utilizados en la prueba coinciden con las especificaciones reales de ejecución de Ethereum. Segundo: establecer un límite estricto sobre el costo de prueba en relación con el uso de gas del bloque. Tercero: verificar la seguridad criptográfica del propio sistema de prueba. El segundo requisito está directamente relacionado con los costos operativos reales. ¿Qué sucedería si alguien diseñara intencionalmente operaciones extremadamente difíciles para generar pruebas dentro del límite permitido de gas? Aunque la ejecución del bloque se paga normalmente, la generación de la prueba podría requerir cantidades excesivas de cálculo y tiempo. Si este escenario es posible, incluso si el tiempo promedio por bloque es muy corto, será difícil predecir la carga máxima que la red puede manejar establemente. La viabilidad económica de las pruebas en tiempo real depende no solo del costo promedio por bloque, sino también del recurso necesario en el peor caso. La hoja de ruta de EthProofs también avanza en esta dirección.La fase actual de mejora de rendimiento ha finalizado y se encuentra en curso la verificación de seguridad. A continuación, se prevé la integración directa de la prueba de retardo, la prueba de obligación y la prueba en el protocolo. Esta secuencia es importante porque crear un sistema de prueba rápido es diferente de hacer que Ethereum confíe en esa prueba dentro del proceso de consenso. El anuncio de Airbender Prime proporciona fuertes evidencias de que es posible reducir la carga de hardware de las pruebas en tiempo real. El próximo logro no se evaluará fácilmente solo por velocidades más rápidas. Lo crucial será mantener altas tasas de éxito de prueba durante mucho tiempo en entornos operativos reales, asegurar que el costo de la prueba esté limitado incluso en los peores bloques, y verificar que distintas implementaciones puedan probar con precisión los mismos resultados de ejecución de Ethereum. La tecnología de pruebas ZK está pasando de la fase de mostrar cálculos rápidos a convertirse en una infraestructura en la que la red pueda confiar realmente. #Ethereum #zkEVM