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

O consenso de blockchain exige que cada validador repita o mesmo cálculo, tornando a computação on-chain dispendiosa e limitada. Esta limitação leva a que os contratos inteligentes tenham dificuldade em processar grandes volumes de dados de transações históricas, criando um estrangulamento computacional persistente.

Ao centrar-se em “provar o trabalho em vez de o repetir”, a Brevis permite que os resultados da computação off-chain sejam verificados on-chain em milissegundos. Isto estabelece uma base computacional escalável e fiável para DeFi, aplicações orientadas por dados e casos de uso de IA.

O que é a Brevis? Porque é que é apresentada como a “camada de computação ilimitada” da Web3?

A Brevis é uma plataforma de computação verificável que transfere cálculos complexos para off-chain e utiliza provas de conhecimento zero para garantir a integridade dos resultados. Os validadores on-chain deixam de executar repetidamente e passam apenas a verificar uma prova concisa de que “o cálculo foi realizado corretamente”, reduzindo de forma significativa os custos em comparação com a computação direta.

A designação de “camada de computação ilimitada” aborda os limites computacionais on-chain: redes como a Ethereum limitam a computação por transação, tornando difícil executar análises complexas, inferência de modelos ou agregação entre cadeias on-chain. A execução off-chain com verificação on-chain dissocia a escala da computação do limite de gas do bloco.

Esta tabela resume a stack técnica: Pico zkVM e ZK Data Coprocessor tratam da computação, coChain assegura a confiança, e Pico Prism, Vera e ProverNet permitem provas em tempo real, proveniência de conteúdos e fornecimento de provas.

Como funciona o ZK Coprocessor da Brevis?

Os contratos inteligentes são praticamente “cegos à história”—ler e processar grandes volumes de transações históricas on-chain é muito caro. Para permitir que contratos tomem decisões com base no comportamento on-chain de longo prazo do utilizador, é necessário um mecanismo que não exija a repetição de todos os dados on-chain.

O ZK Data Coprocessor foi criado para isto: acede a dados históricos ou entre cadeias e executa a computação off-chain, devolvendo “resultados mais uma prova criptográfica de que os dados existem e foram corretamente processados.” Os contratos inteligentes podem então verificar e confiar no resultado on-chain em milissegundos.

O fluxo de dados de computação verificável tem quatro etapas: a aplicação envia um pedido; o coprocessor computa off-chain com dados reais on-chain; é gerada uma prova ZK de computação correta; e o contrato inteligente valida e aceita o resultado.

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

Qual o papel do Pico zkVM na arquitetura da Brevis?

O Pico zkVM é a máquina virtual modular open-source de conhecimento zero da Brevis. Permite aos programadores escrever qualquer lógica de computação em Rust e gerar provas. Como camada de execução de uso geral para computação verificável, o Pico zkVM integra “escrita de programas” e “prova de execução correta” numa só cadeia de ferramentas.

A sua arquitetura “cola-e-coprocessor” utiliza um core RISC-V de uso geral como “cola” para executar programas Rust, enquanto operações comuns como hashing Keccak-256, verificação de assinaturas e inferência de machine learning são encaminhadas para “precompilações” dedicadas para aceleração. De acordo com a Brevis, este design pode aumentar a velocidade de prova em cerca de 10x a 80x.

Como asseguram o coChain e o modelo de segurança criptoeconómica a computação fiável?

A Brevis oferece dois modelos de segurança: pure-ZK e OP / coChain. A diferença fundamental é “o que torna o resultado fiável”—pure-ZK assenta exclusivamente em provas criptográficas, enquanto OP / coChain acrescenta uma camada criptoeconómica. Com o SDK da Brevis, é possível escrever a lógica de negócio uma vez e implementá-la em qualquer um dos modelos.

O coChain é uma blockchain PoS com staking e slashing na Ethereum. Os validadores geram resultados com dados de nodos de arquivo da cadeia relevante, alcançam consenso PoS e submetem uma assinatura agregada como “proposta” à cadeia de pedidos, entrando numa “janela de desafio da aplicação”.

Se alguém desafiar com sucesso um resultado incorreto durante a janela usando uma prova ZK, o staking do validador é penalizado na Ethereum. Se não houver desafio, o resultado pode ser utilizado pela dApp sem custos de prova. O coChain planeia integrar o 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 determinismo máximo, enquanto o coChain é mais flexível em custos e throughput. Ambos podem ser usados de forma independente ou em conjunto.

Para que serve o token BREV no ecossistema Brevis?

BREV é o token nativo de utilidade e governança da rede Brevis, alimentando a economia do fornecimento de provas. As suas funções dividem-se 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.

Estas três funções formam um ciclo fechado: os utilizadores pagam por provas, os Provers fazem staking para aceitar tarefas e a comunidade governa os parâmetros—ligando a qualidade das provas e a segurança da rede.

Em que é diferente a Brevis dos oracles e de outros ZK Coprocessors?

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

Os oracles dependem geralmente da confiança em nodos ou fornecedores de dados; a Brevis utiliza provas de conhecimento zero para que os intervenientes on-chain possam verificar diretamente a correção. Em comparação com outros ZK coprocessors, a Brevis destaca-se pelo 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) da Brevis?

A “Real Adoption” da Brevis centra-se na implementação de computação verificável em usos empresariais práticos. De acordo com o blogue oficial da Brevis (2025), a Brevis já gerou mais de 340 milhões (340M+) de provas, abrangendo mais de 50 protocolos em mais de 8 blockchains, com programas de incentivos e recompensas superiores a 300 milhões $.

Os incentivos orientados por dados são um caso de uso típico: os protocolos podem distribuir recompensas com base no histórico on-chain real dos utilizadores (por exemplo, volume de negociação, duração da participação), sendo as provas ZK a garantia de que as recompensas não são manipuláveis. O ProverNet é um mercado descentralizado de provas em mainnet, onde os Provers têm de fazer staking de BREV para participar e são penalizados se falharem.

O Pico Prism fornece provas de bloco em tempo real para a Ethereum. Segundo a Brevis, atinge cerca de 99,8% de cobertura em tempo real em 16 GPUs e cumpre o objetivo de hardware de 100 000 $ definido pela Ethereum Foundation. A iniciativa On-Prem Proving Initiative (Ethproof) da fundação selecionou a Brevis como uma das quatro equipas em março de 2026. A Vera utiliza provas ZK para verificar a proveniência e autenticidade de media, respondendo ao desafio da rastreabilidade de conteúdos 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 as vantagens, riscos e limitações de utilizar a Brevis?

A Brevis destaca-se em escalabilidade e confiança: a execução off-chain com verificação on-chain dissocia a computação do limite de gas do bloco, e as provas ZK permitem verificar resultados sem confiança em terceiros. O SDK permite implementação multi-modelo com uma só escrita para maior flexibilidade de engenharia.

As limitações resultam sobretudo da própria computação ZK—gerar provas requer hardware especializado e hashrate, e a prova de uso geral continua mais dispendiosa do que a execução nativa. A complexidade e latência de lógicas sofisticadas mantêm-se como restrições estruturais.

Os riscos incluem a segurança do coChain depender de desafiantes ativos e de staking suficiente; potenciais 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. Estas são limitações ao nível do mecanismo e não constituem aconselhamento de investimento.

Resumo

A Brevis é uma plataforma de computação verificável para Web3 que concretiza o princípio de “provar o trabalho em vez de o repetir”, ao transferir a computação dispendiosa para off-chain e permitir verificação on-chain de provas concisas em milissegundos. A sua stack recorre ao Pico zkVM e ZK Data Coprocessor para computação, oferece confiança através dos modelos pure-ZK e coChain, e liga taxas, staking e governança via o token BREV, com implementações reais incluindo Pico Prism, Vera e ProverNet.

Perguntas frequentes

O que é a Brevis (BREV)?

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

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

Os oracles trazem sobretudo dados off-chain para on-chain e continuam a exigir confiança na fonte dos dados. O ZK Data Coprocessor executa a computação off-chain com dados reais on-chain ou históricos e anexa provas criptográficas, permitindo que a correção seja verificada diretamente on-chain.

Porque é que o Pico zkVM aumenta a velocidade da prova?

O Pico zkVM utiliza uma arquitetura “cola-e-coprocessor”: o core RISC-V de uso geral executa programas Rust, enquanto operações comuns são encaminhadas para circuitos precompilados dedicados para aceleração. Segundo a Brevis, isto pode aumentar a velocidade da prova em cerca de 10x a 80x.

Como escolher entre os modelos pure-ZK e coChain?

O pure-ZK assenta exclusivamente em provas criptográficas, oferecendo determinismo máximo mas exigindo prova em cada computação. O coChain garante através de staking, slashing e janelas de desafio baseadas na Ethereum, podendo eliminar custos de prova se não for desafiado. Ambos podem ser escritos uma vez e implementados conforme necessário via o SDK da Brevis.

Quais as utilizações do token BREV?

O BREV é o token nativo de utilidade e governança da rede Brevis, utilizado principalmente para pagar taxas de prova, como garantia para Provers (bloqueado para receber tarefas, penalizado em caso de incumprimento) e para governança de parâmetros do protocolo.