Dos de los proyectos ZK más ambiciosos, Succinct y Boundless, están compitiendo para llevar computación verificable a cada rincón del espacio onchain.
Ambos utilizan zkVMs, pero no son lo mismo.
Aquí hay un desglose de cómo difieren 🧠🧵
2/ A un alto nivel:
- @SuccinctLabs construye su zkVM (SP1) y ejecuta una red descentralizada donde cualquiera puede solicitar una prueba de trabajo fuera de la cadena.
- @boundless_xyz (de RISC Zero) construye una capa de protocolo ZK que convierte cualquier computación fuera de la cadena en un recibo verificable.
Ambos quieren reemplazar la confianza con la verdad criptográfica.
3/ Comencemos con sus motores de prueba
- El SP1 de Succinct ejecuta programas en Rust y produce ZKPs utilizando SNARKs recursivos. Es rápido, modular y está optimizado para cargas de trabajo similares a rollups.
- Boundless utiliza el zkVM de RISC Zero para manejar cálculos masivos y pruebas escalables.
4/ Detrás de escena:
Succinct utiliza un subastador fuera de la cadena. Envías un trabajo (como "demostrar este cálculo"), y la red encuentra al probador más barato en tiempo real.
Los probadores se hacen competencia entre sí por los trabajos, creando un mercado para el trabajo de prueba.
Se siente como una API de Web2. Rápido, eficiente, pero asegurado por ZKP publicado en la cadena más tarde para darte una prueba criptográfica de que el programa se ejecutó correctamente.
5/ El motor detrás de esto se llama SP1 - un zkVM que puede ejecutar lógica compleja, verificar firmas, simular rollups o actuar como un cliente ligero para otras cadenas.
SP1 está optimizado para velocidad, reutilización y verificación en cadena de bajo costo. Las pruebas son pequeñas y baratas de verificar (alrededor de 200k gas en Ethereum).
6/ El SP1 zkVM está en vivo. Los desarrolladores pueden verificar pruebas en la cadena y lanzar aplicaciones de grado de producción utilizando SP1.
Pero la Red de Proveedores Succinct - la capa descentralizada donde cualquiera puede ejecutar un proveedor y ganar - todavía está en la etapa final de testnet (Etapa 2.5).
La mainnet para la Red de Proveedores se acerca.
7/ Boundless, por otro lado, convierte la prueba en un servicio público. Cualquier cadena puede pedirle que pruebe algo. Cualquier aplicación puede externalizar lógica compleja a él.
No es solo una red, es toda una capa para computación verificable.
Puedes imaginar Boundless como computación en la nube con recibos criptográficos.
8/ Construido sobre RISC Zero, Boundless también ejecuta código en Rust o C++ en un zkVM.
Pero lo envuelve con un protocolo donde los trabajos se publican en la cadena, luego son reclamados y computados fuera de la cadena por los probadores.
9/ Introduce una nueva idea llamada Prueba de Trabajo Verificable (PoVW). Los Provers son recompensados en función de la cantidad de computación real que realizan.
Es como la minería, pero en lugar de hashear números aleatorios, están probando trabajo útil, ejecutando programas reales.
Boundless lo llama zk-mining.
10/ El primer caso de uso en vivo de Boundless es The Signal en Mainnet Beta, un cliente de consenso ZK que prueba la finalización de Ethereum en una única prueba verificable.
Esa prueba puede ser leída por cualquier cadena, lo que permite a las aplicaciones crosschain leer el estado de Ethereum sin multi-sigs ni oráculos.
The Signal probará más cadenas a medida que la red se expanda.
11/ ¿Cuál es la diferencia?
Sucinto: subasta rápida y fuera de la cadena → un probador gana el trabajo → presenta la prueba en la cadena. Obtienes baja latencia y resultados verificables rápidamente.
Sin límites: tareas publicadas en la cadena → cualquier probador calcula fuera de la cadena → presenta la prueba en la cadena → PoVW recompensa a los probadores. Competencia abierta de probadores y completamente sin confianza desde el principio.
12/ ¿Quién los está utilizando?
- @Mantle_Official → Actualizado de Optimistic a zkRollup utilizando el SP1 zkVM de Succinct para una finalización rápida y equivalencia EVM.
- Plataformas Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Ofrecen zk rollups a través de OP-Succinct, permitiendo a los desarrolladores lanzar L2s con actualizaciones de finalización impulsadas por SP1 con un solo clic.
- @Agglayer de Polygon → Utiliza SP1 para ayudar a implementar una capa de zk-unificación a través de los rollups de Polygon, mejorando la composabilidad entre rollups.
- @celestia (Blobstream DA Bridge) → SP1 verifica la inclusión de bloques de Celestia para un puente DA sin confianza, permitiendo que los rollups se asienten en Ethereum con blobs de Celestia.
13/ - @eigenlayer → Utiliza Boundless para calcular actualizaciones del valor apostado fuera de la cadena, publicando pruebas ZK que reducen el gas de L1 en aproximadamente un 99.9%.
- @hibachi_xyz → Construyó el primer intercambio demostrable. La coincidencia fuera de la cadena se ejecuta a alta frecuencia; cada lote se prueba con R0VM en Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Utiliza Boundless para probar transacciones de Bitcoin agrupadas, habilitando rollups ZK compatibles con EVM en Bitcoin.
- @build_on_bob → Boundless potencia el L2 híbrido de BOB, llevando contratos inteligentes EVM y rollups respaldados por pruebas a Bitcoin.
14/ ¿Quién gana en el juego ZK?
No son competidores directos. De hecho, sus enfoques podrían complementarse entre sí.
Lo que está claro es esto: la infraestructura ZK se está volviendo modular. La computación rápida, universal y sin confianza ya no es ciencia ficción, está sucediendo ahora.
19,7 mil
9
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.