ZK Prueba: el "Plan Manhattan" de Ethereum

Autor original: @0xJaehaerys

Compilado por: LlamaC

“Mensaje de recomendación: Este artículo presenta cómo las pruebas de conocimiento cero (ZK-Proofs) están creando un nuevo mercado de computación verificable valuado en decenas de miles de millones de dólares, así como las ventajas tecnológicas de Succinct y su token nativo $PROVE en este campo, su posicionamiento en el mercado y los recientes avances relacionados con los datos ecológicos. Como tendencia de vanguardia, su FDV ha aumentado significativamente, por favor, realiza tu propia investigación.”

Introducción

Este artículo de Uma Roy, cofundadora de Succinct, marca un cambio de paradigma. No proclama el nacimiento de otro token, sino de una nueva economía impulsada por datos y que está surgiendo en tiempo real: la economía de computación verificable. Durante años, la tecnología de conocimiento cero (ZK) ha sido vista como el final teórico de la escalabilidad de blockchain. Hoy en día, se ha convertido en una realidad ingenieril, abriendo una de las competencias de infraestructura más importantes de la próxima década.

El impulso de esta transformación proviene del “Plan Manhattan” de Ethereum, como lo llama David Hoffman: una reestructuración fundamental del protocolo que, sin sacrificar la descentralización, aumenta su capacidad de procesamiento varias veces. Hasta hace poco, esta era una visión lejana. Pero una serie de actualizaciones estratégicas del protocolo y avances tecnológicos clave la han convertido en una hoja de ruta ejecutable.

Siempre he pensado que lo que estamos haciendo con ZK, especialmente el ZK-EVM que eventualmente se aplicará a Ethereum, es un poco como el proyecto Manhattan de Ethereum… Mientras Ethereum investiga ZK en secreto para conservar todas esas cosas que hoy están llevando a Wall Street a la cadena, también están desarrollando esta tecnología con un gran potencial de futuro.

Este informe realiza un análisis fundamental de este mercado emergente de miles de millones de dólares. El informe explicará por qué la demanda de pruebas ZK no es especulativa, sino estructuralmente inevitable; cuantificará la magnitud de esta oportunidad económica; y detallará cómo empresas como Succinct, centradas en la plataforma, pueden convertirse en la infraestructura de esta nueva era de computación verificable gracias a su token nativo $PROVE.

La necesidad de un nuevo mercado

1.1 Los requisitos inevitables de Gigagas y Teragas

Ethereum está experimentando una gran transformación, impulsada por una hoja de ruta de desarrollo central que no es una suposición arbitraria, sino un proceso evolutivo establecido e inevitable. Esta reestructuración del protocolo en sí crea una demanda estructural, predecible y de crecimiento exponencial para las pruebas de conocimiento cero (ZK). Para lograr un rendimiento a escala global, Ethereum está destinado a convertirse en el primer y más grande consumidor dentro de un nuevo y verificable ecosistema de computación valorado en miles de millones.

Esta demanda surge de una visión clara y grandiosa a largo plazo. La hoja de ruta de Gigagas tiene como objetivo expandir el rendimiento de la capa de ejecución L1 a 1 Ggas/s, lo que equivale a aproximadamente 10,000 TPS. Sin embargo, como señaló el investigador de la Fundación Ethereum, Justin Drake, esto es solo “la punta del iceberg”. El objetivo final es lograr un ecosistema “Teragas” con un rendimiento total de 1 Tgas/s (aproximadamente 10 millones TPS) a través de la colaboración de aproximadamente 1,000 L2. En este modelo, el 99.9% del volumen de transacciones ocurre en L2, mientras que L1 evoluciona para convertirse en el centro definitivo de seguridad compartida y liquidaciones. Como dijo Drake:

“10,000 TPS no es nada. Para servir al mundo, necesitamos alcanzar un nivel de 10 millones de transacciones por segundo y 1 teragas por segundo. ¿Cómo logramos este objetivo? La respuesta es L2.”

Las propuestas como EIP-7938 establecieron formalmente este tipo de escalado exponencial, proponiendo que el límite de Gas de L1 aumente automáticamente 3 veces cada año. Este mecanismo tiene como objetivo lograr un crecimiento estable y predecible, creando así una curva de demanda confiable para los recursos computacionales necesarios para garantizar la seguridad de la red.

Esta transformación será gestionada a través de un plan de “incorporación gradual” que durará varios años, el cual reduce de manera ordenada el riesgo del proceso. El plan avanza en diferentes etapas y, finalmente, requerirá de manera obligatoria el uso de pruebas ZK para validar la validez de los bloques antes de 2027, convirtiendo así la generación de pruebas en una función central e indispensable del protocolo. Al codificar directamente esta demanda en la evolución del protocolo, Ethereum está efectivamente estableciendo una política industrial para el ámbito ZK, proporcionando la señal económica necesaria para justificar una inversión de capital significativa en la infraestructura futura.

1.2 Pregunta de finalidad: Vitalik Buterin sobre por qué ZK es crucial para L2

La urgencia de esta transformación va mucho más allá de L1. Aborda el principal cuello de botella en el actual ecosistema de L2: la fricción y el riesgo derivados de la lentitud en la finalización de los retiros. Como dijo recientemente Vitalik Buterin, cofundador de Ethereum, lograr tiempos de retiro rápidos es un objetivo clave, y para L2, “incluso más importante que la segunda fase”.

En la era de ZK 1.0, las empresas que mencionaste están vinculando la tecnología ZK con casos de uso comerciales… ZKSync es tanto una empresa L2 como una empresa ZK… Lo que hacemos es que podemos permitir que aquellas empresas que no saben nada sobre ZK, como Optimism o Arbitrum, puedan aprovechar las ventajas de ZK, ya que ahora se ha vuelto tan simple, y puedan centrarse en lo que realmente importa, como la expansión del negocio o la adopción de usuarios.

En una explicación detallada, Buterin destacó el problema central del diseño de Optimistic Rollup que es predominante en la actualidad:

“Esperar una semana para retirar fondos es realmente demasiado tiempo para las personas, incluso para un puente entre cadenas basado en intenciones… Si los proveedores de liquidez deben esperar una semana, el costo de sus fondos se volverá excesivo. Esto incentiva enormemente a las personas a recurrir a soluciones cuyos supuestos de confianza son inaceptables (como multifirma/MPC), lo cual va en contra del propósito para el que existe L2.”

La solución que propuso es cambiar de manera decisiva hacia un sistema de prueba de validez impulsado por la tecnología ZK. Aunque reconoce que ha habido compensaciones históricas, enfatiza el cambio reciente en el panorama tecnológico:

“Históricamente, la tecnología de pruebas ZK ha sido inmadura y costosa, lo que ha hecho que las pruebas optimistas sean una opción sensata y segura. Pero recientemente, esta situación está cambiando rápidamente.”

En su opinión, al reducir el tiempo de retiro nativo a menos de una hora en el corto plazo y lograr finalmente un tiempo de retiro de 12 segundos en el medio plazo, la prueba ZK puede “fortalecer aún más la posición de Ethereum L1 como el lugar predeterminado para la emisión de activos y el centro económico del ecosistema de Ethereum”. Este reconocimiento de alto nivel hará que la transición a ZK no se vea simplemente como una preferencia tecnológica, sino como una necesidad estratégica para la seguridad y la integridad económica de todo el ecosistema de Ethereum.

Esta flexibilidad no solo atrae a desarrolladores de software, sino también a fabricantes de hardware profesionales. La empresa líder en aceleración de hardware ZK, Cysic, anunció que su próximo “ASIC compatible con zkVM” se lanzará y admitirá de forma nativa SP1. Esta empresa de hardware especializada planea ofrecer soporte nativo, lo que indica la fuerte confianza de la industria en SP1 como un potencial estándar de computación verificable, cerrando la brecha entre el software de código abierto y los chips dedicados.

Dos, cuantificar oportunidades de miles de millones de dólares

2.1 Economía unitaria de la prueba

La viabilidad económica de un ecosistema ZK a gran escala depende del costo unitario de probar una cantidad dada de cálculos. Aunque los primeros sistemas ZK eran notoriamente caros, la trayectoria de desarrollo similar a la “Ley de Moore” ha hecho que sus costos disminuyan drásticamente. En el evento “Frontiers” organizado por Paradigm, John de Succinct comentó que el costo promedio de prueba por transacción se sitúa entre 0.01 centavos y 0.1 centavos, describiendo este costo como “prácticamente insignificante en comparación con otros costos como DA”.

En mi opinión, el mecanismo de incentivos es muy simple. Al igual que hoy, se basa en las comisiones y el MEV… El costo es de aproximadamente 0.01 centavos. Siempre que los usuarios individuales estén dispuestos a pagar esta tarifa, es suficiente para compensar el costo de la prueba.

Se espera que este costo continúe disminuyendo. Justin Drake, investigador de la Fundación Ethereum, hizo una predicción clave, anticipando que, con las continuas mejoras exponenciales en hardware y software, el costo a largo plazo y a escala de la prueba L1 se estabilizará entre 0.0001 y 0.001 dólares por Mgas/s (millones de gas por segundo). Esta rápida disminución de costos está transformando ZK de una tecnología de nicho y costosa a una herramienta práctica comercializada, sentando las bases para un enorme mercado.

2.2 Tamaño del mercado - Predicción ascendente (perspectiva conservadora)

Un modelo financiero conservador y ascendente estima los ingresos anuales del mercado de pruebas ZK combinando el crecimiento del volumen esperado con las estimaciones de costos. Según este modelo, se espera que los ingresos no altruistas de las pruebas L1 comiencen a aparecer a partir de 2027, cuando el protocolo requerirá obligatoriamente el uso de pruebas ZK para validar la efectividad de los bloques.

Si imaginas que el costo de cada transacción es de apenas 0.1 centavos, y que estás manejando un TPS a nivel de Solana, como 4000-5000 transacciones por segundo, entonces al multiplicar todos estos números, la demanda de prueba resultante es de aproximadamente 100 millones de dólares al año.

Tabla 1: Predicción de demanda e ingresos de ZKP en el ecosistema L2 (2025-2030)

Metodología — Predicción de demanda y ingresos de ZKP en el ecosistema L2 (2025–2030)

• Cantidad de L2 y tasa de cobertura ZK
• Comenzando con 25 L2 en 2025, expandiéndose a 1000 L2 para 2030.
• La tasa de cobertura representa la cuota de L2 basada en ZK que creció del 50% al 85%.
• El rendimiento promedio de cada ZK L2
• Establecer igual a la capacidad de L1 en el mismo año para cumplir con la suposición de “agregación teragas” (es decir, la capacidad de cada L2 aumenta con la expansión de la capa base).
• Esta es una suposición optimista, por simplicidad, comprime la distribución del rendimiento de cola pesada en un valor promedio uniforme.
• Cálculo del volumen total de transacciones:

TotalThroughput(Mgas/s)=(L2Count×CoverageRate)×AvgThroughputperZKL2

• Suposición de precios
• El precio inicial por Mgas es de 0.0104 dólares (referencia Katana, 2025).
• Impulsados por la eficiencia del hardware, la competencia en el mercado de validadores y la optimización a nivel de protocolo, los costos disminuirán drásticamente a 0.0004 dólares antes de 2030.
• Utilizar el método de interpolación lineal de precios entre el año de inicio y el año de finalización.
• Ingreso anual:

IngresosAnuales=TotalDeProducción×PrecioPorMgas×31,536,000(segundos/año)

Tabla 2: Valor total del mercado potencial de ZK Proof (TAM) ( de 2025 a 2030, método de abajo hacia arriba )

• Crecimiento de la cantidad de L2 — Comenzando con 25 L2 en 2025, expandiéndose linealmente a 1,000 en 2030.
• Tasa de cobertura ZK — Solo una parte de L2 utiliza pruebas ZK: 50% en 2025, aumentando al 85% para 2030.
• El rendimiento promedio de cada ZK L2 - establecido como igual al rendimiento de L1 en el mismo año (esta es una suposición optimista). Esto es consistente con la lógica de la hoja de ruta “teragas”, es decir, que L2 maduros alcanzarán la capacidad de L1.
• Total de rendimiento L2 — La fórmula de cálculo es: Cantidad de ZK L2 × Rendimiento promedio de cada ZK L2
• Donde, la cantidad de ZK L2 = total de L2 × tasa de cobertura.
• Precio por millón de Gas — Se fijará en 0.0104 dólares a principios de 2025 (basado en el costo de prueba de Katana L2) y disminuirá linealmente hasta 0.0004 dólares en 2030, para reflejar las mejoras en eficiencia aportadas por zkVM, hardware y competencia de mercado.
• Valor total potencial del mercado L2 anual:

TotalL2Throughput(Mgas/s)×PriceperMgas×SecondsperYearTotalL2Throughput(Mgas/s)×PriceperMgas×SecondsperYear

• Mercado total potencial anual de L1 — A partir de 2027 (cuando se inicie la prueba de prueba de L1), los precios serán los mismos que el $/Mgas de L2 de ese año, y el rendimiento de L1 se basará en la hoja de ruta de escalabilidad de Ethereum.
• Otras necesidades — Se estima de manera conservadora que representan el 10% del mercado total potencial de L2, abarcando puentes ZK, coprocesadores y aplicaciones verificables (ZKML, privacidad en cadena).
• Capitalización de mercado total potencial: Capitalización de mercado total potencial de L1 + Capitalización de mercado total potencial de L2 + Otras demandas

2.3 Estimación del tamaño del mercado: visión de arriba hacia abajo (Fin de Teragas)

Otro modelo de arriba hacia abajo, basado en el mapa de ruta de Ethereum “Gigagas” y “Teragas”, indica que el tamaño del mercado potencial podría ser un orden de magnitud mayor.

Tabla 3: Predicción del rendimiento de Gas L1 de Ethereum (2027-2030)

Tabla 4: Pronóstico del tamaño del mercado y los ingresos de ZK Proof (de arriba hacia abajo, 2027-2030)

• Metodología (para esta tabla de arriba hacia abajo)
• L1 rendimiento — Objetivo de la hoja de ruta de escalado basada en Ethereum: 37.5 → 1,000 Mgas/s (2027–2030).
• Cantidad L2 — Aumentará de 300 a 1,000 durante el período de 2027 a 2030.
• Tasa de cobertura ZK — Solo una parte de L2 utiliza pruebas ZK, y esa proporción ha aumentado del 60% al 85%.
• El rendimiento promedio de cada ZK L2 - establecido como igual al rendimiento de L1 del mismo año (por ejemplo, 37.5 Mgas/s en 2027 y 1,000 Mgas/s en 2030), para cumplir con la suposición de rendimiento total a nivel teragas.
• Precio por Mgas — Disminuye con la mejora del hardware de los probadores y la competencia en el mercado: 0.00075 dólares (2027) → 0.00040 dólares (2030).
• L2 Capacidad total de procesamiento:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• Fórmula de ingresos: L1
• Ingreso = L1_tasa de transferencia × Precio × Segundos por año
• Ingresos L2 = AggreGate_L2_throughput × Precio × Número de segundos por año
• Mercado total = Ingresos L1 + Ingresos L2

2.4 ¿Quién paga por la prueba?

Esta demanda de miles de millones de dólares no será financiada por la inflación del protocolo, sino que será respaldada por modelos de ingresos robustos y diversificados de L2 y cadenas de aplicaciones. Como se detalla en un artículo de análisis de Conduit, los proyectos con su propia cadena tienen al menos siete palancas de ingresos diferentes, asegurando que puedan cubrir los costos operativos de las pruebas ZK.

Tabla 5: Análisis comparativo de flujos de ingresos L2

Quien tiene la cadena tiene el mundo: 7 grandes palancas de ingresos de Rollup

Tres, las ventajas técnicas de Succinct

3.1 La prueba en tiempo real se ha hecho realidad

Si no hubiera habido una serie de importantes avances recientes en el rendimiento de las pruebas ZK, toda la visión de “Gigagas” seguiría en una fase teórica. Como dijo John del equipo de Succinct, lograr “pruebas en tiempo real”—es decir, la capacidad de generar pruebas ZK para cualquier bloque de Ethereum en 12 segundos—es “el momento del alunizaje en el campo de ZK”.

Esta transformación no solo significa una mejora en el rendimiento, sino que también es una revolución en la accesibilidad para los desarrolladores. Como explicó Uma Roy, cofundadora de Succinct, el desarrollo de ZK solía requerir un “equipo de 40 doctores en criptografía” y cientos de millones de capital para crear un único sistema de pruebas específico para aplicaciones. Con la llegada del zkVM universal, este modelo ha sido completamente roto. Roy afirmó: “Básicamente, pasas de necesitar 40 doctores en criptografía y decenas de millones o cientos de millones en costos de I+D, a un proyecto que se puede completar en un fin de semana.”

A través de dos poderosas analogías en el podcast, se puede entender mejor este avance:

• De ASIC a CPU: toda la industria está pasando de circuitos integrados de aplicación específica (ASIC), que solo pueden resolver un problema, a modelos de CPU generales, es decir, un motor como el SP1 que puede ejecutar de manera demostrable cualquier programa.
• Modelos básicos de criptografía: La funcionalidad de SP1 es similar a la de los modelos básicos en el campo de la inteligencia artificial. Así como ChatGPT hace que la IA sea accesible a través del inglés puro, SP1 también facilita el uso de ZK mediante código estándar. “Al igual que en la inteligencia artificial y los modelos básicos, introduces inglés y puedes usar IA,” señala Roy, “aquí, solo necesitas introducir código común y puedes usar ZK, así de simple.”

El SP1 HyperCube de Succinct es la prueba definitiva de este logro. En una demostración histórica, el sistema demostró con éxito el 93% de todos los bloques de la red principal de Ethereum en tiempo real en 12 segundos. El 7% restante de los bloques tardó más tiempo, no por limitaciones técnicas, sino porque algunos precios de operaciones en la tabla de tarifas de Gas de EVM (como la precompilación de Blake2) estaban mal fijados. Este hito confirma claramente que la prueba en tiempo real es factible desde el punto de vista ingenieril.

3.2 Motor progresivo: SP1 zkVM

La esencia de la pila tecnológica Succinct es SP1, una máquina virtual de conocimiento cero de alto rendimiento y de código abierto (zkVM). SP1 es un activo estratégico, diseñado para atender la más amplia gama de tareas de cálculo verificables, llevando a la industria hacia la era “ZK 2.0”.

Creo que el exitoso lanzamiento del token $PROVE casi valida que zKVM se convierta en una clase de activo invertible… Es bastante sorprendente, sabes, en el primer día de lanzamiento, su valoración completamente diluida en realidad superó a proyectos de ZK Rollup como ZKSync, Scroll y Starknet.

“Nuestro objetivo es eliminar toda la complejidad de la criptografía, permitiendo a los desarrolladores 'escribir código ordinario' en lenguajes estándar como Rust y obtener pruebas ZK.”

• Fácil de usar: Como un zkVM RISC-V, SP1 permite a los desarrolladores aprovechar bibliotecas de código existentes y probadas en combate, así como lenguajes familiares, sin necesidad de aprender criptografía compleja.
• Versatilidad: Elegir RISC-V como conjunto de instrucciones objetivo no solo sigue la amplia tendencia de todo el ecosistema ZK, sino que lo más importante es que se alinea con la hoja de ruta a largo plazo de Ethereum L1.
• Trayectoria de rendimiento: La mejora continua de SP1 presenta una tendencia “similar a la ley de Moore”. El tiempo de prueba se ha reducido de decenas de minutos en 2023 a apenas unos segundos en 2025, y su velocidad de mejora supera con creces la tasa de crecimiento de la demanda computacional del 300% anual propuesta en la hoja de ruta de Ethereum.

La versatilidad del SP1 no se limita a la implementación completa de ZK-rollup. Su potente capacidad como zkVM universal ha dado lugar a un diseño híbrido novedoso para satisfacer necesidades de mercado específicas. Un ejemplo típico es su aplicación en pruebas de fallo de conocimiento cero. Proyectos como Facet utilizan sistemas basados en OP Succinct Lite, trasladando su función de transformación de estado a Rust (a través de Kona y REVM) y compilándolo en archivos binarios SP1 ELF. Esto les permite ofrecer tanto el “escenario ideal” de bajo costo de los sistemas optimistas como mantener la característica de “resolución de transacción única” de las pruebas ZK en caso de desafíos. Esto demuestra la capacidad del SP1 para servir a un modelo de seguridad criptográfica más amplio, ampliando así su potencial en el mercado.

Con la incorporación de validadores cada vez más maduros y profesionales, la efectividad de este modelo de mercado está siendo verificada en tiempo real. Un avance importante es que @cysic_xyz (una empresa líder en aceleración de hardware ZK) ha sido lanzada como validador de múltiples nodos en la red de validadores Succinct. Cysic no es un proveedor de computación general, ellos “desarrollan de manera completamente autónoma toda la pila tecnológica”, incluyendo hardware personalizado diseñado específicamente para cargas de trabajo ZK y clústeres de GPU de alto rendimiento.

3.3 Economía de la prueba en tiempo real

Este nivel de rendimiento no solo es técnicamente viable, sino que también es económicamente alcanzable. Establecer un clúster de pruebas locales capaz de realizar pruebas en tiempo real, se estima que su gasto de capital está en

100,000 a 300,000 dólares. Esto es mucho más rentable que usar proveedores de servicios en la nube, porque según John, “NVIDIA en realidad debilitará el rendimiento de las tarjetas gráficas… lo hace intencionalmente para obtener mayores ganancias”.

Esta viabilidad está en línea con la iniciativa de “Prueba de Familia es Imperativa” de la Fundación Ethereum, que establece un límite de consumo de energía de ≤10 kilovatios. Justin Drake ya ha señalado su objetivo personal de demostrar la viabilidad de este movimiento:

“Esto es básicamente lo que espero lograr este año: probar en tiempo real cada bloque de Ethereum… y hacerlo desde casa.”

Cuatro, todo se puede ZKizar

4.1 Espacio de diseño de la aplicación

Aunque la expansión de Ethereum es un mercado de decenas de miles de millones de dólares en la actualidad, la verdadera oportunidad a largo plazo radica en la “ZKificación de todo”.

Como señaló John del equipo de Succinct, una zkVM universal significa que “las mejoras que hemos realizado para la prueba en tiempo real de Ethereum también serán aplicables a otros cálculos.”

4.2 Estudios de caso de aplicaciones sucintas

Succinct de SP1 ya ha proporcionado soporte para diversas aplicaciones diferentes:

• Intercambio verificable (Hibachi) – Construir un intercambio de contratos perpetuos priorizando la privacidad utilizando ZK, donde la integridad del libro de órdenes fuera de la cadena puede ser verificada criptográficamente.
• Interoperabilidad entre cadenas (Celestia) – Utiliza la tecnología de Succinct para implementar “puentes perezosos”, es decir, utiliza pruebas ZK para verificar de manera segura y eficiente el estado de otras cadenas.

Hemos estado investigando un concepto llamado “puente inerte”… Si no hay un entorno de ejecución en la cadena, es difícil para tu cadena verificar el estado de otras cadenas. Por lo tanto, hemos estado trabajando arduamente para lograr esto a través de pruebas ZK.

• DeFi L2s (@katana) – L2 Katana enfocado en DeFi, lanzado en Polygon a través de Conduit, que utiliza la tecnología de prueba ZK Succinct para lograr liquidaciones rápidas y seguras, y se conecta al Agglayer de Polygon.
• Infraestructura básica de DeFi (Lido): Lido, como líder en el ámbito de la participación líquida, está utilizando SP1 en su red de prueba para soportar un “oráculo de contabilidad sin confianza”. Este sistema mejora la seguridad al rastrear de manera verificable el saldo de ETH apostado, sin depender de administradores de confianza.
• Puente intercadena avanzado (Across): El protocolo Across colabora con Succinct para generar pruebas ZK en la capa de consenso de Ethereum. Esto les permite conectar de manera segura y eficiente el estado de Ethereum a numerosas otras cadenas, lo cual es una función clave para lograr la interoperabilidad.
• Rollups imbatibles (Facet): Facet es el primer rollup de segunda fase universal, que proporciona un fuerte caso de estudio para la adopción de la tecnología Succinct. Para lograr su objetivo de convertirse en un “Rollup imbatible” sin clave de administrador, Facet eliminó el puente oficial y los riesgos de seguridad asociados. No utiliza el token de gas del puente, sino que utiliza un token nativo (FCT), cuya cantidad de minería es proporcional a la cantidad de L1 ETH destruido cuando los usuarios publican transacciones. Esta arquitectura está asegurada por un sistema híbrido de prueba de fraude ZK construido sobre la tecnología Succinct. Cuando una propuesta de raíz de estado es impugnada, se utiliza SP1 zkVM para generar una prueba ZK que resuelve claramente la disputa. Esto permite que Facet se mantenga como una “plataforma ligera”, proporcionando computación pura e imbatible, mientras deja la gestión de activos y las funciones de puente a un ecosistema competitivo compuesto por aplicaciones elegidas por los usuarios.

4.3 Frontera en constante expansión: Ingresos de puentes ZK entre cadenas, coprocesadores y aplicaciones verificables

El modelo de mercado de abajo hacia arriba también incluye una categoría de “otra demanda” de rápido crecimiento, que abarca puentes ZK, procesadores ZK y otras aplicaciones verificables.

Se estima que, para 2030, los ingresos anuales en este campo superarán los 126 millones de dólares.

Con la madurez de ZKML y las soluciones de privacidad en cadena, este campo podría expandirse aún más.

Cinco: Succinct y $PROVE

5.1 Red de validadores: un mercado genérico y sin permisos

La estrategia central de Succinct no se limita a construir un mejor probador, sino a crear un mercado de autoridad para la prueba (proving). Este suministro global no es una suposición, sino que está compuesto por operadores experimentados. La red ya ha atraído a numerosos probadores que normalmente son “ex-mineros”, la mayoría de los cuales se encuentran en Asia, que cuentan con infraestructura lista, energía de bajo costo y GPU de consumo disponibles.

Su mercado bilateral conecta la oferta global de potencia de cálculo con la creciente demanda de pruebas ZK a través de un sistema de subastas en tiempo real.

Estamos construyendo un mercado bilateral: la red de probadores Succinct. Está diseñada para comercializar el proceso de generación de pruebas ZK.

Esta dinámica competitiva es el motor de la eficiencia del mercado, ejerciendo una presión continua a la baja sobre los precios y los retrasos, lo que beneficia directamente a los consumidores.

5.2 $PROVE token: el motor económico de la red

Todo el modelo económico del ecosistema Succinct está condensado en su token nativo $PROVE.

El token tiene dos funciones principales de simbiosis:

• Pago – $PROVE es la única moneda en el mercado de esta red. Todas las tarifas generadas por las pruebas deben pagarse en $PROVE , estableciendo así una demanda de transacción directa para este token.
• La garantía de seguridad a través de la participación – Para participar en la subasta de pruebas y ganar ingresos, los validadores necesitan apostar $PROVE como un depósito económico. Esto es crucial para la fiabilidad de la red, ya que está destinado a prevenir ataques maliciosos (griefing), es decir, cuando un validador se compromete a generar una prueba pero finalmente no la entrega, lo que causa graves retrasos en aplicaciones como L2. Como dijo Roy, “los validadores no deberían poder realizar ataques maliciosos… eso sería una experiencia de usuario muy mala”. Si un validador no cumple con su compromiso, parte de su apuesta será confiscada para asegurar que “asuman responsabilidad”.

5.3 Rueda de acumulación de valor

Tabla 6: Modelo de utilidad y acumulación de valor del token $PROVE

5.4 Datos del primer día: implementación de la evidencia

La efectividad de este modelo económico se demostró el primer día de lanzamiento de la red.

La cofundadora Uma Roy informó en una publicación pública:

Roy señaló que, a medida que más de 35 clientes existentes en el clúster privado de Succinct se preparan para hacer la transición a la red pública, la demanda de prueba seguramente “experimentará un crecimiento parabólico.”

conclusión

La grandiosa hoja de ruta de escalado de Ethereum combinada con la madurez de la tecnología de conocimiento cero está creando uno de los mercados de infraestructura emergente más importantes de la próxima década. El cambio de enfoque estratégico de la Fundación Ethereum, junto con su inversión de capital, ha transformado una ideal teórico en una carrera de ingeniería. Los avances tecnológicos liderados por equipos como Succinct han hecho que el objetivo de esta carrera —pruebas en tiempo real y escalado a gran escala de L1— se convierta en una realidad alcanzable.

La era de la ejecución repetitiva está llegando a su fin. La era de la verificación criptográfica está comenzando.

En este nuevo paradigma, proveedores de infraestructura descentralizada como Succinct Prover Network se convertirán en los proveedores indispensables de “picos y palas” en esta nueva economía emergente.

El modelo económico del token $PROVE integra funciones de pago y staking, creando un potente efecto de rueda que vincula directamente el crecimiento de la red con la acumulación de valor del token. Por lo tanto, la inversión

$PROVE no es solo una apuesta en una única aplicación, sino una inversión directa en una capa de computación fundamental y verificable para la próxima generación de Internet.

Demostrar el software de todo el mundo.