El Fin del Juego ZK: Boundless vs. Succinct La temporada ZK está sobre nosotros, y se proyecta que el mercado de infraestructuras ZK crecerá a más de 10 mil millones de dólares para 2030. Mientras tanto, Boundless y Succinct se están perfilando como los dominadores de la prueba. Lo que muchos no logran entender, sin embargo, es que aunque son similares, son diferentes. Déjame desglosar esto ↓ Boundless: El "Uber para el Cómputo ZK" - Modelo de Ejecución: Proporciona un mercado universal donde los trabajos se publican en la cadena (posible en cualquier cadena sin puentes, lo cual es un diferenciador clave), subastas holandesas inversas y Prueba de Trabajo Verificable (PoVW) para crear un mercado competitivo que conecta a los solicitantes de prueba y a los probadores, mientras recompensa a estos últimos en función de los ciclos de cómputo reales que realizan. Boundless utiliza una arquitectura de tres capas: Bento (prueba local), Broker (interfaz de mercado) y liquidación en la cadena. - Rendimiento y Adopción: Mercado de pruebas abierto que potencia el R0 zkVM (basado en RISC-V) de RiscZero, que reduce los costos de prueba de miles a solo unos pocos dólares, y produce pruebas 7 veces más pequeñas que SP1 (zkVM de Succinct), lo que lo hace ideal para la verificación en cadena y cargas de trabajo más pequeñas. Boundless ya tiene más de 1,700 probadores activos en la beta de mainnet y más de 391,000 pruebas solicitadas solo de "The Signal" (pruebas de estado ZK para el bien público de interoperabilidad). Succinct: La Plataforma de Desarrollo de Alto Rendimiento - Modelo de Ejecución: Red ágil y de alto rendimiento que actúa como una "API para pruebas ZK", impulsada por su zkVM SP1 (también basada en RISC-V) y un subastador offchain rápido para emparejar/asignar un probador por trabajo, optimizando para baja latencia, y permitiendo a los desarrolladores generar pruebas a partir de código Rust estándar que se verifican posteriormente en la cadena (en Ethereum). Succinct ejecuta SP1 a través de prueba local o su API de red de probadores alojados. - Rendimiento y Adopción: La red de probadores de alto rendimiento de SP1 sobresale en operaciones criptográficas complejas debido a su arquitectura de precompilación. Está completamente lista para producción y, por ejemplo, reduce una prueba de Tendermint de más de 2 horas a solo unos minutos. La red de probadores ya ha generado cerca de 5 millones de pruebas con más del 99.9% de tiempo de actividad, y aloja más de 1,600 programas. ¿Cuáles son las conclusiones clave? Si bien ambos buscan en última instancia hacer que la prueba ZK sea más eficiente y ampliamente accesible para los constructores, adoptan un enfoque distinto para esa misión a nivel técnico. Boundless, por ejemplo, es más una red abierta, donde cualquier probador puede computar offchain mientras todas las pruebas se envían en la cadena, y con contratos de mercado en todos los ecosistemas/cadenas principales. Mientras tanto, PoVW asegura recompensas de probador medidas en función del cómputo real realizado. También es una infraestructura agnóstica al sistema de pruebas, y como un mercado sin permisos, busca ser la tienda única para todas las necesidades de cómputo verificable y pruebas (más allá de potenciar toda la suite de productos ZK de RiscZero, incluyendo el R0 zkVM, Kailua, su coprocesador Steel, etc. o más recientemente "The Signal" de Boundless). En su totalidad, el ecosistema RiscZero alrededor de Boundless proporciona una solución de desarrollo ZK de pila completa. Por otro lado, en la red de probadores de Succinct, es el sistema de subastas de la red el que encuentra al probador más barato en tiempo real, con un solo probador ganando el trabajo, y la verificación en cadena subsiguiente de la prueba entregada, con los componentes en cadena viviendo en Ethereum. Se centra específicamente en potenciar SP1, el zkVM de alto rendimiento de Succinct, y las herramientas de desarrollo a su alrededor. Gran parte de la adopción actual de Succinct proviene de los rollups "ZKfiyng" con su marco OP Succinct o de potenciar cadenas de aplicaciones ZK (por ejemplo, Hibachi) con un enfoque en el ecosistema modular. ¿Son competidores? En gran parte sí, porque el hecho de que tanto @boundless_xyz como @SuccinctLabs proporcionen en última instancia servicios de prueba, también significa que inevitablemente habrá productos construidos sobre esa infraestructura que rivalizarán entre sí en términos de adopción (y la demanda de pruebas que se acumula en la infraestructura subyacente). Algunos ejemplos aquí son sus zkVMs (R0 y SP1), y muchos casos de uso habilitados por ello, incluyendo el marco OP Kailua de RiscZero para pruebas de fraude híbridas ZK que compite con OP Succinct (el marco ZK de Succinct para cadenas OP), las dos versiones impulsadas por ZK de Blobstream (puente DA para Celestia) que ambos equipos construyeron sobre su infraestructura, o sus coprocesadores ZK internos (Steel vs SP1-CC), etc. Sin embargo, creo que el mercado de infraestructura de pruebas ZK es lo suficientemente grande para dos (¿o más?) jugadores principales, y que especialmente en el caso de aplicaciones de alto riesgo (por ejemplo, DeFi institucional, algunos casos de uso de IA, etc.), o cadenas que atienden a estos verticales, los sistemas de múltiples probadores se volverán cada vez más prevalentes (mejorando la robustez y la seguridad), lo que podría llevar a integraciones duales con ambas redes. También veremos, en mi opinión, capas de agregación construidas sobre múltiples mercados/redes de pruebas, lo que en última instancia llevará a que estas capas de infraestructura trabajen en conjunto hasta cierto punto. ZK es el fin del juego. La temporada ZK está sobre nosotros. Estudia ZK.