Este miércoles, Vitalik Buterin programador y cofundador de Ethereum, en un mensaje en la red social X, fue claro al señalar que ese ecosistema cripto había logrado ganar el hito de la carrera por la velocidad en ZK (zkEVMs) y ahora reconfigura la hoja de ruta tecnológica a largo plazo de plataforma de código abierto hacia la seguridad.
Big congratulations to the @zksync airbender team for this milestone. At this point, I consider the battle for speed to be definitively won, and the top priority for zkEVMs should shift fully to security. To me that means formally verifying (i) equivalence of the arithmetization to the ethereum spec (ii) a hard maximum bound on (prover cost) / (amount of gas in block) (iii) security of the proof system itself https://t.co/cgtFXBpicf
— vitalik.eth (@VitalikButerin) October 15, 2026
Buterin en la publicación de X, agradeció al equipo de desarrolladores que han hecho posible el que se alcanzara esta nueva marca: “¡Enormes felicitaciones al equipo de airbender de @zksync por este hito! En este punto, considero que la batalla por la velocidad ha sido definitivamente ganada, y la máxima prioridad para los zkEVMs debería cambiar completamente hacia la seguridad”.
“Para mí, eso significa verificar formalmente. (i) la equivalencia de la aritmetización a la especificación de Ethereum (ii) un límite máximo estricto en (costo del probador) / (cantidad de gas en el bloque) (iii) la seguridad del sistema de pruebas en sí”.
Y es que tras años de intensa competencia entre equipos de desarrollo por reducir el tiempo necesario para validar transacciones mediante pruebas de conocimiento cero (Zero-Knowledge o ZK), Buterin ha declarado oficialmente que la “batalla por la velocidad ha sido definitivamente ganada”.
El punto de inflexión responde a la presentación de Airbender Prime, el nuevo probador desarrollado por el equipo de ZKsync, capaz de generar pruebas ZK para bloques completos de Ethereum en tiempo real utilizando una sola tarjeta gráfica comercial.
Sin embargo, la reacción de Buterin no ha sido un llamado a bajar la guardia, sino un drástico cambio de rumbo para establecer como prioridad estratégica de Ethereum para las máquinas virtuales ZK el trasladarse de inmediato hacia la seguridad, la verificación formal matemática y la sostenibilidad del hardware.
Lo logrado por Airbender Prime es increíble porque hasta ahora, uno de los mayores desafíos técnicos para la adopción masiva de los ZK-Rollups (las soluciones de escalabilidad de Capa 2 que procesan transacciones fuera de la cadena principal para luego verificarlas de forma masiva en Ethereum) era la enorme exigencia computacional.
De allí que probar que un conjunto de transacciones es válido requería granjas de servidores costosas o prolongados minutos de procesamiento, pero el lanzamiento de Airbender Prime rompe este paradigma.
En una evaluación ejecutada sobre 7.200 bloques consecutivos de la red principal de Ethereum (mainnet), el sistema demostró la capacidad de generar la prueba del 99% de los bloques en menos de 10 segundos utilizando únicamente una tarjeta gráfica NVIDIA RTX PRO 6000 Blackwell.
Además, considerando el tiempo total de preparación del testigo (witness preparation), el 100% de los bloques evaluados se completó en menos de 17 segundos. Desde el punto de vista arquitectónico, Airbender Prime introduce especificaciones diseñadas para la era post-cuántica como el fundamento RISC-V que está construido sobre el estándar abierto RISC-V para garantizar una ejecución modular y transparente.
Incluye criptografía orientada a hashes, ya que utiliza STARKs basados en hashing que combinan el protocolo GKR sumcheck, compromisos polinomiales WHIR y funciones de hash BLAKE2s. De paso, tiene integración con la Capa 1, porque para sus pruebas en L1, el sistema emplea compromisos basados en Keccak-256 en lugar de los tradicionales emparejamientos BN254, optimizando su compatibilidad nativa con Ethereum.
Estas métricas ubican a Airbender Prime al frente de la clasificación pública en ETHproofs, liderando los índices de tiempo promedio de prueba, eficiencia energética por GPU y costos operativos.
Al reducir drásticamente las barreras de entrada de hardware, ZKsync abre la puerta para que operadores independientes e instituciones financieras ejecuten probadores sin depender de infraestructura corporativa inaccesible.
A pesar de las felicitaciones explícitas de Buterin al equipo de ZKsync por el logro, el líder de Ethereum utilizó la plataforma X para marcar la postura oficial de la comunidad de desarrolladores que es acelerar unos segundos más la generación de pruebas no aporta un valor estructural significativo si el sistema no es impenetrable.
“En este punto, considero que la batalla por la velocidad se ha ganado definitivamente, y la máxima prioridad para los zkEVM debería cambiar completamente hacia la seguridad”, enfatizó Buterin.
Para el cofundador de Ethereum, garantizar la seguridad en esta nueva etapa exige cumplir estrictamente con tres requisitos que deben ser verificados formalmente (es decir, demostrados mediante teoremas matemáticos rigorosos y no solo mediante pruebas empíricas de código):
1) La equivalencia de la aritmetización con la especificación de Ethereum: Garantizar con matemática absoluta que la traducción del código de la Ethereum Virtual Machine (EVM) a los circuitos ZK no contenga desviaciones, omisiones ni comportamientos inesperados.
2) El límite máximo estricto en la relación costo/gas: Establecer un techo matemático estricto en la fórmula (costo del probador) / (cantidad de gas del bloque), evitando que ataques de spam o transacciones complejas puedan congelar o encarecer desproporcionadamente la red.
3) La seguridad intrínseca del sistema de pruebas: Mediante el aseguramiento real para que los componentes criptográficos subyacentes carezcan de vulnerabilidades que permitan la falsificación de pruebas válidas.
Para comprender el alcance de este anuncio, es necesario examinar cómo operan actualmente los validadores de la red, ya que en la arquitectura actual, cada nodo validador de Ethereum debe volver a ejecutar individualmente cada transacción contenida en un bloque para verificar su validez.
Con la integración de pruebas ZK en tiempo real, los validadores ya no necesitan procesar el cálculo completo porque ahora basta con verificar una prueba matemática corta que certifica que todo el bloque se ejecutó correctamente.
Dado que Ethereum añade un nuevo bloque aproximadamente cada 12 segundos, que un probador como Airbender Prime entregue resultados en menos de 10 segundos demuestra que la verificación en tiempo real a nivel de protocolo es técnicamente viable.
De cara a los inversores y traders muchos se preguntan si este hito ¿Afecta esto directamente al precio de ETH? Y la respuesta es que en el corto plazo, los analistas coinciden en que no existe un impacto directo en la cotización de Ether (ETH).
Airbender Prime es un desarrollo de software creado por Matter Labs (ZKsync), no una modificación directa del protocolo de consenso de Ethereum. Por lo tanto, no altera el suministro circulante, la emisión, la quema de comisiones (EIP-1559) ni las recompensas de staking.
En consecuencia, el impacto real es de carácter estructural y reputacional pero en el contexto actual, donde los ZK-Rollups se promocionan como infraestructura para la banca institucional y el comercio global, la tolerancia a fallos es cero.
Como señalan analistas del sector, si un banco o una entidad financiera adopta un zkEVM para registrar saldos o activos tokenizados, un solo error de software en la lógica del probador podría permitir la aprobación de estados de cuenta falsificados. En concreto, un probador ultra rápido pero con una vulnerabilidad en sus circuitos destruye de inmediato la confianza del mercado.
El mensaje de Buterin reformula las reglas del juego para todos los competidores en el espacio de Capa 2 (como Starknet, Scroll, Polygon zkEVM y Linea) porque a partir de ahora, las métricas de marketing basadas en “transacciones por segundo” (TPS, «por sus siglas en inglés») o “latencia de prueba en milisegundos” perderán peso frente a los informes de auditoría formal, la diversidad de clientes de prueba y la resistencia a exploits por inteligencia artificial.
No cabe duda, que la competencia entre las zkEVMs ha dejado de ser una carrera de velocidad para convertirse en una competencia de blindaje institucional ya que la era de la potencia bruta ha quedado atrás; la era de la verificación matemática apenas comienza.