ZKsync lanzó Airbender Prime, un probador de conocimiento cero que demostró la validez de 7.200 bloques de Ethereum en menos de 10 segundos usando una sola GPU. Vitalik Buterin, cofundador de Ethereum, calificó el logro como un hito decisivo y afirmó que el desarrollo de zkEVM debe ahora centrarse en la seguridad en lugar de la velocidad.
Qué pasó realmente
ZKsync anunció Airbender Prime, su probador de conocimiento cero para Ethereum, el 17 de octubre de 2026, según Wu Blockchain. En las pruebas, una sola GPU NVIDIA RTX PRO 6000 Blackwell generó pruebas para un lote consecutivo de 7.200 bloques de la red principal de Ethereum. El 99% de las pruebas de bloque tardaron menos de 10 segundos, y todos los bloques se completaron en 12 segundos como máximo, incluido el tiempo de preparación de testigos (witness). El probador funciona sobre el estándar abierto RISC-V y utiliza tecnología de pruebas STARK basada en hashes, diseñada para la seguridad poscuántica. Incluye un verificador independiente para comprobaciones externas. Vitalik Buterin felicitó al equipo de Airbender y dijo que la carrera por la velocidad de las pruebas zkEVM ha alcanzado resultados decisivos. Añadió que la prioridad debe ahora trasladarse por completo a la seguridad.
Cómo llegamos hasta aquí
Las pruebas de conocimiento cero permiten a un rollup demostrar la validez de las transacciones de Ethereum sin repetir todo el cómputo, lo que reduce costos y tiempos de finalización. Durante años, los equipos de zkEVM compitieron principalmente por la velocidad de las pruebas, ya que un proceso lento retrasaba los retiros y encarecía los costos. Los resultados de Airbender Prime, el 99% de los bloques probados en menos de 10 segundos con una sola GPU de nivel consumidor, representan una de las referencias públicas más rápidas para un probador equivalente a Ethereum. Buterin señaló tres tareas pendientes para la verificación formal: confirmar que la aritmética del sistema de pruebas coincide exactamente con las reglas del protocolo de Ethereum, fijar límites de costo estrictos vinculados al uso de gas por bloque, y verificar que el propio sistema de conocimiento cero sea matemáticamente sólido. Esto transforma la carrera de los zkEVM de una competencia de rendimiento a un problema de auditoría de seguridad.
Por qué esto te importa
Para ZKsync, una prueba más rápida podría significar comisiones más baratas y una finalización más rápida para los usuarios que transfieren o operan en su rollup. Para otros equipos de zkEVM, las declaraciones de Buterin fijan un nuevo estándar: la velocidad bruta ya no gana el argumento, las garantías formales de seguridad sí. Los desarrolladores que trabajan en el escalado de Ethereum podrían ahora priorizar auditorías y pruebas matemáticas de corrección por encima de las carreras de referencia. Quienes tienen activos en rollups zk deberían observar si los competidores desvían recursos hacia la verificación formal, ya que eso podría ralentizar algunas hojas de ruta, pero reduciría el riesgo de que un error en el probador cause pérdida de fondos. En última instancia, los usuarios se benefician de una cadena que demuestra ser rápida y segura a la vez.
La gran pregunta
Si la velocidad de las pruebas ya no es el factor decisivo, ¿qué nuevo estándar separará a los zkEVM que compiten entre sí? La verificación formal puede confirmar que un sistema coincide con su propia especificación, pero no puede garantizar que esa especificación cubra todos los ataques posibles en el mundo real. ¿Quién decide cuándo un probador es lo suficientemente seguro como para resguardar miles de millones en activos?
Qué vigilar
ZKsync no ha publicado una fecha para la integración de Airbender Prime en la red principal. Habrá que observar cómo responden los desarrolladores principales de Ethereum a la hoja de ruta de verificación formal de Buterin en las próximas semanas. Otros proyectos de zkEVM podrían publicar sus propias comparativas de referencia a medida que el foco se traslada hacia las auditorías de seguridad. Bonuz seguirá de cerca cómo este debate afecta a la infraestructura de pruebas que eventualmente podría dar soporte a dispositivos ligeros y siempre activos, como gafas inteligentes, que dependen de una verificación rápida y económica en el borde (edge).
