Dos de los proyectos ZK más ambiciosos, Succinct y Boundless, están compitiendo para llevar la computación verificable a todos los rincones del espacio en cadena.
Ambos usan zkVM, pero no son lo mismo.
Aquí hay un desglose de cómo se diferencian 🧠🧵
2/ A un alto nivel:
- @SuccinctLabs construye su zkVM (SP1) y ejecuta una red descentralizada donde cualquiera puede solicitar una prueba para el trabajo fuera de la cadena.
- @boundless_xyz (de RISC Zero) construye una capa de protocolo ZK que convierte cualquier cálculo 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 de Rust y produce ZKP usando SNARK recursivos. Es rápido, modular y optimizado para cargas de trabajo tipo rollup.
- Boundless utiliza zkVM de RISC Zero para manejar cálculos masivos y pruebas escalables.
4/ Bajo el capó:
Succinct utiliza un subastador fuera de la cadena. Envías un trabajo (como "probar este cálculo") y la red encuentra el probador más barato en tiempo real.
Los probadores se socavan entre sí para obtener empleos, creando un mercado para probar el trabajo.
Se siente como una API Web2. Rápido, eficiente, pero asegurado por ZKP publicado en la cadena más tarde para brindarle 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 la velocidad, la reutilización y la verificación en cadena de bajo costo. Las pruebas son pequeñas y baratas de verificar (alrededor de 200k de gas en Ethereum).
6/ El SP1 zkVM está activo. Los constructores pueden verificar las pruebas en cadena y enviar aplicaciones de nivel de producción utilizando SP1.
Pero la Succinct Prover Network, la capa descentralizada donde cualquiera puede ejecutar un probador y ganar, todavía se encuentra en la etapa final de la red de prueba (Etapa 2.5).
La red principal de Prover Network se está acercando.
7/ Boundless, por otro lado, se convierte en una utilidad pública. Cualquier cadena puede pedirle que demuestre algo. Cualquier aplicación puede subcontratar lógica compleja a ella.
No es solo una red, es una capa completa para computación verificable.
Puede imaginar Boundless como computación en la nube con recibos criptográficos.
8/ Construido sobre RISC Zero, Boundless también ejecuta código Rust o C++ en una zkVM.
Pero lo envuelve con un protocolo en el que los trabajos se publican en la cadena, luego los reclaman y calculan fuera de la cadena por los probadores.
9/ Introduce una nueva idea llamada Prueba de Trabajo Verificable (PoVW). Los probadores son recompensados en función de la cantidad de computación real que hacen.
Es como la minería, pero en lugar de cifrar números aleatorios, están demostrando un trabajo útil, ejecutando programas reales.
Boundless lo llama zk-mining.
10/ El primer caso de uso en vivo de Boundless es The Signal on Mainnet Beta, un cliente de consenso ZK que demuestra la finalidad de Ethereum en una única prueba verificable.
Esa prueba puede ser leída por cualquier cadena, lo que permite que las aplicaciones de cadena cruzada lean el estado de Ethereum sin múltiples firmas u oráculos.
The Signal probará más cadenas a continuación a medida que la red se expanda.
11/ ¿Cuál es la diferencia?
Sucinta: subasta rápida fuera de la cadena → un probador gana el trabajo → presenta pruebas en la cadena. Obtiene baja latencia y resultados verificables rápidamente.
Ilimitado: tareas publicadas en la cadena → cualquier probador calcula fuera de la cadena → envía pruebas en la cadena → los probadores de recompensas PoVW. Competencia abierta y totalmente confiable desde el principio.
12/ ¿Quién los está usando?
- @Mantle_Official → Actualizado de Optimistic a zkRollup usando el SP1 zkVM de Succinct para una finalidad rápida y equivalencia de EVM.
- Plataformas de acumulación como servicio (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Ofrezca acumulaciones ZK a través de OP-Succinct, lo que permite a los desarrolladores lanzar L2 con actualizaciones de finalidad impulsadas por SP1 con 1 clic.
- @Agglayer → de Polygon Utiliza SP1 para ayudar a implementar una capa de unificación zk en los rollups de Polygon, lo que mejora la capacidad de composición entre rollups.
- @celestia (Blobstream DA Bridge) → SP1 verifica la inclusión de bloques de Celestia para el puente DA sin confianza, lo que permite que los rollups se establezcan en Ethereum con blobs de Celestia.
13/ - @eigenlayer → Utiliza Boundless para calcular las actualizaciones de valor apostado fuera de la cadena, publicando pruebas ZK que reducen el gas L1 en ~99,9%.
- @hibachi_xyz → Construyó el primer intercambio demostrable. La coincidencia fuera de la cadena se ejecuta a alta frecuencia; cada lote está probado con R0VM en Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Utiliza Boundless para probar transacciones de Bitcoin por lotes, lo que permite acumulaciones ZK compatibles con EVM en Bitcoin.
- @build_on_bob → Boundless impulsa el L2 híbrido de BOB, llevando contratos inteligentes EVM y rollups respaldados por pruebas a Bitcoin.
14/ ¿Quién gana 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.
18.89 k
9
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona 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 enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.