El final de ZK: Ilimitado vs. sucinto La temporada de ZK está sobre nosotros y se prevé que el mercado de infraestructura de ZK crezca a > $ 10 mil millones para 2030. Mientras tanto, Boundless y Succinct se perfilan como los dominadores de la prueba. Sin embargo, lo que muchos no entienden es que, aunque son similares, son diferentes. Déjame desempacar esto ↓ Boundless: el "Uber para ZK Compute" - Modelo de ejecución: Proporciona un mercado universal donde los trabajos se publican en la cadena (posible en cualquier cadena sin puente, que 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, al tiempo que 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 cadena. - Rendimiento y adopción: mercado de pruebas abierto que impulsa 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 > 1,700 probadores en vivo en la versión beta de la red principal y > 391k 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 SP1 zkVM (también basado en RISC-V) y un subastador rápido fuera de la cadena para emparejar/asignar un probador por trabajo, optimizando la baja latencia y permitiendo a los desarrolladores generar pruebas a partir del código estándar de Rust que posteriormente se verifican en la cadena (en Ethereum). Succinct ejecuta SP1 a través de pruebas locales o de su API de red de probador alojada. - 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á totalmente listo para la producción y, por ejemplo, reduce una prueba de menta tierna de >2 horas a solo unos minutos. Las redes de probadores ya han generado cerca de 5 millones de pruebas con un tiempo de actividad del 99,9% + y alojan > 1.600 programas. ¿Cuáles son los puntos clave? Si bien ambos se esfuerzan en última instancia por hacer que 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 calcular fuera de la cadena mientras todas las pruebas se envían en la cadena y con contratos de mercado en todos los principales ecosistemas/cadenas. Mientras tanto, PoVW garantiza recompensas de probador medidas basadas en el cálculo real realizado. También es una infraestructura independiente del sistema de prueba y, como mercado sin permisos, tiene como objetivo ser la ventanilla única para todas las necesidades de computación y prueba verificables (más allá de alimentar el conjunto completo de productos RiscZero ZK, incluido el R0 zkVM, Kailua, su coprocesador Steel, etc. o más recientemente "The Signal" de Boundless). En su totalidad, el ecosistema RiscZero en torno a Boundless proporciona una solución de desarrollo ZK de pila completa. En la red de probadores de Succinct, por otro lado, es el sistema de subastas de la red el que encuentra el probador más barato en tiempo real, con un solo probador ganando el trabajo y la posterior verificación en cadena de la prueba entregada, con los componentes en cadena viviendo en Ethereum. Se centra específicamente en impulsar SP1, el zkVM de alto rendimiento de Succinct, y las herramientas de desarrollo que lo rodean. Gran parte de la adopción actual de Succinct proviene de los rollups "ZKfiyng" con su marco OP Succinct o de las 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 en última instancia brinden servicios de prueba, también significa que inevitablemente habrá productos construidos sobre esa infraestructura que, en última instancia, rivalizarán entre sí en términos de adopción (y demanda de prueba que se acumula en la infraestructura subyacente). Algunos ejemplos aquí son sus zkVM (R0 y SP1), y muchos casos de uso habilitados por ellos, incl. El marco OP Kailua de RiscZero para pruebas de fraude ZK híbridas 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 prueba de 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 estas verticales, los sistemas de probadores múltiples serán cada vez más frecuentes (mejorando la robustez y la seguridad), lo que podría conducir a integraciones duales con ambas redes. En mi opinión, también veremos capas de agregación construidas sobre múltiples mercados / redes de prueba, lo que en última instancia conducirá a que estas capas de infraestructura funcionen en conjunto hasta cierto punto. ZK es el final del juego. La temporada de ZK está sobre nosotros. Estudia ZK.