O Fim do Jogo ZK: Boundless vs. Succinct A temporada ZK está sobre nós, e o mercado de infra de ZK está projetado para crescer para >$10B até 2030. Enquanto isso, Boundless e Succinct estão se moldando para serem os dominadores da prova. O que muitos falham em entender, no entanto, é que, embora sejam semelhantes, são diferentes. Deixe-me explicar isso ↓ Boundless: O "Uber para Computação ZK" - Modelo de Execução: Fornece um mercado universal onde os trabalhos são postados onchain (possível em qualquer cadeia sem necessidade de bridging, o que é um diferencial chave), leilões reversos holandeses e Prova de Trabalho Verificável (PoVW) para criar um mercado competitivo conectando solicitantes de prova e provadores, enquanto recompensa estes últimos com base nos ciclos de computação reais que realizam. Boundless utiliza uma arquitetura de três camadas: Bento (prova local), Broker (interface de mercado) e liquidação on-chain. - Desempenho & Adoção: Mercado de prova aberto que alimenta o R0 zkVM (baseado em RISC-V) da RiscZero, que reduz os custos de prova de milhares para apenas alguns dólares, e produz provas 7x menores que o SP1 (zkVM da Succinct), tornando-o ideal para verificação onchain e cargas de trabalho menores. A Boundless já tem >1.700 provadores ativos na beta da mainnet e >391k provas solicitadas apenas de "The Signal" (provas de estado ZK para bem público de interoperabilidade). Succinct: A Plataforma de Desenvolvimento de Alto Desempenho - Modelo de Execução: Rede leve e de alto desempenho atuando como uma "API para provas ZK", alimentada pelo seu zkVM SP1 (também baseado em RISC-V) e um leiloeiro offchain rápido para combinar/atribuir um provador por trabalho, otimizando para baixa latência, e permitindo que os desenvolvedores gerem provas a partir de código Rust padrão que são posteriormente verificadas onchain (na Ethereum). A Succinct executa o SP1 através de prova local ou sua API de rede de provadores hospedados. - Desempenho & Adoção: A rede de provadores de alto desempenho do SP1 se destaca em operações criptográficas complexas devido à sua arquitetura de pré-compilação. Está totalmente pronta para produção e, por exemplo, reduz uma prova Tendermint de >2h para apenas alguns minutos. A rede de provadores já gerou perto de 5M de provas com 99,9%+ de uptime, e hospedando >1.600 programas. Quais são os principais pontos a serem destacados? Embora ambos busquem, em última análise, tornar a prova ZK mais eficiente e amplamente acessível para os construtores, eles adotam uma abordagem distinta para essa missão em um nível técnico. Boundless, por exemplo, é mais uma rede aberta, onde qualquer provador pode computar offchain enquanto todas as provas são submetidas onchain, e com contratos de mercado em todos os principais ecossistemas/cadeias. Enquanto isso, a PoVW garante recompensas de provador medidas com base na computação real realizada. É também uma infraestrutura agnóstica ao sistema de provas e, como um mercado sem permissão, visa ser a loja única para todas as necessidades de computação e prova verificáveis (além de alimentar toda a suíte de produtos ZK da RiscZero, incluindo o R0 zkVM, Kailua, seu co-processador Steel, etc. ou mais recentemente "The Signal" da Boundless). Em sua totalidade, o ecossistema RiscZero em torno da Boundless fornece uma solução de desenvolvimento ZK de pilha completa. Na rede de provadores da Succinct, por outro lado, é o sistema de leilão da rede que encontra o provador mais barato em tempo real, com um único provador ganhando o trabalho, e a subsequente verificação onchain da prova entregue, com os componentes onchain vivendo na Ethereum. É especificamente focado em alimentar o SP1, o zkVM de alto desempenho da Succinct, e as ferramentas de desenvolvimento ao seu redor. Grande parte da adoção atual da Succinct decorre de rollups "ZKfiyng" com seu framework OP Succinct ou alimentando appchains ZK (por exemplo, Hibachi) com foco no ecossistema modular. Eles são concorrentes? Em grande parte, sim, porque o fato de que tanto @boundless_xyz quanto @SuccinctLabs fornecem serviços de prova, também significa que inevitavelmente haverá produtos construídos em cima dessa infraestrutura que rivalizarão entre si em termos de adoção (e demanda de prova que se acumula na infraestrutura subjacente). Alguns exemplos aqui são seus zkVMs (R0 e SP1), e muitos casos de uso possibilitados por isso, incluindo o framework OP Kailua da RiscZero para provas de fraude híbridas ZK que competem com o OP Succinct (o framework ZK da Succinct para cadeias OP), as duas versões ZK-powered do Blobstream (ponte DA para Celestia) que ambas as equipes construíram em cima de suas infraestruturas, ou seus co-processadores ZK internos (Steel vs SP1-CC), etc. No entanto, acredito que o mercado de infraestrutura de prova ZK é grande o suficiente para dois (ou mais?) grandes players, e que especialmente no caso de aplicativos de alto risco (por exemplo, DeFi institucional, alguns casos de uso de IA, etc.), ou cadeias que atendem a esses verticais, sistemas de múltiplos provadores se tornarão cada vez mais prevalentes (melhorando a robustez e a segurança), potencialmente levando a integrações duplas com ambas as redes. Acredito também que veremos camadas de agregação construídas em cima de múltiplos mercados/redes de prova, o que, em última análise, levará a essas camadas de infraestrutura trabalhando em conjunto até certo ponto. ZK é o fim do jogo. A temporada ZK está sobre nós. Estude ZK.