Dois dos projetos ZK mais ambiciosos, Succinct e Boundless, estão em uma corrida para trazer computação verificável a todos os cantos do espaço onchain.
Ambos usam zkVMs, mas não são iguais.
Aqui está uma análise de como eles diferem 🧠🧵
2/ A um alto nível:
- @SuccinctLabs constrói o seu zkVM (SP1) e executa uma rede descentralizada onde qualquer pessoa pode solicitar uma prova para trabalho offchain.
- @boundless_xyz (da RISC Zero) constrói uma camada de protocolo ZK que transforma qualquer computação offchain em um recibo verificável.
Ambos querem substituir a confiança pela verdade criptográfica.
3/ Vamos começar com os seus motores de prova
- O SP1 da Succinct executa programas em Rust e produz ZKPs usando SNARKs recursivos. É rápido, modular e otimizado para cargas de trabalho semelhantes a rollups.
- A Boundless utiliza o zkVM da RISC Zero para lidar com cálculos massivos e provas escaláveis.
4/ Por baixo dos panos:
Succinct utiliza um leiloeiro offchain. Você submete um trabalho (como "prove esta computação"), e a rede encontra o provedor mais barato em tempo real.
Os provedores competem entre si por trabalhos, criando um mercado para o trabalho de prova.
Sente-se como uma API Web2. Rápido, eficiente, mas assegurado por ZKP postados onchain mais tarde para lhe dar uma prova criptográfica de que o programa foi executado corretamente.
5/ O motor por trás disso é chamado SP1 - um zkVM que pode executar lógica complexa, verificar assinaturas, simular rollups ou atuar como um cliente leve para outras cadeias.
O SP1 é otimizado para velocidade, reutilização e verificação onchain de baixo custo. As provas são pequenas e baratas de verificar (cerca de 200k gas na Ethereum).
6/ O SP1 zkVM está ativo. Os construtores podem verificar provas na cadeia e lançar aplicações de produção usando o SP1.
Mas a Rede de Provas Succinta - a camada descentralizada onde qualquer um pode executar um provador e ganhar - ainda está na fase final do testnet (Fase 2.5).
A mainnet para a Rede de Provas está a chegar.
7/ A Boundless, por outro lado, transforma a prova numa utilidade pública. Qualquer cadeia pode pedir-lhe para provar algo. Qualquer aplicação pode externalizar lógica complexa para ela.
Não é apenas uma rede, é uma camada inteira para computação verificável.
Você pode imaginar a Boundless como computação em nuvem com recibos criptográficos.
8/ Construído sobre RISC Zero, o Boundless também executa código Rust ou C++ em um zkVM.
Mas envolve isso com um protocolo onde os trabalhos são publicados na cadeia, depois reivindicados e computados fora da cadeia por provadores.
9/ Introduz uma nova ideia chamada Prova de Trabalho Verificável (PoVW). Os provadores são recompensados com base na quantidade de computação real que realizam.
É como a mineração, mas em vez de fazer hash de números aleatórios, estão a provar trabalho útil, executando programas reais.
A Boundless chama isso de zk-mining.
10/ O primeiro caso de uso ao vivo do Boundless é o The Signal na Mainnet Beta, um cliente de consenso ZK que prova a finalização do Ethereum em uma única prova verificável.
Essa prova pode ser lida por qualquer cadeia, permitindo que aplicativos crosschain leiam o estado do Ethereum sem multi-sigs ou oráculos.
O Signal provará mais cadeias a seguir à medida que a rede se expande.
11/ Qual é a diferença?
Succinct: leilão rápido e offchain → um provador ganha o trabalho → submete a prova onchain. Você obtém baixa latência e resultados verificáveis rapidamente.
Boundless: tarefas publicadas onchain → qualquer provador calcula offchain → submete a prova onchain → PoVW recompensa os provadores. Competição aberta entre provadores e totalmente sem confiança desde o início.
12/ Quem os está a usar?
- @Mantle_Official → Atualizado de Optimistic para zkRollup usando o SP1 zkVM da Succinct para finalização rápida e equivalência EVM.
- Plataformas Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Oferecem rollups ZK via OP-Succinct, permitindo que os desenvolvedores lancem L2s com atualizações de finalização SP1 com 1 clique.
- @Agglayer da Polygon → Usa SP1 para ajudar a implementar uma camada de zk-unificação através dos rollups da Polygon, melhorando a composabilidade entre rollups.
- @celestia (Blobstream DA Bridge) → O SP1 verifica a inclusão de blocos da Celestia para bridging DA sem confiança, permitindo que os rollups se estabeleçam na Ethereum com blobs da Celestia.
13/ - @eigenlayer → Usa o Boundless para calcular atualizações de valor apostado offchain, publicando provas ZK que reduzem o gás L1 em ~99,9%.
- @hibachi_xyz → Construiu a primeira troca provável. A correspondência offchain é executada em alta frequência; cada lote é provado com R0VM no Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Usa o Boundless para provar transações Bitcoin agrupadas, permitindo rollups ZK compatíveis com EVM no Bitcoin.
- @build_on_bob → O Boundless alimenta o híbrido L2 do BOB, trazendo contratos inteligentes EVM e rollups respaldados por provas para o Bitcoin.
14/ Quem ganha o jogo ZK?
Eles não são concorrentes diretos. Na verdade, as suas abordagens podem complementar-se.
O que é claro é isto: a infraestrutura ZK está a tornar-se modular. Computação rápida, universal e sem confiança já não é ficção científica, está a acontecer agora.
19,49 mil
9
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.