ZKsync presentó Airbender Prime, un probador de Ethereum que demostró la prueba en tiempo real de bloques de la mainnet con una sola GPU, un hito que llevó al cofundador de Ethereum, Vitalik Buterin, a pedir un renovado enfoque en la seguridad en todo el desarrollo de zkEVM.

En las pruebas, una GPU NVIDIA RTX PRO 6000 Blackwell probó el 99% de 7,200 bloques consecutivos de la mainnet de Ethereum en menos de 10 segundos cada uno, incluida la preparación del witness, el paso de reunir los datos que un probador necesita para generar una prueba. Todos los bloques se completaron en menos de 12 segundos. Ethereum produce un nuevo bloque aproximadamente cada 12 segundos, por lo que probar cada bloque dentro de esa ventana es lo que mantiene la verificación al ritmo de la producción de bloques. ZKsync anunció el hito en una publicación en X.

Airbender Prime demuestra la prueba en tiempo real de bloques de Ethereum

Un zkEVM genera una prueba criptográfica de que un bloque fue ejecutado según las reglas de Ethereum, lo que permite a cualquier persona verificar el resultado sin volver a ejecutar el cálculo. Según ZKsync, Airbender Prime utiliza STARK basados en hash, una construcción de pruebas diseñada para ofrecer seguridad post-cuántica. Su tecnología combina GKR sumcheck, compromisos polinómicos WHIR y hashing BLAKE2s.

Para las pruebas de Layer 1, el sistema utilizará compromisos basados en Keccak-256 en lugar de emparejamientos BN254. También sigue el estándar abierto RISC-V e incluye un verificador independiente para comprobaciones de pruebas por separado.

ZKsync señaló que Airbender Prime encabeza la tabla de clasificación pública de ETHproofs, que compara a los probadores zkEVM con los bloques de la mainnet de Ethereum en tiempo promedio de prueba, eficiencia de GPU y costo. El proyecto también cuenta con configuraciones en vivo que utilizan dos y cuatro GPUs.

Vitalik Buterin pide una seguridad más sólida para zkEVM

Buterin felicitó al equipo de ZKsync por el hito. Dijo que la batalla por la velocidad de prueba se había ganado de manera definitiva y sostuvo que el desarrollo de zkEVM ahora debe priorizar la seguridad.

Buterin identificó tres requisitos para la verificación formal: demostrar que la aritmetización coincide con la especificación de Ethereum, establecer una proporción máxima estricta entre los costos de prueba y el gas de bloque, y verificar la seguridad del propio sistema de pruebas. La aritmetización es el paso en el que un probador codifica las reglas de ejecución de Ethereum en las declaraciones matemáticas que un sistema de pruebas puede comprobar. Sus comentarios ponen la atención en si los sistemas de prueba pueden demostrar una ejecución correcta, costos de prueba predecibles y protecciones criptográficas confiables.

ZKsync apunta a una infraestructura financiera verificable de forma independiente

ZKsync señaló que los avances en inteligencia artificial podrían acelerar el descubrimiento y la explotación de vulnerabilidades de software. Argumentó que las instituciones necesitan mecanismos que bancos y contrapartes puedan verificar de forma independiente.

Exigir pruebas de conocimiento cero para las actualizaciones del libro mayor podría evitar que servidores de ejecución comprometidos aprueben actualizaciones que violen las reglas codificadas, según la empresa. Los menores requisitos de hardware de Airbender Prime también podrían hacer que la generación de pruebas sea más accesible para instituciones y operadores independientes.

El proyecto busca apoyar la verificación independiente en toda la infraestructura financiera. ZKsync dijo que planea nuevos anuncios sobre Airbender Prime, sin proporcionar detalles adicionales en su presentación.