Na blockchain, a criptografia é a base fundamental da segurança e confiança. As Provas de Conhecimento Zero (ZK) podem comprimir qualquer computação complexa fora da cadeia em uma prova sucinta que pode ser verificada de forma eficiente na cadeia—sem depender da confiança de terceiros—enquanto também permite ocultar entradas de forma seletiva para preservar a privacidade. Com sua combinação de verificação eficiente, universalidade e privacidade, o ZK se tornou uma solução chave em casos de uso de escalabilidade, privacidade e interoperabilidade. Embora ainda haja desafios, como o alto custo da geração de provas e a complexidade do desenvolvimento de circuitos, a viabilidade de engenharia do ZK e o grau de adoção já superaram outras abordagens, tornando-o o framework mais amplamente adotado para computação confiável.
I. A Evolução da Trilha ZK
O desenvolvimento das Provas de Conhecimento Zero não foi instantâneo nem acidental, mas sim o resultado de décadas de acúmulo teórico e avanços de engenharia. De forma geral, pode ser dividido nas seguintes etapas:
Fundamentos Teóricos e Avanços Técnicos (décadas de 1980 a 2010)
O conceito de conhecimento zero (ZK) foi proposto inicialmente pelos pesquisadores do MIT Shafi Goldwasser, Silvio Micali e Charles Rackoff, e inicialmente limitado à teoria de provas interativas. Na década de 2010, o surgimento das provas de conhecimento zero não interativas (NIZKs) e das zk-SNARKs melhorou significativamente a eficiência das provas, embora ainda dependessem de uma configuração confiável.Aplicações de Blockchain (Final da Década de 2010)
O Zcash introduziu os zk-SNARKs para permitir pagamentos privados, marcando a primeira implementação em larga escala do ZK em blockchain. No entanto, devido ao alto custo de geração de provas, as aplicações no mundo real permaneceram relativamente limitadas.Crescimento e expansão explosivos (década de 2020 até o presente)
Durante esse período, a tecnologia ZK entrou no mercado convencional:ZK Rollups: Computação em lote fora da cadeia com provas na cadeia possibilitada, alta taxa de transferência e herança de segurança, tornando-se o principal caminho de escalabilidade da Camada 2.
zk-STARKs: A StarkWare introduziu o zk-STARKs, eliminando a configuração confiável e, ao mesmo tempo, aumentando a transparência e a escalabilidade.
zkEVMs: Equipes como Scroll, Taiko e Polygon aprimoraram as provas em nível de bytecode da EVM, permitindo a migração perfeita de aplicativos Solidity existentes.
zkVMs de propósito geral: Projetos como RISC Zero, Succinct SP1 e Delphinus zkWasm suportavam a execução verificável de programas arbitrários, estendendo o ZK de uma ferramenta de escalabilidade para uma "CPU confiável".
zkCoprocessors: Encapsulando zkVMs como coprocessadores para terceirizar lógica complexa (por exemplo, RISC Zero Steel, Succinct Coprocessor).
zkMercados: Comercializar a computação de provas em redes de provas descentralizadas (por exemplo, Boundless), impulsionando o ZK para se tornar uma camada de computação universal.
Hoje, a tecnologia ZK evoluiu de um conceito criptográfico esotérico para um componente essencial da infraestrutura blockchain. Além de suportar escalabilidade e privacidade, ela também demonstra valor estratégico em interoperabilidade, conformidade financeira e áreas de vanguarda como ZKML (aprendizado de máquina de conhecimento zero). Com o aprimoramento contínuo de ferramentas, aceleração de hardware e redes de prova, o ecossistema ZK caminha rapidamente para uma adoção em larga escala e universal.
II. O panorama de aplicações da tecnologia ZK: escalabilidade, privacidade e interoperabilidade
Escalabilidade, privacidade e interoperabilidade e integridade de dados formam os três cenários de aplicação fundamentais da "computação confiável" baseada em ZK. Eles abordam diretamente os principais problemas inerentes ao blockchain: desempenho insuficiente, falta de privacidade e confiança entre múltiplas cadeias.
1. Escalabilidade: A escalabilidade é o caso de uso mais antigo e mais amplamente implementado para o ZK. A ideia central é mover a execução de transações para fora da blockchain e verificar apenas provas sucintas na blockchain, aumentando significativamente as transações por segundo (TPS) e reduzindo custos sem comprometer a segurança. Exemplos de caminhos incluem:
zkRollups (zkSync, Scroll, Polygon zkEVM): compressão de lotes de transações para escalabilidade.
zkEVMs: construindo circuitos no nível de instruções da EVM para compatibilidade nativa com Ethereum.
zkVMs de propósito geral(RISC Zero, Succinct): possibilitando a terceirização verificável de lógica arbitrária.
2. Privacidade: A privacidade visa comprovar a validade de uma transação ou ação sem revelar dados sensíveis. Aplicações típicas incluem:
Pagamentos privados (Zcash, Aztec): garantindo a validade da transferência sem divulgar valores ou contrapartes.
Votação privada e governança de DAO: possibilitando a governança e, ao mesmo tempo, mantendo a confidencialidade dos votos individuais.
Identidade privada / KYC(zkID, zkKYC): comprovar a “elegibilidade” sem divulgar informações desnecessárias.
3. Interoperabilidade e Integridade de Dados: A interoperabilidade é o caminho crítico do ZK para resolver problemas de confiança em um mundo com múltiplas cadeias. Ao gerar provas do estado de outra cadeia, as interações entre cadeias podem eliminar a dependência de servidores centralizados. Abordagens representativas incluem: zkBridges: provas de estado entre cadeias. Verificação de cliente leve: verificação eficiente dos cabeçalhos da cadeia de origem na cadeia de destino. Projetos principais: Polyhedra, Herodotus. Enquanto isso, o ZK também é amplamente utilizado em provas de dados e estado, como: zkQuery/zkSQL da Axiom, Space and Time para dados históricos e consultas SQL, e verificação de integridade de IoT e armazenamento, garantindo que os dados fora da cadeia sejam verificadamente confiáveis na cadeia.
Extensões Futuras Além desses três cenários fundamentais, a tecnologia ZK tem o potencial de se expandir para setores mais amplos:
IA (zkML): geração de provas verificáveis para inferência ou treinamento de modelos, possibilitando uma “IA confiável”.
Conformidade financeira: comprovação de reservas (PoR), compensação e auditoria, reduzindo a dependência da confiança.
Jogos e computação científica: garantindo a imparcialidade no GameFi ou a integridade dos experimentos no DeSci.
Em essência, todas essas iniciativas representam a expansão da "computação verificável + provas de dados" para diversos setores.
III. Além do zkEVM: A ascensão dos zkVMs de propósito geral e dos mercados de provas
Em 2022, o cofundador do Ethereum, Vitalik Buterin, apresentou os quatro tipos de zkEVMs (Tipo 1–4), destacando as compensações entre compatibilidade e desempenho:
Tipo 1 (Totalmente Equivalente): Bytecode idêntico ao Ethereum L1; menor custo de migração, mas comprovação mais lenta. Exemplo: Taiko.
Tipo 2 (Totalmente Compatível): Mantém alta equivalência com a EVM com otimizações mínimas de baixo nível; compatibilidade mais forte. Exemplos: Scroll, Linea.
Tipo 2.5 (Quase-Compatível): Pequenas modificações na EVM (por exemplo, custos de gás, suporte a pré-compilação), sacrificando compatibilidade limitada em prol de melhor desempenho. Exemplos: Polygon zkEVM, Kakarot (EVM na Starknet).
Tipo 3 (Parcialmente Compatível): Modificações arquitetônicas mais profundas permitem que a maioria dos aplicativos seja executada, mas não conseguem reutilizar totalmente a infraestrutura do Ethereum. Exemplo: zkSync Era.
Tipo 4 (Compatível com o nível da linguagem): Abandona a compatibilidade com bytecode, compilando diretamente de linguagens de alto nível para zkVM. Oferece o melhor desempenho, mas requer a reconstrução do ecossistema. Exemplo: Starknet (Cairo).
Esta fase foi frequentemente descrita como as “guerras do zkRollup”, com o objetivo de aliviar os gargalos de execução do Ethereum. No entanto, duas limitações principais logo se tornaram aparentes: (1) a dificuldade de circuitar a EVM, o que restringia a eficiência da prova, e (2) a constatação de que o potencial do ZK vai muito além da escalabilidade — abrangendo verificação entre cadeias, provas de dados e até mesmo computação de IA.
Nesse contexto, surgiram as zkVMs de propósito geral, substituindo a "mentalidade de compatibilidade com Ethereum" da zkEVM por uma mudança em direção à computação confiável agnóstica à blockchain. Construídas sobre conjuntos de instruções universais (por exemplo, RISC-V, LLVM IR, Wasm), as zkVMs suportam linguagens convencionais como Rust e C/C++, permitindo que os desenvolvedores criem lógica de aplicação arbitrária com bibliotecas consolidadas e, em seguida, gerem provas para verificação on-chain. Projetos representativos incluem RISC Zero (RISC-V) e Delphinus zkWasm (Wasm). Em essência, as zkVMs não são meramente ferramentas de escalabilidade do Ethereum, mas sim as "CPUs confiáveis" do mundo ZK.
Abordagem RISC-V: Representada pelo RISC Zero, essa abordagem adota diretamente o conjunto de instruções RISC-V aberto como núcleo do zkVM. Ela se beneficia de um ecossistema aberto, um conjunto de instruções simples e amigável para circuitos, e ampla compatibilidade com Rust, C e C++. É ideal para construir uma "zkCPU de propósito geral", embora não possua compatibilidade nativa com o bytecode do Ethereum e, portanto, exija a integração de um coprocessador.
Abordagem LLVM IR: Representada pelo Succinct SP1, essa abordagem utiliza o LLVM IR como front-end para suporte a múltiplas linguagens, enquanto o back-end permanece um zkVM RISC-V. Em essência, trata-se de um "front-end LLVM + back-end RISC-V". Isso o torna mais versátil do que o RISC-V puro, mas a complexidade do LLVM IR aumenta a sobrecarga de comprovação.
Abordagem Wasm: Representada pelo Delphinus zkWasm, essa rota aproveita o ecossistema maduro do WebAssembly, amplamente conhecido pelos desenvolvedores e inerentemente multiplataforma. No entanto, as instruções WASM são mais complexas e menos amigáveis aos circuitos, o que limita a comprovação da eficiência em comparação com RISC-V e LLVM IR.
À medida que a tecnologia ZK evolui, ela caminha para a modularização e a comercialização:
As zkVMs fornecem o ambiente de execução universal e confiável — a camada CPU/compilador da computação de conhecimento zero — oferecendo a base computacional verificável para aplicações.
Os coprocessadores zk encapsulam zkVMs como aceleradores, permitindo que a EVM e outras blockchains terceirizem computações complexas fora da blockchain e, em seguida, as verifiquem na blockchain por meio de provas. Exemplos incluem RISC Zero Steel e Lagrange, que desempenham funções análogas às de "GPUs/coprocessadores".
Os zkMarketplaces levam isso ainda mais longe, descentralizando a distribuição de tarefas de prova. Nós de prova globais competem para concluir cargas de trabalho, criando um mercado computacional para provas de conhecimento zero. O Boundless é um excelente exemplo disso.
Assim, a pilha de tecnologia de conhecimento zero está gradualmente formando uma progressão: zkVM → zk-Coprocessor → zkMarketplace. Essa evolução marca a transformação das provas ZK de uma ferramenta de escalabilidade restrita ao Ethereum para uma infraestrutura de computação confiável de propósito geral. Dentro dessa trajetória, a adoção do RISC-V como kernel zkVM pelo RISC Zero atinge o equilíbrio ideal entre abertura, eficiência de circuitalização e compatibilidade com o ecossistema. Isso não apenas proporciona uma experiência de desenvolvimento acessível, mas também se estende por camadas como Steel, Bonsai e Boundless para evoluir zkVMs em zk-Coprocessors e mercados de provas descentralizados — desbloqueando horizontes de aplicação muito mais amplos.
IV. Trajetória Técnica e Panorama do Ecossistema do RISC Zero
RISC-V é uma arquitetura de conjunto de instruções aberta e livre de royalties, não controlada por nenhum fornecedor específico, inerentemente alinhada com a descentralização. Com base nessa arquitetura aberta, a RISC Zero desenvolveu uma zkVM compatível com linguagens de propósito geral como Rust, superando as limitações do Solidity dentro do ecossistema Ethereum. Isso permite que desenvolvedores compilem diretamente programas Rust padrão em aplicações capazes de gerar provas de conhecimento zero. Como resultado, a tecnologia ZK se estende além dos contratos inteligentes em blockchain, alcançando o domínio mais amplo da computação de propósito geral.
RISC0 zkVM: Um Ambiente de Computação Confiável de Propósito Geral
Ao contrário dos projetos zkEVM, que precisam ser compatíveis com o complexo conjunto de instruções EVM, o zkVM RISC0 é construído sobre a arquitetura RISC-V, mais simples e flexível. Os aplicativos são estruturados como Código Convidado, compilados em binários ELF. O Host executa esses programas por meio do Executor, registrando o processo de execução como uma Sessão. Um Prover gera então um Recibo verificável, que contém tanto a saída pública (Diário) quanto a prova criptográfica (Selo). Qualquer terceiro pode verificar o Recibo para confirmar a correção do cálculo, sem precisar executá-lo novamente.
Lançamento do R0VM 2.0 (abril de 2025): Entrando na era do zkVM em tempo real.
Em abril de 2025, o lançamento do R0VM 2.0 marcou o início das zkVMs em tempo real: o tempo de prova de blocos do Ethereum foi reduzido de 35 minutos para 44 segundos, os custos caíram até 5 vezes e a memória do usuário foi expandida para 3 GB, possibilitando cenários de aplicação mais complexos. Dois pré-compilados críticos — BN254 e BLS12-381 — também foram adicionados, atendendo plenamente às necessidades principais do Ethereum. Mais importante ainda, o R0VM 2.0 introduziu a verificação formal de segurança, com a maioria dos circuitos RISC-V já verificados deterministicamente. A meta é alcançar a primeira zkVM em tempo real em nível de bloco (provas em menos de 12 segundos) até julho de 2025.
zkCoprocessor Steel: Uma ponte para computação fora da cadeia
A ideia central de um zkCoprocessor é descarregar tarefas computacionais complexas da execução on-chain para ambientes off-chain, retornando apenas uma prova de conhecimento zero do resultado. Os contratos inteligentes precisam apenas verificar a prova, em vez de recalcular toda a tarefa, reduzindo significativamente os custos de gás e eliminando gargalos de desempenho. O Steel do RISC0 fornece ao Solidity uma interface de prova externa, permitindo a terceirização de consultas de estado histórico em larga escala ou computações em lote entre blocos — possibilitando que até dezenas de blocos do Ethereum sejam verificados com uma única prova.
Bonsai: Serviço de comprovação baseado em SaaS
O Bonsai da RISC Zero é uma plataforma Prover-as-a-Service hospedada oficialmente que distribui tarefas de comprovação em seus clusters de GPUs, oferecendo comprovações de alto desempenho sem a necessidade de hardware gerenciado pelo desenvolvedor. Com o SDK Bento, os contratos Solidity podem interagir perfeitamente com o zkVM. Por outro lado, o Boundless descentraliza o processo de comprovação por meio de um mercado aberto, tornando as duas abordagens complementares.
Matriz completa de produtos do RISC Zero
O ecossistema do RISC Zero se estende a partir da zkVM, formando gradualmente uma matriz completa que abrange as camadas de execução, rede, mercado e aplicação:
V. O Mercado ZK: A Descentralização da Computação Confiável
O mercado ZK desvincula o processo custoso e complexo de geração de provas, transformando-o em uma commodity computacional descentralizada e negociável. Através de redes de provadores distribuídas globalmente, as tarefas são terceirizadas por meio de lances competitivos, equilibrando dinamicamente custo e eficiência. Incentivos econômicos atraem continuamente participantes de GPUs e ASICs, criando um ciclo de auto-reforço. Boundless e Succinct são representantes líderes desse setor emergente.
5.1 Boundless: Um Mercado de Computação de Conhecimento Zero de Propósito Geral
Conceito e posicionamento
O Boundless é um protocolo ZK de propósito geral desenvolvido pela RISC Zero, projetado para fornecer recursos de computação verificáveis e escaláveis para todas as blockchains. Sua principal inovação reside na separação da geração de provas do consenso da blockchain, distribuindo tarefas computacionais por meio de um mecanismo de mercado descentralizado.
Os desenvolvedores submetem solicitações de provas, e os nós de prova competem para executá-las por meio de mecanismos de incentivo descentralizados. As recompensas são emitidas com base na Prova de Trabalho Verificável (PoW), onde, diferentemente do desperdício de energia da PoW tradicional, o poder computacional é convertido diretamente em resultados ZK úteis para aplicações reais. Dessa forma, o Boundless transforma recursos computacionais brutos em ativos de valor intrínseco.
V. O Mercado ZK: A Descentralização da Computação Confiável
O mercado ZK desvincula o processo complexo e dispendioso de geração de provas e o transforma em uma commodity computacional descentralizada e negociável. Por meio de redes de provadores distribuídas globalmente, as tarefas são terceirizadas via licitação competitiva, equilibrando dinamicamente custo e eficiência. Incentivos econômicos atraem continuamente participantes com GPUs e ASICs, formando um ciclo de auto-reforço. Boundless e Succinct são pioneiras representativas nesse setor.
5.1 Boundless: Mercado de Computação ZK de Propósito Geral
Arquitetura e Mecanismo
O fluxo de trabalho Boundless consiste em:
Envio de solicitações – Os desenvolvedores enviam programas e contribuições para o zkVM ao marketplace.
Licitação de nós – Os nós provadores avaliam a tarefa e fazem lances; uma vez definidos, o nó vencedor obtém os direitos de execução.
Geração e agregação de provas – Cálculos complexos são divididos em subtarefas, cada uma gerando provas zk-STARK, que são então agregadas recursivamente em uma única prova sucinta, reduzindo drasticamente os custos de verificação on-chain.
Verificação entre cadeias– A Boundless fornece interfaces de verificação unificadas em várias cadeias, permitindo "construir uma vez, reutilizar em todos os lugares".
Essa arquitetura permite que os contratos inteligentes confirmem cálculos verificando uma prova curta — sem reexecutar tarefas pesadas — superando assim os limites de gás e capacidade de bloco.
Ecossistema e Aplicações
Como um protocolo de camada de mercado, o Boundless complementa outros produtos RISC Zero:
Steel – Um coprocessador zk da EVM para terceirizar a execução de código Solidity complexo para ambientes off-chain com verificação baseada em provas.
OP Kailua – Um caminho de atualização ZK para cadeias OP Stack, melhorando tanto a segurança quanto a finalidade.
A Boundless tem como objetivo realizar provas em tempo real com tempo inferior a 12 segundos no Ethereum, viabilizadas por otimizações FRI, paralelização polinomial e aceleração por hardware VPU. À medida que os nós de prova e a demanda aumentam, a Boundless busca formar uma rede de computação auto-reforçada, reduzindo os custos de gás e, ao mesmo tempo, abrindo novas fronteiras de aplicação, como IA verificável na blockchain, liquidez entre blockchains e computação ilimitada.
5.2 Sem Limites para Aplicativos: Quebrando o Teto do Gás
O Boundless for Apps oferece aos aplicativos Ethereum e de camada 2 "capacidade computacional infinita" ao descarregar a lógica complexa para a rede de provas descentralizada e, em seguida, verificar os resultados na blockchain. Suas vantagens incluem: execução ilimitada, custos de gás constantes, compatibilidade com Solidity/Vyper e suporte nativo a operações entre blockchains.
No núcleo está o Steel, o coprocessador zk para a EVM, que permite aos desenvolvedores criar contratos com consultas de estado em larga escala, computações entre blocos e lógica orientada a eventos. Combinado com o cliente leve R0-Helios, o Steel também oferece suporte à verificação de dados entre cadeias diferentes, como Ethereum e OP Stack. Projetos como o EigenLayer já estão explorando integrações, o que destaca seu potencial em DeFi e interoperabilidade entre múltiplas cadeias.
Aço: a camada de computação escalável da EVM
O principal objetivo do Steel é superar as limitações do Ethereum em relação ao gás, à execução de blocos individuais e ao acesso ao estado histórico. Ao migrar a lógica complexa para fora da cadeia e retornar apenas provas, o Steel oferece poder computacional praticamente ilimitado com custos de verificação fixos.
No Steel 2.0, os desenvolvedores obtêm três recursos principais para expandir o design de contratos:
Lógica orientada a eventos – Utilizando logs de eventos como entradas diretas, eliminando a dependência de indexadores centralizados.
Consultas de estado histórico – Acesso a qualquer espaço de armazenamento ou saldo de conta desde a atualização Dencun do Ethereum.
Computação entre blocos– Realizar cálculos que abrangem vários blocos (por exemplo, médias móveis, métricas cumulativas) e confirmá-los na blockchain com uma única prova.
Esse design reduz significativamente os custos e torna possíveis aplicações antes inviáveis, como computação de alta frequência, retrocesso de estado e lógica entre blocos. O Steel está se consolidando como uma ponte fundamental entre a computação fora da cadeia e a verificação na cadeia.
5.3 Sem Limites para Rollups: Liquidação de Rollups Acelerada por ZK
O Boundless for Rollups aproveita a rede de provas descentralizada para fornecer liquidações mais rápidas e seguras para L2s baseadas em OP Stack. Suas principais vantagens incluem:
Finalidade mais rápida – Redução do tempo de liquidação de 7 dias para aproximadamente 3 horas (modo híbrido) ou menos de 1 hora (modo de validade).
Segurança reforçada – Atualizações graduais de provas de fraude ZK para provas de validade completas, alcançando garantias criptográficas.
Progressão descentralizada – Impulsionada por uma rede de comprovadores distribuídos com baixos requisitos de garantia, permitindo uma rápida descentralização da Fase 2.
Escalabilidade nativa– Manter um desempenho estável e custos previsíveis, mesmo em cadeias de alto rendimento.
OP Kailua: O Caminho de Aprimoramento ZK para Correntes OP
Lançado pela RISC Zero, o OP Kailua é a principal solução Boundless para Rollups. Ele permite que as cadeias OP Stack superem as limitações de desempenho e segurança dos rollups otimistas tradicionais.
Kailua suporta dois modos para atualização progressiva:
Modo Híbrido (Provas de Fraude ZK) – Substitui as provas de falhas interativas de múltiplas rodadas pelas Provas de Fraude ZK, simplificando a resolução de disputas e reduzindo custos. O agente malicioso arca com as taxas de comprovação, reduzindo o tempo de resolução para aproximadamente 3 horas.
Modo de Validade (Provas de Validade ZK)– Transição para o ZK Rollup completo, eliminando totalmente as disputas com provas de validade, alcançando a finalidade em menos de 1 hora e as mais altas garantias de segurança.
Kailua permite que blockchains OP evoluam suavemente de Optimistic → Hybrid → ZK Rollup, atendendo aos requisitos de descentralização do Estágio 2 e reduzindo custos em cenários de alto volume de transações. Aplicativos e ferramentas permanecem intactos, garantindo a continuidade do ecossistema e, ao mesmo tempo, desbloqueando finalidade rápida, custos de staking reduzidos e segurança criptográfica. O Eclipse já integrou Kailua para ZK Fraud Proofs, enquanto o BOB migrou completamente para a arquitetura ZK Rollup.
5.4 O Sinal: Camada de Consenso ZK para Interoperabilidade entre Cadeias
Posicionamento e Mecanismo
O Signal é o principal aplicativo da Boundless — um cliente de consenso ZK de código aberto. Ele comprime eventos de finalização da Beacon Chain do Ethereum em uma única prova ZK, verificável por qualquer blockchain ou contrato. Isso possibilita a interoperabilidade entre blockchains com confiança minimizada, sem a necessidade de multisigs ou oráculos. Seu principal valor reside em conferir "legibilidade global" ao estado final do Ethereum, estabelecendo uma base para liquidez e lógica entre blockchains, ao mesmo tempo que reduz custos redundantes de computação e gás.
Mecanismo de funcionamento
Impulsione o Sinal – Os usuários podem enviar solicitações de comprovação para “impulsionar” o sinal; todo o ETH é direcionado para financiar novas comprovações, estender a longevidade do sinal e beneficiar todas as blockchains e aplicativos.
Prove The Signal – Qualquer pessoa pode executar um nó de prova Boundless para gerar e transmitir provas de bloco Ethereum, substituindo a verificação multisig por uma camada de consenso "matemática sobre confiança".
Caminho de Expansão
Gere provas contínuas dos blocos finalizados do Ethereum, formando o "Sinal Ethereum".
Estender para outras blockchains, criando um sinal unificado de múltiplas cadeias.
Interconectar cadeias em uma camada de sinal criptográfico compartilhada, permitindo a interoperabilidade entre cadeias sem ativos encapsulados ou pontes centralizadas.
Mais de 30 equipes já estão contribuindo para o The Signal. Mais de 1.500 nós de prova estão ativos no marketplace da Boundless, competindo por recompensas de 0,5% em tokens. Qualquer proprietário de GPU pode participar sem precisar pedir permissão. O The Signal já está disponível na Mainnet Beta da Boundless, com solicitações de prova de nível de produção já suportadas na Base.
VI. Roteiro da Boundless, Progresso da Mainnet e Ecossistema
A Boundless seguiu um caminho de desenvolvimento faseado bem definido:
Fase I – Acesso para desenvolvedores: Acesso antecipado para desenvolvedores com recursos de teste gratuitos para acelerar a experimentação do aplicativo.
Fase II – Testnet Pública 1: Lançamento da primeira testnet pública, introduzindo um mercado bilateral onde desenvolvedores e nós de prova interagem em ambientes reais.
Fase III – Testnet Pública 2: Ativação das estruturas de incentivo e do modelo econômico completo para testar uma rede de provas descentralizada e autossustentável.
Fase IV – Mainnet: Lançamento completo da mainnet, fornecendo capacidade computacional ZK universal para todas as blockchains.
Em 15 de julho de 2025, a versão beta da Mainnet da Boundless foi oficialmente lançada, com a implantação em produção integrada inicialmente à Base. Os usuários agora podem enviar solicitações de prova com fundos reais, enquanto os nós de prova participam sem permissão, com cada nó suportando até 100 GPUs para lances. Como aplicação de demonstração, a equipe lançou o The Signal, um cliente de consenso ZK de código aberto que compacta os eventos de finalização da Beacon Chain do Ethereum em uma única prova verificável por qualquer blockchain ou contrato. Isso efetivamente confere ao estado finalizado do Ethereum "legibilidade global", estabelecendo as bases para a interoperabilidade entre blockchains e a liquidação segura.
Os dados do Boundless Explorer destacam o rápido crescimento e a resiliência da rede:
Em 18 de agosto de 2025, a rede havia processado 542,7 trilhões de ciclos de computação, concluído 399.000 pedidos e suportado 106 programas independentes.
A maior prova individual ultrapassou 106 bilhões de ciclos de computação (18 de agosto).
O pico de desempenho computacional atingiu 25,93 MHz (14 de agosto), estabelecendo recordes no setor.
O volume diário de pedidos ultrapassou 15.000 em meados de agosto, com o pico diário de computação excedendo 40 trilhões de ciclos, demonstrando um crescimento exponencial.
A taxa de sucesso no cumprimento dos pedidos manteve-se consistentemente entre 98% e 100%, demonstrando um mecanismo de mercado maduro e confiável.
Com a intensificação da competição entre os provadores, os custos unitários de computação caíram para quase 0 Wei por ciclo, sinalizando a chegada de uma era de computação verificável em larga escala, de alta eficiência e baixo custo.
A Boundless também atraiu forte participação de importantes empresas de mineração. Grandes empresas como a Bitmain começaram a desenvolver mineradores ASIC dedicados, enquanto a 6block, Bitfufu, Powerpool, Intchain e Nano Labs integraram recursos de pools de mineração existentes em nós de prova ZK. Esse influxo de mineradores marca o progresso da Boundless rumo a um mercado ZK em escala industrial, preenchendo a lacuna entre a pesquisa criptográfica e a infraestrutura computacional convencional.
VII. Projeto de Tokenomics da ZK Coin
ZK Coin (ZKC) é o token nativo do protocolo Boundless, servindo como âncora econômica e de segurança de toda a rede. Seu objetivo é construir um mercado confiável, de baixa fricção e sustentavelmente escalável para computação de conhecimento zero.
O fornecimento total de ZKC é de 1 bilhão, com um modelo de inflação anual decrescente: inflação anual inicial de aproximadamente 7%, diminuindo gradualmente para 3% no oitavo ano e permanecendo estável a partir de então. Todos os tokens recém-emitidos são distribuídos por meio de Prova de Trabalho Verificável (PoVW), garantindo que a emissão esteja diretamente vinculada a tarefas computacionais reais.
A Prova de Trabalho Verificável (PoVW) é a principal inovação da Boundless. Ela transforma a computação verificável de uma capacidade técnica em uma mercadoria mensurável e negociável. Os blockchains tradicionais dependem da execução redundante por todos os nós, limitada pelos gargalos de computação de um único nó. A PoVW, por outro lado, permite a execução única com verificação em toda a rede por meio de provas de conhecimento zero. Ela também introduz um sistema de medição sem confiança que converte o trabalho computacional em um recurso precificado. Isso permite que a computação seja escalada sob demanda, descubra preços justos por meio de mercados, formalize contratos de serviço e incentive a participação de provadores — criando um ciclo de feedback positivo orientado pela demanda. Pela primeira vez, os blockchains podem transcender a escassez de computação, possibilitando aplicações em interoperabilidade entre cadeias, execução fora da cadeia, computação complexa e casos de uso que preservam a privacidade. Assim, a PoVW estabelece a base econômica e técnica para a Boundless como uma infraestrutura universal de computação de conhecimento zero.
Funções do Token e Captura de Valor
ZKC funciona como o token nativo e a espinha dorsal econômica da Boundless:
Staking e Garantia – Os provedores de provas devem fazer staking de ZKC (≥10 vezes a taxa máxima de solicitação) antes de aceitar tarefas. Caso não entreguem as provas no prazo, serão aplicadas penalidades: 50% dos ZKC serão perdidos (queimados) e os outros 50% serão redistribuídos para outros provedores de provas.
Prova de Trabalho Verificável (PoVW) – Os provedores de provas ganham recompensas em ZKC por gerar provas, de forma análoga à mineração. Distribuição de recompensas: 75% para os provedores de provas e 25% para os participantes do protocolo.
Camada de Pagamento Universal – Os aplicativos pagam taxas de comprovação em tokens nativos (ETH, USDC, SOL, etc.), mas os comprovantes são obrigados a depositar ZKC em staking. Assim, todas as comprovações são, em última instância, garantidas por ZKC.
Governança – Os detentores de ZKC participam da governança do protocolo, incluindo regras do mercado, integrações com o zkVM e financiamento do ecossistema.
Distribuição de Tokens (Fornecimento Inicial: 1 bilhão de ZKC)
Crescimento do ecossistema (49%)
Fundo de Ecossistema de 31%: apoia o desenvolvimento de aplicativos, ferramentas para desenvolvedores, educação e manutenção de infraestrutura; desbloqueio linear ao longo de 3 anos.
Fundo de Crescimento Estratégico de 18%: para integrações empresariais, parcerias de desenvolvimento de negócios e clusters de provadores institucionais; desbloqueio gradual em 12 meses, com base em marcos.
Equipe principal e primeiros colaboradores (23,5%)
20% para a equipe principal e os primeiros colaboradores: 25% de participação integral após 1 ano, com o restante sendo liberado linearmente ao longo de 24 meses.
3,5% alocados ao RISC Zero para P&D e bolsas de pesquisa em zkVM.
Investidores (21,5%): Capital estratégico e investidores técnicos; 25% de investimento inicial após 1 ano, com o restante sendo liberado linearmente ao longo de 24 meses.
Comunidade (6%)
Venda pública e airdrop: fortalecem a participação da comunidade.
Venda pública: 50% desbloqueados no TGE, 50% após 6 meses.
Airdrops: 100% desbloqueados no TGE.
ZKC é o pilar fundamental, tanto em termos econômicos quanto de segurança, do protocolo Boundless.
Ele garante a entrega de provas por meio de staking, vincula a emissão à produção computacional real via PoVW, sustenta a camada universal de demanda de ZK por meio de colateralização e capacita os detentores a orientar a evolução do protocolo. À medida que a demanda por provas cresce e o slashing/burning reduz a oferta circulante, mais ZKC será bloqueado e removido de circulação — criando suporte de valor a longo prazo por meio das forças duplas do aumento da demanda e da contração da oferta.
VIII. Histórico da Equipe e Captação de Recursos para o Projeto
A RISC Zero foi fundada em 2021. A equipe é composta por engenheiros e empreendedores de organizações líderes em tecnologia e criptomoedas, como Amazon, Google, Intel, Meta, Microsoft, Coinbase, Mina Foundation e O(1) Labs. Eles construíram a primeira zkVM do mundo capaz de executar código arbitrário e agora estão construindo um ecossistema universal de computação de conhecimento zero sobre ela.
Equipe principal
Jeremy Bruestle – Cofundador e CEO da RISC Zero
Jeremy é um tecnólogo veterano e empreendedor serial com mais de 20 anos de experiência em arquitetura de sistemas e computação distribuída. Anteriormente, atuou como Engenheiro Principal na Intel, cofundador e Cientista-Chefe na Vertex.AI e cofundador e membro do conselho na Spiral Genetics. Em 2022, fundou a RISC Zero e tornou-se CEO, liderando a pesquisa e a estratégia do zkVM para impulsionar a adoção de provas de conhecimento zero em computação de propósito geral.Frank Laub – Cofundador e CTO da RISC Zero
Frank possui vasta experiência em compiladores de aprendizado profundo e tecnologias de máquinas virtuais. Trabalhou com software de aprendizado profundo na Intel Labs e na Movidius, e adquiriu ampla experiência em engenharia na Vertex.AI e na Peach Tech. Desde que cofundou a RISC Zero em 2021, atua como CTO, liderando o desenvolvimento do núcleo zkVM, da rede Bonsai e do ecossistema de ferramentas para desenvolvedores.Shiv Shankar – CEO, Boundless
Shiv possui mais de 15 anos de experiência em gestão de tecnologia e engenharia, abrangendo fintech, armazenamento em nuvem, conformidade e sistemas distribuídos. Em 2025, tornou-se CEO da Boundless, onde lidera equipes de produto e engenharia para impulsionar a comercialização de provas de conhecimento zero e o desenvolvimento de infraestrutura de computação entre cadeias.Joe Restivo – COO, RISC Zero
Joe é um empreendedor e especialista em operações com três exits bem-sucedidos. Duas de suas empresas foram adquiridas pela Accenture e pela GitLab. Ele também leciona gestão de riscos na Escola de Negócios da Universidade de Seattle. Joe ingressou na RISC Zero em 2023 como COO, supervisionando as operações e o crescimento da empresa.Brett Carter – Vice-presidente de Produto, RISC Zero
Brett traz consigo vasta experiência em gestão de produtos e ecossistemas. Anteriormente, trabalhou como gerente sênior de produtos na O(1) Labs. Desde que ingressou na RISC Zero em 2023, atua como vice-presidente de produtos, responsável pela estratégia de produtos, adoção do ecossistema e integração com as iniciativas de marketplace da Boundless.
Angariação de fundos
Em julho de 2023, a RISC Zero concluiu uma rodada de financiamento Série A de US$ 40 milhões, liderada pela Blockchain Capital. O investidor líder da rodada seed, Bain Capital Crypto, também participou, juntamente com Galaxy Digital, IOSG, RockawayX, Maven 11, Fenbushi Capital, Delphi Digital, Algaé Ventures, IOBC, Zero Dao (Tribute Labs), Figment Capital, a100x e Alchemy.
IX. Análise Competitiva: zkVMs e Mercados ZK
Um concorrente importante que combina tanto um zkVM quanto um zkMarketplace é o Succinct, que consiste no zkVM SP1 e na Succinct Prover Network (SPN).
O SP1 zkVM é uma máquina virtual de conhecimento zero de propósito geral, construída sobre RISC-V com uma interface LLVM IR, projetada para suportar múltiplas linguagens, reduzir as barreiras de desenvolvimento e melhorar o desempenho.
A Succinct Prover Network (SPN) é um mercado de provas descentralizado implementado no Ethereum, onde as tarefas são alocadas por meio de staking e lances, e o token $PROVE é usado para pagamentos, incentivos aos provadores e segurança da rede.
Em contraste, o RISC Zero segue uma estratégia de "motor duplo": a Bonsai fornece um Prover-as-a-Service hospedado oficialmente, com alto desempenho e estabilidade de nível empresarial, enquanto a Boundless constrói um mercado de provas aberto e descentralizado que permite a participação de qualquer nó de GPU/CPU, maximizando a descentralização e a abrangência, embora com desempenho menos consistente.
Comparação entre RISC-V e Wasm
RISC-V e Wasm representam duas abordagens principais para zkVMs de propósito geral:
RISC-V é um conjunto de instruções de hardware aberto com regras simples e um ecossistema maduro, o que o torna adequado para otimização do desempenho de circuitos e aceleração de hardware verificável no futuro. No entanto, sua integração com ecossistemas de aplicativos Web tradicionais é limitada.
Em contraste, o Wasm é um formato de bytecode multiplataforma com suporte nativo a vários idiomas e forte compatibilidade para migração de aplicações web. Seu ecossistema de tempo de execução é maduro, embora sua arquitetura baseada em pilha imponha limites de desempenho mais baixos em comparação com o RISC-V.
De forma geral, as zkVMs RISC-V são mais adequadas para expansão de computação de alto desempenho e propósito geral, enquanto a zkWasm apresenta vantagens mais significativas em casos de uso multilíngue e orientados à Web.
X. Conclusão: Lógica de Negócios, Implementação de Engenharia e Riscos Potenciais
A tecnologia de conhecimento zero (ZK) está evoluindo de uma ferramenta de escalabilidade de propósito único para uma base geral para computação confiável em blockchain. Ao aproveitar a arquitetura aberta RISC-V, o RISC Zero se liberta da dependência da EVM, estendendo as provas de conhecimento zero para computação off-chain de propósito geral. Isso, por sua vez, deu origem aos coprocessadores zk e a mercados de provas descentralizados, como Bonsai e Boundless. Juntos, esses componentes formam uma camada escalável, negociável e governável de confiança computacional, desbloqueando maior desempenho, interoperabilidade mais robusta e cenários de aplicação mais amplos para sistemas blockchain.
Dito isso, o setor de ZK ainda enfrenta desafios significativos no curto prazo. Após o pico de entusiasmo pelo ZK no mercado primário em 2023, o lançamento de projetos zkEVM convencionais em 2024 absorveu grande parte da atenção do mercado secundário. Enquanto isso, as principais equipes de L2 dependem em grande parte de projetos de provadores internos, enquanto aplicações como verificação entre cadeias, zkML e computação com preservação de privacidade permanecem incipientes, com demanda limitada. Isso sugere que os mercados de provadores abertos podem ter dificuldades para sustentar altos volumes de pedidos no curto prazo, com seu valor residindo mais na agregação antecipada da oferta de provadores para capturar a demanda quando ela eventualmente aumentar.
Da mesma forma, embora as zkVMs ofereçam barreiras técnicas menores, elas enfrentam dificuldades para penetrar diretamente no ecossistema Ethereum. Seu valor único pode residir, em vez disso, na computação complexa fora da cadeia, na verificação entre cadeias e nas integrações com cadeias que não sejam a EVM.
De modo geral, a trajetória evolutiva da tecnologia de conhecimento zero está se tornando clara: dos experimentos de compatibilidade das zkEVMs ao surgimento das zkVMs de propósito geral e, agora, aos mercados de provas descentralizados representados pela Boundless. As provas de conhecimento zero estão avançando rapidamente rumo à comoditização e à infraestruturação. Tanto para investidores quanto para desenvolvedores, o momento atual ainda pode ser uma fase de validação, mas nela reside a base do próximo ciclo da indústria.
Aviso: Este artigo inclui conteúdo com auxílio de inteligência artificial. Embora eu tenha me esforçado ao máximo para garantir a precisão e a confiabilidade das informações fornecidas, ainda podem existir erros ou omissões. Este artigo tem fins meramente informativos e de pesquisa, e não constitui aconselhamento de investimento, solicitação ou qualquer forma de serviço financeiro. Observe que tokens e ativos digitais relacionados apresentam riscos significativos e alta volatilidade. Os leitores devem exercer julgamento independente e assumir total responsabilidade antes de tomar qualquer decisão de investimento.