Dois dos projetos ZK mais ambiciosos, Succinct e Boundless, estão correndo para trazer computação verificável para todos os cantos do espaço onchain. Ambos usam zkVMs, mas não são os mesmos. Aqui está um detalhamento de como eles diferem 🧠🧵
2/ Em alto nível: - @SuccinctLabs constrói seu zkVM (SP1) e executa uma rede descentralizada onde qualquer pessoa pode solicitar uma prova para o trabalho offchain. - @boundless_xyz (do 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 seus motores de prova - O SP1 da Succinct executa programas Rust e produz ZKPs usando SNARKs recursivos. É rápido, modular e otimizado para cargas de trabalho semelhantes a rollups. - Boundless usa o zkVM do RISC Zero para lidar com cálculos massivos e provas escaláveis.
4/ Sob o capô: Succinct usa um leiloeiro offchain. Você envia um trabalho (como "provar este cálculo") e a rede encontra o provador mais barato em tempo real. Os provadores prejudicam uns aos outros por empregos, criando um mercado para provar o trabalho. Parece uma API Web2. Rápido, eficiente, mas protegido pelo ZKP postado onchain posteriormente para fornecer uma prova criptográfica de que o programa foi executado corretamente.
5/ O mecanismo por trás dele é chamado SP1 - um zkVM que pode executar lógica complexa, verificar assinaturas, simular rollups ou agir 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 de gás no Ethereum).
6/ O SP1 zkVM está ativo. Os construtores podem verificar provas onchain e enviar aplicativos de nível de produção usando o SP1. Mas a Succinct Prover Network - a camada descentralizada onde qualquer pessoa pode executar um provador e ganhar - ainda está no estágio final da rede de teste (Estágio 2.5). A rede principal da Prover Network está chegando perto.
7/ Boundless, por outro lado, transforma a prova em utilidade pública. Qualquer rede pode pedir para provar algo. Qualquer aplicativo pode terceirizar lógica complexa para ele. Não é apenas uma rede, é uma camada inteira para computação verificável. Você pode imaginar o Boundless como computação em nuvem com recibos criptográficos.
8/ Construído no RISC Zero, o Boundless também executa código Rust ou C++ em um zkVM. Mas ele o envolve com um protocolo em que os trabalhos são postados onchain, depois reivindicados e calculados offchain 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 fazem. É como minerar, mas em vez de hash de números aleatórios, eles estão provando ser um trabalho útil, executando programas reais. Boundless chama isso de mineração zk.
10/ O primeiro caso de uso ao vivo do Boundless é o The Signal on Mainnet Beta, um cliente de consenso ZK que prova a finalidade do Ethereum em uma única prova verificável. Essa prova pode ser lida por qualquer cadeia, permitindo que aplicativos de cadeia cruzada leiam o estado Ethereum sem multi-sigs ou oráculos. O sinal provará mais cadeias à medida que a rede se expande.
11/ Qual é a diferença? Sucinta: leilão rápido e offchain → um provador ganha o trabalho → envia provas onchain. Você obtém baixa latência e resultados verificáveis rapidamente. Sem limites: tarefas postadas onchain → qualquer provador calcula offchain → envia provas onchain → PoVW recompensam os provadores. Competição aberta e totalmente confiável desde o início.
12/ Quem os está usando? - @Mantle_Official → Atualizado de Optimistic para zkRollup usando o zkVM SP1 da Succinct para finalização rápida e equivalência EVM. - Plataformas de rollup como serviço (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Ofereça rollups ZK via OP-Succinct, permitindo que os desenvolvedores iniciem L2s com atualizações de finalidade baseadas em SP1 com 1 clique. - O @Agglayer → do Polygon usa o SP1 para ajudar a implementar uma camada de unificação zk em rollups do Polygon, aprimorando a capacidade de composição de rollup cruzado. - @celestia (Blobstream DA Bridge) → SP1 verifica a inclusão de bloco do Celestia para ponte DA sem confiança, permitindo que os rollups sejam liquidados no Ethereum com blobs Celestia.
13/ - @eigenlayer → Usa o Boundless para calcular atualizações de valor apostado offchain, postando 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 é comprovado com R0VM no Boundless. - @citrea_xyz (Bitcoin zkRollup) → Usa Boundless para provar transações de Bitcoin em lote, permitindo rollups ZK compatíveis com EVM no Bitcoin. - @build_on_bob → Boundless alimenta o L2 híbrido do BOB, trazendo contratos inteligentes EVM e rollups lastreados em provas para o Bitcoin.
14/ Quem ganha o jogo ZK? Eles não são concorrentes diretos. Na verdade, suas abordagens poderiam se complementar. O que está claro é o seguinte: a infraestrutura ZK está se tornando modular. A computação rápida, universal e sem confiança não é mais ficção científica, está acontecendo agora.
Mostrar original
19,02 mil
9
O conteúdo desta página é fornecido por terceiros. A menos que especificado de outra forma, a OKX não é a autora dos artigos mencionados e não reivindica direitos autorais sobre os materiais apresentados. O conteúdo tem um propósito meramente informativo e não representa as opiniões da OKX. Ele não deve ser interpretado como um endosso ou aconselhamento de investimento de qualquer tipo, nem como uma recomendação para compra ou venda de ativos digitais. Quando a IA generativa é utilizada para criar resumos ou outras informações, o conteúdo gerado pode apresentar imprecisões ou incoerências. Leia o artigo vinculado para mais detalhes e informações. A OKX não se responsabiliza pelo conteúdo hospedado em sites de terceiros. Possuir ativos digitais, como stablecoins e NFTs, envolve um risco elevado e pode apresentar flutuações significativas. Você deve ponderar com cuidado se negociar ou manter ativos digitais é adequado para sua condição financeira.