O que é Brevis (BREV)? Guia completo da camada de computação infinita ZK projetada para Web3

O consenso da blockchain exige que cada validador repita o mesmo cálculo, tornando o processamento on-chain caro e limitado. Essa restrição faz com que contratos inteligentes tenham dificuldades para processar grandes volumes de dados de transações históricas, criando um gargalo computacional de longa data.

Ao priorizar “provar o trabalho em vez de repeti-lo”, Brevis permite que resultados de cálculos off-chain sejam verificados on-chain em milissegundos. Isso estabelece uma base computacional escalável e confiável para DeFi, aplicações orientadas por dados e casos de uso de IA.

O que é Brevis? Por que ela é chamada de “camada de computação ilimitada” do Web3?

Brevis é uma plataforma de computação verificável que transfere cálculos complexos para fora da blockchain e utiliza provas de conhecimento zero para garantir a integridade dos resultados. Os validadores on-chain evitam a execução repetida e apenas verificam uma prova concisa de que “o cálculo foi realizado corretamente”, reduzindo significativamente os custos em comparação com a computação direta.

A denominação “camada de computação ilimitada” aborda as limitações computacionais on-chain: redes como Ethereum limitam o processamento por transação, dificultando análises complexas, inferência de modelos ou agregação cross-chain diretamente na blockchain. A execução off-chain com verificação on-chain dissocia a escala computacional do limite de gas do bloco.

Esta tabela resume o stack técnico: Pico zkVM e ZK Data Coprocessor realizam a computação, coChain entrega confiança, e Pico Prism, Vera e ProverNet viabilizam provas em tempo real, procedência de conteúdo e fornecimento de provas.

Como funciona o ZK Coprocessor da Brevis?

Contratos inteligentes são quase “cegos ao histórico”—ler e processar grandes volumes de transações históricas diretamente on-chain é inviável devido ao alto custo. Para que contratos possam tomar decisões com base no comportamento on-chain de longo prazo de um usuário, é necessário um mecanismo que não exija a reexecução de todos os dados on-chain.

O ZK Data Coprocessor foi criado para isso: acessa dados históricos ou cross-chain e realiza cálculos off-chain, retornando “resultados mais uma prova criptográfica de que os dados existem e foram processados corretamente”. Contratos inteligentes podem então verificar e confiar no resultado on-chain em milissegundos.

O fluxo de dados de computação verificável possui quatro etapas: a aplicação envia uma solicitação; o coprocessador calcula off-chain usando dados reais on-chain; é gerada uma prova ZK do cálculo correto; e o contrato inteligente verifica e aceita o resultado.

Figura 1. Fluxo de dados de computação verificável da Brevis: solicitação da aplicação → computação off-chain (Pico zkVM e ZK Data Coprocessor usando dados reais on-chain) → geração de prova ZK → verificador on-chain valida e retorna o resultado.

Qual o papel do Pico zkVM na arquitetura da Brevis?

Pico zkVM é a máquina virtual modular open-source de conhecimento zero da Brevis. Permite que desenvolvedores escrevam qualquer lógica de computação em Rust e gerem provas. Como camada de execução de propósito geral para computação verificável, o Pico zkVM unifica “escrita de programas” e “prova de execução correta” em uma única ferramenta.

Sua arquitetura “glue-and-coprocessor” utiliza um núcleo RISC-V de propósito geral como “cola” para executar programas em Rust, enquanto operações comuns, como hashing Keccak-256, verificação de assinatura e inferência de machine learning, são direcionadas a “precompiles” dedicados para aceleração. Segundo a Brevis, esse design pode aumentar a velocidade de geração de provas em aproximadamente 10x a 80x.

Como coChain e o modelo de segurança criptoeconômica garantem computação confiável?

A Brevis oferece dois modelos de segurança: pure-ZK e OP / coChain. A diferença central é “o que torna o resultado confiável”—pure-ZK depende exclusivamente de provas criptográficas, enquanto OP / coChain adiciona uma camada criptoeconômica. Com o Brevis SDK, é possível escrever a lógica de negócio uma vez e implantá-la sob qualquer modelo.

coChain é uma blockchain PoS com staking e slashing on-Ethereum. Validadores geram resultados usando dados de nó de arquivo da cadeia relevante, alcançam consenso PoS e submetem uma assinatura agregada como “proposta” para a cadeia de solicitação, entrando em uma “janela de desafio da aplicação”.

Se alguém “desafiar” com sucesso um resultado incorreto durante a janela usando uma prova ZK, o stake do validador é reduzido no Ethereum. Se não houver desafio, o resultado pode ser usado pelo dApp sem custos de prova. coChain planeja integrar EigenLayer para ajuste dinâmico do nível de segurança.

Esta tabela compara os dois modelos: pure-ZK é ideal para cenários que exigem máximo determinismo, enquanto coChain é mais flexível em custo e throughput. Ambos podem ser usados de forma independente ou combinada.

Para que serve o token BREV no ecossistema Brevis?

BREV é o token utilitário e de governança nativo da rede Brevis, impulsionando a economia de oferta de provas. Suas funções se dividem em três categorias: pagamento, garantia e governança, diretamente ligadas aos incentivos dos Provers e ao slashing, conforme descrito em BREV Token e coChain.

Essas três funções formam um ciclo fechado: usuários pagam por provas, Provers fazem stake para aceitar tarefas e a comunidade governa os parâmetros—integrando qualidade das provas e segurança da rede.

Como o Brevis é diferente de oracles e outros ZK Coprocessors?

Brevis e oracles atuam em camadas diferentes: oracles trazem dados off-chain para on-chain, enquanto Brevis foca em computar e provar a correção de dados on-chain e históricos. Compreender a diferença entre “transporte de dados” e “computação verificável” é fundamental para entender a distinção entre Brevis e oracles.

Oracles normalmente dependem da confiança em nós ou provedores de dados; Brevis utiliza provas de conhecimento zero para que participantes on-chain possam verificar diretamente a correção. Em relação a outros ZK coprocessors, Brevis se destaca por seu Pico zkVM de uso geral, ZK Data Coprocessor e modelo dual pure-ZK/coChain.

Quais são os cenários de aplicação real (Real Adoption) do Brevis?

O “Real Adoption” da Brevis foca na implantação de computação verificável em negócios práticos. Segundo o blog oficial da Brevis (2025), já foram geradas mais de 340 milhões (340M+) de provas, cobrindo mais de 50 protocolos em mais de 8 blockchains, com programas de incentivos e recompensas totalizando mais de US$ 300 milhões.

Incentivos orientados por dados são um caso típico: protocolos podem distribuir recompensas com base no histórico real on-chain dos usuários (por exemplo, volume negociado, tempo de holding), com provas ZK garantindo que as recompensas sejam à prova de manipulação. ProverNet é um mercado descentralizado de provas operando no mainnet, onde Provers precisam fazer stake em BREV para participar e são penalizados em caso de inadimplência.

Pico Prism fornece provas de bloco em tempo real para Ethereum. Segundo a Brevis, alcança cerca de 99,8% de cobertura em tempo real em 16 GPUs e atende ao alvo de hardware de US$ 100.000 definido pela Ethereum Foundation. A iniciativa On-Prem Proving Initiative (Ethproof) da fundação selecionou a Brevis como uma das quatro equipes em março de 2026. Vera utiliza provas ZK para validar procedência e autenticidade de mídia, abordando a rastreabilidade de conteúdo na era dos deepfakes.

Figura 2. Stack tecnológico e visão geral do ecossistema Brevis: divisão de funções entre Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain e o token BREV.

Quais são as vantagens, riscos e limitações do uso do Brevis?

Brevis destaca-se em escalabilidade e confiança: a execução off-chain com verificação on-chain separa a computação do limite de gas do bloco, e as provas ZK permitem que resultados sejam validados sem depender de terceiros. O SDK possibilita implantação write-once, multi-model para flexibilidade de engenharia.

As limitações decorrem principalmente do próprio processamento ZK—gerar provas exige hardware especializado e taxa de hash, e a geração de provas de uso geral ainda é mais cara que a execução nativa. A complexidade e latência de lógicas avançadas permanecem como restrições estruturais.

Os riscos incluem a segurança do coChain depender de challengers ativos e staking suficiente; possíveis falhas de implementação na integração de contratos inteligentes e SDK; e o fornecimento de provas do ProverNet depender da participação dos Provers. Essas são restrições de mecanismo e não constituem aconselhamento de investimento.

Resumo

Brevis é uma plataforma de computação verificável para Web3 que implementa “provar o trabalho em vez de repeti-lo”, transferindo cálculos custosos para fora da blockchain e permitindo a validação on-chain de provas concisas em milissegundos. Seu stack utiliza Pico zkVM e ZK Data Coprocessor para computação, fornece confiança via modelos pure-ZK e coChain, e conecta taxas, staking e governança por meio do token BREV, com implantações reais incluindo Pico Prism, Vera e ProverNet.

Perguntas frequentes

O que é Brevis (BREV)?

Brevis é uma plataforma de computação verificável impulsionada por provas de conhecimento zero, conhecida como a camada de computação ilimitada do Web3. Executa cálculos complexos off-chain e permite a verificação on-chain de provas concisas, eliminando a necessidade de validadores repetirem o mesmo cálculo.

Qual a diferença entre o ZK Data Coprocessor e um oracle?

Oracles trazem dados off-chain para on-chain e ainda exigem confiança na fonte dos dados. O ZK Data Coprocessor realiza cálculos off-chain usando dados reais on-chain ou históricos e anexa provas criptográficas, permitindo que a correção seja verificada diretamente on-chain.

Por que o Pico zkVM melhora a velocidade das provas?

O Pico zkVM utiliza uma arquitetura “glue-and-coprocessor”: o núcleo RISC-V de uso geral executa programas em Rust, enquanto operações comuns são direcionadas a circuitos precompilados dedicados para aceleração. A Brevis informa que isso pode aumentar a velocidade das provas em cerca de 10x a 80x.

Como escolher entre os modelos pure-ZK e coChain?

pure-ZK depende exclusivamente de provas criptográficas, oferecendo máximo determinismo, mas exigindo uma prova para cada computação. coChain fornece garantias via staking, slashing e janelas de desafio baseadas em Ethereum, podendo eliminar custos de prova se não houver desafio. Ambos podem ser escritos uma vez e implantados conforme necessário via Brevis SDK.

Quais são os usos do token BREV?

BREV é o token utilitário e de governança nativo da rede Brevis, usado principalmente para pagar taxas de prova, como garantia para Provers (bloqueado para receber tarefas, penalizado em caso de inadimplência) e para governança de parâmetros do protocolo.