Boundless da RISC Zero: O Mercado de Provas Descentralizado Pode Resolver o Gargalo de $ 97M do ZK?
Os rollups de conhecimento zero (ZK-rollups) deveriam ser o futuro do dimensionamento de blockchain. Em vez disso, tornaram-se reféns de um mercado centralizado de provadores de US$ 97 milhões, onde um punhado de empresas extrai 60-70% das taxas — enquanto os usuários esperam minutos por provas que deveriam levar segundos.
O Boundless, o mercado de provas descentralizado da RISC Zero que foi lançado na mainnet em setembro de 2025, afirma ter resolvido esse problema. Ao transformar a geração de provas ZK em um mercado aberto onde os operadores de GPU competem por trabalho, o Boundless promete tornar a computação verificável "tão barata quanto a execução". Mas será que uma rede incentivada por tokens pode realmente quebrar a espiral de morte da centralização que manteve a tecnologia ZK cara e inacessível?
O Gargalo de Bilhões de Dólares: Por Que as Provas ZK Ainda São Caras
A promessa dos rollups de conhecimento zero era elegante: executar transações off-chain, gerar uma prova criptográfica da execução correta e verificar essa prova na Ethereum por uma fração do custo. Em teoria, isso entregaria segurança ao nível da Ethereum com custos de transação abaixo de um centavo.
A realidade mostrou-se mais complicada.
Uma única prova ZK para um lote de 4.000 transações leva de dois a cinco minutos para ser gerada em uma GPU A100 de ponta, custando de US 0,17 apenas em taxas de computação em nuvem. Isso sem considerar o software especializado, a experiência em engenharia e a infraestrutura redundante necessária para operar um serviço de prova confiável.
O resultado? Mais de 90% das L2s ZK dependem de um punhado de provedores de "prover-as-a-service" (provador como serviço). Essa centralização introduz exatamente os riscos que a blockchain foi projetada para eliminar: censura, extração de MEV, pontos únicos de falha e extração de aluguel no estilo web2.
O Desafio Técnico
O gargalo não é o congestionamento da rede — é a própria matemática. A prova ZK depende de multiplicações multiescalares (MSMs) e transformadas teóricas de números (NTTs) sobre curvas elípticas. Essas operações são fundamentalmente diferentes da matemática de matrizes que torna as GPUs excelentes para cargas de trabalho de IA.
Após anos de otimização de MSM, as NTTs agora representam até 90% da latência de geração de provas em GPUs. A comunidade de criptografia atingiu retornos decrescentes apenas na otimização de software.
Conheça o Boundless: O Mercado de Provas Aberto
O Boundless tenta resolver esse problema desacoplando inteiramente a geração de provas do consenso da blockchain. Em vez de cada rollup operar sua própria infraestrutura de provadores, o Boundless cria um mercado onde:
- Solicitantes enviam solicitações de prova (de qualquer cadeia)
- Provadores competem para gerar provas usando GPUs e hardware comum
- Liquidação ocorre na cadeia de destino especificada pelo solicitante
A inovação principal é a "Prova de Trabalho Verificável" (PoVW) — um mecanismo que recompensa os provadores não por hashes inúteis (como na mineração de Bitcoin), mas por gerar provas ZK úteis. Cada prova carrega metadados criptográficos que comprovam quanta computação foi investida nela, criando um registro de trabalho transparente.
Como Realmente Funciona
Sob o capô, o Boundless baseia-se na zkVM da RISC Zero — uma máquina virtual de conhecimento zero que pode executar qualquer programa compilado para o conjunto de instruções RISC-V. Isso significa que os desenvolvedores podem escrever aplicações em Rust, C++ ou qualquer linguagem que compile para RISC-V e, em seguida, gerar provas de execução correta sem aprender circuitos ZK especializados.
A arquitetura de três camadas inclui:
- Camada zkVM: Executa programas arbitrários e gera provas STARK
- Camada de Recursão: Agrega múltiplos STARKs em provas compactas
- Camada de Liquidação: Converte provas para o formato Groth16 para verificação on-chain
Esse design permite que o Boundless gere provas que são pequenas o suficiente (cerca de 200 KB) para uma verificação on-chain econômica, enquanto suporta computações complexas.
O Token ZKC: Minerando Provas em Vez de Hashes
O Boundless introduziu o ZK Coin (ZKC) como o token nativo que alimenta seu mercado de provas. Ao contrário dos tokens de utilidade típicos, o ZKC é ativamente minerado por meio da geração de provas — os provadores ganham recompensas em ZKC proporcionais ao trabalho computacional que contribuem.
Visão Geral da Tokenomics
- Fornecimento Total: 1 bilhão de ZKC (com 7% de inflação no Ano 1, diminuindo para 3% no Ano 8)
- Crescimento do Ecossistema: 41,6% alocados para iniciativas de adoção
- Parceiros Estratégicos: 21,5% com 1 ano de carência (cliff) e 2 anos de aquisição (vesting)
- Comunidade: 8,3% para venda de tokens e airdrops
- Preço Atual: ~ US 0,29)
O modelo inflacionário gerou debates. Os defensores argumentam que as emissões contínuas são necessárias para incentivar uma rede de provadores saudável. Os críticos apontam que a inflação anual de 7% cria uma pressão de venda constante, limitando potencialmente a valorização do ZKC mesmo com o crescimento da rede.
Turbulência no Mercado
Os primeiros meses do ZKC não foram tranquilos. Em outubro de 2025, a exchange sul-coreana Upbit sinalizou o token com um "aviso de investimento", provocando uma queda de 46% no preço. A Upbit retirou o aviso após o Boundless esclarecer sua tokenomics, mas o episódio destacou os riscos de volatilidade dos tokens de infraestrutura vinculados a mercados emergentes.
Realidade da Mainnet: Quem Realmente Está Usando a Boundless?
Desde o lançamento da mainnet beta na Base em julho de 2025 e da mainnet completa em setembro, a Boundless garantiu integrações notáveis:
Integração com Wormhole
A Wormhole está integrando a Boundless para adicionar verificação ZK ao consenso do Ethereum, tornando as transferências cross - chain mais seguras. Em vez de depender puramente de guardiões multi - sig, o Wormhole NTT (Native Token Transfers) agora pode incluir provas ZK opcionais para usuários que desejam garantias criptográficas.
Citrea Bitcoin L2
A Citrea, uma zk - rollup de Camada 2 do Bitcoin construída pela Chainway Labs, utiliza o zkVM da RISC Zero para gerar provas de validade postadas no Bitcoin via BitVM. Isso permite programabilidade equivalente à EVM no Bitcoin, enquanto utiliza o BTC para liquidação e disponibilidade de dados.
Parceria com o Google Cloud
Através de seu Programa de IA Verificável, a Boundless fez uma parceria com o Google Cloud para permitir provas de IA baseadas em ZK. Desenvolvedores podem construir aplicações que provam as saídas de modelos de IA sem revelar as entradas — uma capacidade crucial para o aprendizado de máquina que preserva a privacidade.
Ponte Stellar
Em setembro de 2025, a Nethermind implantou verificadores RISC Zero para a integração da Stellar zk Bridge, permitindo provas cross - chain entre a rede de pagamentos de baixo custo da Stellar e as garantias de segurança do Ethereum.
A Competição: Succinct SP1 e as Guerras de zkVM
A Boundless não é a única jogadora na corrida para resolver o problema de escalabilidade de ZK. O zkVM SP1 da Succinct Labs surgiu como um grande concorrente, desencadeando uma guerra de benchmarks entre as duas equipes.
Alegações da RISC Zero
A RISC Zero afirma que implementações de zkVM configuradas corretamente são "pelo menos 7x mais baratas que o SP1" e até 60x mais baratas para pequenas cargas de trabalho. Eles apontam para tamanhos de prova mais compactos e uma utilização de GPU mais eficiente.
Resposta da Succinct
A Succinct rebate que os benchmarks da RISC Zero "compararam de forma enganosa o desempenho da CPU com os resultados da GPU". Seu provador SP1 Hypercube alega provas de $ 0,02 com latência de aproximadamente 2 minutos — embora continue sendo de código fechado.
Análise Independente
Uma comparação da Fenbushi Capital descobriu que a RISC Zero demonstrou "velocidade e eficiência superiores em todas as categorias de benchmark em ambientes de GPU", mas observou que o SP1 se destaca na adoção pelos desenvolvedores, impulsionando projetos como o Blobstream da Celestia com 239 milhões da RISC Zero.
A verdadeira vantagem competitiva pode não ser o desempenho bruto, mas o bloqueio do ecossistema (ecosystem lock - in). A Boundless planeja oferecer suporte a zkVMs concorrentes, incluindo SP1, Boojum da ZKsync e Jolt — posicionando-se como um marketplace de provas agnóstico em relação ao protocolo, em vez de uma solução de fornecedor único.
Roadmap 2026: O que Vem a Seguir para a Boundless
O roadmap da RISC Zero para a Boundless inclui vários alvos ambiciosos:
Expansão do Ecossistema (Q4 2025 - 2026)
- Estender o suporte de prova ZK para Solana
- Integração com Bitcoin via BitVM
- Implementações adicionais em L2
Upgrades de Rollup Híbrido
O marco técnico mais significativo é a transição de rollups otimistas (como as redes Optimism e Base) para o uso de provas de validade para uma finalização mais rápida. Em vez de esperar 7 dias pelas janelas de prova de fraude, as cadeias OP poderiam liquidar em minutos.
Suporte Multi - zkVM
O suporte para zkVMs concorrentes está no roadmap, permitindo que desenvolvedores alternem entre RISC Zero, SP1 ou outros sistemas de prova sem sair do marketplace.
Conclusão da Descentralização
A RISC Zero encerrou seu serviço de prova hospedado em dezembro de 2025, forçando toda a geração de provas através da rede descentralizada Boundless. Isso marcou um compromisso significativo com a tese da descentralização — mas também significa que a confiabilidade da rede agora depende inteiramente de provadores independentes.
O Cenário Amplo: A Provação Descentralizada se Tornará o Padrão?
O sucesso da Boundless depende de uma aposta fundamental: que a geração de provas se tornará uma commodity, da mesma forma que a computação em nuvem. Se essa tese se mantiver, ter a rede de provadores mais eficiente importa menos do que ter o marketplace maior e mais líquido.
Vários fatores apoiam essa visão:
- Comoditização de hardware: ASICs específicos para ZK de empresas como a Cysic prometem melhorias de 50x na eficiência energética, reduzindo potencialmente as barreiras de entrada.
- Agregação de provas: Redes como a Boundless podem agrupar provas de múltiplas aplicações, amortizando custos fixos.
- Demanda cross - chain: À medida que mais cadeias adotam a verificação ZK, a demanda por geração de provas pode superar a capacidade de qualquer provedor único.
Mas os riscos permanecem:
- Aumento da centralização: Redes de provadores iniciais tendem à concentração, pois as economias de escala favorecem grandes operadores.
- Dependência do token: Se o preço do ZKC entrar em colapso, os incentivos para os provadores desaparecem — potencialmente causando uma espiral de morte.
- Complexidade técnica: Operar um provador competitivo requer experiência significativa, limitando potencialmente a descentralização na prática.
O que Isso Significa para os Desenvolvedores
Para desenvolvedores que consideram a integração de ZK, a Boundless representa um meio - termo pragmático:
- Sem sobrecarga de infraestrutura: Envie solicitações de prova via API sem operar seus próprios provadores.
- Liquidação multi - chain: Gere provas uma vez e verifique em qualquer rede suportada.
- Flexibilidade de linguagem: Escreva em Rust ou qualquer linguagem compatível com RISC - V, em vez de aprender DSLs de ZK.
O trade - off é a dependência de uma rede incentivada por tokens, cuja estabilidade a longo prazo permanece não comprovada. Para aplicações em produção, muitas equipes podem preferir a Boundless para testnet e experimentação, mantendo uma infraestrutura de provadores de reserva para cargas de trabalho críticas.
Conclusão
O Boundless representa a tentativa mais ambiciosa até agora para resolver o problema de centralização do ZK. Ao transformar a geração de provas em um mercado aberto incentivado por tokens ZKC, a RISC Zero está apostando que a concorrência reduzirá os custos mais rapidamente do que qualquer fornecedor individual conseguiria sozinho.
O lançamento da mainnet, as principais integrações com Wormhole e Citrea e o compromisso em oferecer suporte a zkVMs rivais sugerem uma capacidade técnica séria. No entanto, a tokenomics inflacionária, a volatilidade das exchanges e a descentralização não comprovada em escala deixam questões importantes sem resposta.
Para o ecossistema ZK, o sucesso ou o fracasso do Boundless sinalizará se a infraestrutura descentralizada pode competir com a eficiência centralizada — ou se o futuro de escalabilidade da indústria blockchain permanecerá nas mãos de alguns serviços de prover bem financiados.
Está construindo aplicações que precisam de verificação ZK em várias chains? O BlockEden.xyz fornece endpoints RPC empresariais e APIs para Ethereum, Base e mais de 20 redes — a camada de conectividade confiável que suas aplicações ZK cross-chain precisam.