Saltar al contenido principal

Cysic Venus libera el código fuente del ZK Proving Stack haciendo económica la verificación de Ethereum en tiempo real

· 14 min de lectura
Dora Noda
Dora Noda
Software Engineer

Siete coma cuatro segundos. Ese es el tiempo que toma ahora generar una prueba de conocimiento cero (zero-knowledge proof) para un bloque completo de la red principal de Ethereum en un clúster de 24 GPUs que ejecutan el nuevo probador Venus de Cysic. Hace un año, la misma tarea requería 200 tarjetas de alta gama y diez segundos para alcanzar la paridad en tiempo real. El cierre de esa brecha — aproximadamente un orden de magnitud en el coste del hardware mientras se rompe por debajo del tiempo de slot de doce segundos de Ethereum — es el punto de inflexión más silencioso en la infraestructura cripto de este trimestre. Y está ocurriendo precisamente mientras la actualización PeerDAS de Fusaka abre de par en par las compuertas de la disponibilidad de datos, convirtiendo la generación de pruebas en el único cuello de botella restante entre Ethereum y un futuro de cien rollups.

El 8 de abril de 2026, Cysic publicó el código fuente de Venus, un backend de generación de pruebas optimizado para hardware construido sobre Zisk, la zkVM desarrollada originalmente por Polygon Hermez. El lanzamiento no fue promocionado con la coreografía habitual de desbloqueo de tokens. Se publicó en GitHub con una nota técnica que reivindicaba una mejora de extremo a extremo del nueve por ciento sobre Zisk 0.16.1 y una invitación a contribuir. Esa subestimación oculta la verdadera historia: la generación de pruebas ZK ha pasado discretamente de ser un proyecto de investigación a computación de consumo (commodity compute), y la pila de infraestructura que gane los próximos dos años no se parecerá a lo que la mayoría de los equipos de L2 están construyendo actualmente.

El cuello de botella que nadie valoró​

Durante tres años, el debate sobre la escalabilidad de Ethereum se ha centrado en la disponibilidad de datos. Blobs, EIP-4844, PeerDAS, danksharding — cada conversación sobre la hoja de ruta asumía que una vez que Ethereum pudiera publicar datos de rollups a bajo coste, las L2 heredarían la reducción de costes automáticamente. Esa suposición se rompió silenciosamente a finales de 2025. Fusaka se lanzó el 3 de diciembre de 2025, y PeerDAS llegó con ella, prometiendo 48 blobs por bloque y un camino hacia 12 000 transacciones por segundo. La disponibilidad de datos, por primera vez en la historia de Ethereum, dejó de ser la restricción más estrecha del sistema.

La nueva restricción más ajustada es la generación de pruebas. Los rollups ZK necesitan atestaciones criptográficas de que sus transiciones de estado son válidas. Generar esas pruebas es un trabajo de computación costoso que ocurre fuera de la cadena, en hardware especializado. Los rollups optimistas (Optimistic rollups), que resuelven disputas a través de una ventana de desafío en lugar de una prueba matemática, omiten este coste por completo — razón por la cual las principales L2 de ZK cuentan actualmente con aproximadamente 3300 millones de dólares en valor total bloqueado (TVL), mientras que los rollups optimistas han superado los 40 000 millones de dólares. La brecha de doce a uno no es un problema narrativo. Es un problema de economía de los probadores (prover economics).

La investigación interna de Succinct planteó las matemáticas sin rodeos. Probar cada bloque de Ethereum en tiempo real con SP1 Turbo requería un clúster de 160-200 GPUs RTX 4090 — un desembolso de capital de 300 000 a 400 000 dólares por clúster de pruebas, consumiendo electricidad a escala de red. Cualquier L2 que quisiera ejecutar su propio probador se enfrentaba a la elección entre centralizar la generación de pruebas con un puñado de operadores que pudieran permitirse esa infraestructura, o aceptar latencias de prueba de varios minutos que arruinaban la experiencia del usuario. Ninguna opción ofrecía el "ZK endgame" que Vitalik ha estado esbozando desde 2021.

Cómo funciona realmente Venus​

Venus es interesante menos por lo que es que por lo que representa. Cysic no inventó un nuevo sistema de pruebas. La criptografía subyacente proviene de Zisk, que desciende de años de trabajo de Jordi Baylina y el equipo de Polygon. Lo que hizo Cysic fue rediseñar la capa de ejecución para que la generación de pruebas se convierta en un grafo de computación explícito — un diagrama acíclico dirigido de operaciones que se pueden programar de extremo a extremo en hardware heterogéneo.

En la práctica, esto significa que la sobrecarga de sincronización CPU-GPU que dominaba las zkVM anteriores se optimiza en la capa de programación (scheduling layer). El probador no se detiene a esperar a que un kernel de GPU termine antes de enviar la siguiente operación. El grafo se conoce de antemante, por lo que el movimiento de datos, la asignación de memoria y los lanzamientos de kernel pueden procesarse en pipeline. Ahí es donde reside la mejora del nueve por ciento sobre Zisk 0.16.1 — no en un avance en matemáticas polinómicas, sino en una victoria de ingeniería en cómo las matemáticas tocan el silicio.

Más importante aún, el mismo grafo de computación se ejecuta en FPGAs y, eventualmente, en el ASIC ZK dedicado de Cysic. La empresa ha afirmado públicamente que su ASIC puede realizar 1,33 millones de evaluaciones de la función hash Keccak por segundo, una mejora de cien veces sobre las cargas de trabajo típicas de GPU, con una eficiencia energética aproximadamente cincuenta veces mejor. Las estimaciones internas sugieren que una sola unidad ZK Pro diseñada para este propósito podría reemplazar aproximadamente 50 GPUs consumiendo una fracción de la energía. Si esos números se mantienen en producción, la economía de la generación de pruebas pasará de alquilar almacenes llenos de tarjetas RTX a operar un rack compacto de chips especializados.

La carrera por la generación de pruebas en menos de doce segundos​

Venus no llegó en el vacío. Durante los últimos doce meses, tres equipos han convergido en el mismo hito: probar bloques de Ethereum en menos del tiempo de slot de doce segundos que define la verificación en tiempo real.

Succinct lo logró primero en público. SP1 Hypercube, anunciado en mayo de 2025, probó el 93 por ciento de una muestra de 10 000 bloques de la red principal en tiempo real utilizando un clúster de 200 tarjetas RTX 4090. Una revisión de noviembre de 2025 elevó la tasa de éxito al 99,7 por ciento utilizando solo dieciséis GPUs RTX 5090 — una reducción del coste de hardware de aproximadamente el 90 por ciento en seis meses. El sistema ya está activo en la red principal de Ethereum, produciendo pruebas para cada bloque a medida que se minan.

La cifra de Cysic es aún más ajustada en cuanto a costes. Siete coma cuatro segundos con 24 GPUs sitúa la generación de pruebas de extremo a extremo cómodamente dentro del tiempo de slot en hardware comercial. El lanzamiento actual de Venus es de código abierto, no está auditado para producción y sigue en desarrollo activo. Pero la trayectoria de ingeniería sugiere que una prueba de menos de diez segundos en un clúster de consumo es ahora una cuestión de ajuste de software más que de arquitectura fundamental.

Los costes por prueba se han desplomado a la par. Los puntos de referencia de la industria sitúan el mejor coste actual en aproximadamente dos centavos de dólar por prueba de bloque de Ethereum utilizando hardware 16x RTX 5090. El objetivo para la adopción masiva es inferior a un centavo. Hace un año, esa misma prueba costaba cerca de un dólar. Hace tres años, era literalmente antieconómico — las tarifas de gas en el rollup liquidado no cubrirían la factura eléctrica del probador. Este es el tipo de curva de costes que acaba silenciosamente con categorías enteras de productos, y se está acelerando.

Las guerras de los mercados ya están aquí​

Una generación de pruebas barata y rápida no se vuelve accesible automáticamente. Alguien tiene que operar el hardware, emparejar la demanda, poner precio a los trabajos de prueba y liquidar los pagos. Tres apuestas arquitectónicas diferentes compiten ahora por esa capa de middleware.

Boundless, lanzada en mainnet por RISC Zero en septiembre de 2025, opera un mercado de subastas. Los operadores de GPU pujan para producir pruebas y el sistema dirige el trabajo al probador calificado de menor costo. El modelo se inspira en los mercados de cómputo spot como AWS Spot Instances y promete llevar los costos de las pruebas hacia el costo marginal del hardware. Boundless agregó recientemente la liquidación en Bitcoin, lo que permite que las pruebas de Ethereum y Base se verifiquen en la capa base de Bitcoin — una expansión de nicho pero significativa de dónde pueden residir las atestaciones ZK.

Prover Network de Succinct toma una apuesta diferente. En lugar de una subasta pura, opera un protocolo de enrutamiento con probadores de alto rendimiento aprobados que manejan cargas de trabajo específicas. Cysic se unió a la red como un operador de probadores multinodo, ejecutando clústeres de GPU ajustados para el tráfico de producción de SP1 Hypercube. El acuerdo sugiere que Succinct ve valor en las garantías de fiabilidad y latencia que un mercado spot puro no puede proporcionar para los rollups orientados al consumidor.

La propia Cysic lanzó su mainnet y el token CYS el 11 de diciembre de 2025, y desde entonces ha procesado más de diez millones de pruebas ZK integradas con Scroll, Aleo, Succinct, ETHProof y otros. La propuesta de la red es "ComputeFi" — convertir la capacidad de generación de pruebas en un activo líquido onchain que los operadores pueden tokenizar y poner en stake. Si esto se convierte en un tercer mercado importante o se asienta en un papel de proveedor para las dos redes más grandes es la pregunta abierta de 2026.

Por qué esto es importante para la economía de los rollups​

El punto clave se encuentra tres capas por debajo de las noticias de infraestructura, en la economía unitaria de las L2 reales. Hoy en día, un rollup zkEVM gasta una fracción significativa de sus costos por transacción en la generación de pruebas. Esos costos se trasladan a los usuarios como tarifas de gas o son absorbidos por el operador del rollup como margen. De cualquier manera, amplían la brecha entre lo que un rollup ZK puede cobrar y lo que un rollup optimista cobra por la misma transacción.

Si los costos de las pruebas caen a niveles de menos de un centavo y la latencia de la generación de pruebas encaja dentro del tiempo de slot de Ethereum, esa brecha se cierra. Un rollup ZK deja de necesitar cobrar una prima de seguridad. La experiencia del usuario se vuelve indistinguible de la de un rollup optimista — excepto que los retiros se liquidan en minutos en lugar de la ventana de desafío de siete días que todavía grava con fricción cada puente optimista.

Ese cambio es estructuralmente importante porque los mayores fondos de liquidez institucional todavía citan el retraso en el retiro de los rollups optimistas como una razón para permanecer en L1. La generación de pruebas ZK en tiempo real con precios impulsados por el mercado elimina el último argumento funcional contra la arquitectura de rollup ZK-first. Cada equipo de L2 que actualmente utiliza un stack optimista se enfrentará a una revisión técnica seria en 2026. Varios migrarán, o al menos lanzarán un fork ZK de su secuenciador.

Qué podría fallar todavía​

El lanzamiento de Venus es honesto sobre sus limitaciones. El código no ha sido auditado para su uso en producción. Ejecutar software de probador no auditado en un rollup en vivo es el tipo de decisión que arruina carreras si un error de solidez crea una prueba inválida que el verificador acepta. Se espera que el despliegue en producción se retrase respecto al lanzamiento de código abierto por meses, no semanas.

La historia del hardware también concentra el riesgo. Si la generación de pruebas basada en ASIC ofrece la ganancia de eficiencia prometida de cincuenta veces, un puñado de fabricantes dominará el hardware de los probadores de la misma manera que Bitmain dominó la minería de Bitcoin. Esa dinámica va en contra de la narrativa de descentralización que justificó los rollups ZK en primer lugar. La hoja de ruta de ASIC de Cysic es una respuesta a un problema de cómputo, pero plantea una nueva pregunta sobre quién posee los chips que aseguran la plataforma de contratos inteligentes más grande del mundo.

Finalmente, la generación de pruebas en tiempo real solo importa si el resto del stack se mantiene al día. El muestreo de disponibilidad de datos a través de PeerDAS debe funcionar realmente a escala de producción, no solo en pruebas de rendimiento de testnet. La descentralización del secuenciador sigue siendo un problema no resuelto en todas las L2 principales. La generación de pruebas es necesaria pero no suficiente para el objetivo final, y la industria tiene un historial de declarar la victoria en una capa mientras ignora discretamente los fallos en las capas adyacentes.

La inflexión a corto plazo​

Al alejarnos, el patrón se vuelve claro. En mayo de 2025, la generación de pruebas de Ethereum en tiempo real requería un clúster de GPU de $ 400,000 y un presupuesto de investigación de nueve cifras. En abril de 2026, se ejecuta en 24 tarjetas comerciales con software de código abierto. Los próximos dieciocho meses comprimirán aún más la curva de costos — hacia la economía de los ASIC, hacia precios de centavos por prueba, hacia la generación de pruebas como un servicio público en lugar de un proyecto de infraestructura a medida.

Para los desarrolladores, la implicación práctica es que las arquitecturas basadas en ZK que no eran económicas en 2024 valen la pena ser reevaluadas ahora. Los protocolos de transacciones que preservan la privacidad, la inferencia de IA verificable, la mensajería entre cadenas con seguridad matemática en lugar de multifirma, la identidad onchain con divulgación de credenciales de conocimiento cero — todo esto estaba detrás de un muro de costos de generación de pruebas que ya no existe.

El lanzamiento de Cysic Venus, leído por sí solo, es una modesta actualización de ingeniería para un backend de generación de pruebas de código abierto. Leído en el contexto del lanzamiento de Hypercube de Succinct en mainnet, Boundless ejecutando subastas de pruebas en vivo y el PeerDAS de Fusaka eliminando el cuello de botella de la disponibilidad de datos — es el punto donde la infraestructura ZK deja de ser la restricción y comienza a ser el sustrato. Cada tesis de rollup escrita antes de esa transición necesita una reescritura.

BlockEden.xyz proporciona infraestructura de datos y RPC de grado empresarial en más de 27 cadenas, incluidas las L2 de Ethereum, Scroll y Aptos. A medida que la generación de pruebas en tiempo real remodela el panorama de las L2, explore nuestro marketplace de API para construir sobre bases confiables para la era nativa de ZK.

Fuentes:

Share on Twitter