El cofundador de Ethereum, Vitalik Buterin, dice que la carrera por hacer las pruebas de conocimiento cero lo suficientemente rápidas para Ethereum ha sido definitivamente ganada. Buterin afirma que la prioridad principal para los zkEVM ahora debe centrarse completamente en la seguridad. El comentario de Buterin siguió al anuncio de ZKsync sobre la generación en tiempo real de pruebas en una sola tarjeta gráfica.
La evaluación propia de ZKsync encontró que Airbender Prime generó el 99% de las pruebas en menos de 10 segundos en 7.200 bloques consecutivos del mainnet. Ethereum añade un bloque cada 12 segundos. ZKsync afirma que ningún bloque en la muestra tardó tanto en probarse. ZKsync indica que ETHproofs, un ranking público de probadores, posiciona a Airbender Prime en el primer lugar en tiempo promedio de prueba. ZKsync argumenta que los requisitos de hardware más bajos permiten que más instituciones y operadores independientes accedan a la prueba.
Los validadores de ethereum actualmente vuelven a ejecutar cada transacción para verificar un bloque. Las pruebas de conocimiento cero confirman que un cálculo se ejecutó correctamente sin repetir el cálculo. Las pruebas de conocimiento cero permitirían a los validadores verificar una prueba corta en su lugar. Ese cambio podría reducir el trabajo que realizan los validadores por bloque.
Buterin enumeró tres requisitos para los zkEVM, los sistemas que comprueban la ejecución de Ethereum. Buterin dice que los zkEVM deben coincidir con la especificación de Ethereum. Buterin dice que los zkEVM deben limitar el costo del probador respecto al gas del bloque. Buterin dice que los zkEVM deben basarse en un sistema de prueba sólido. Buterin desea que cada requisito sea verificado formalmente, es decir, probado matemáticamente en lugar de solo probado.
La demostración más rápida no mueve directamente el precio de ethereum. Airbender Prime es una herramienta de ZKsync, no un cambio en el protocolo de ethereum. Airbender Prime deja sin cambios la oferta de ETH, las tarifas y los rendimientos de staking de ethereum. Cualquier efecto en el precio probablemente provendría más bien del sentimiento sobre la hoja de ruta de ethereum, junto con las condiciones macroeconómicas y los flujos de fondos.
El problema más grande es la credibilidad. ZKsync promueve la tecnología ante los bancos, argumentando que incluso un servidor comprometido no podría obtener una actualización del libro mayor que viole las reglas verificadas. Un prover rápido con una falla anularía ese propósito. La verificación formal y las auditorías ahora podrían determinar qué zkEVMs puede confiar Ethereum.