O projeto blockchain Brevis tem como princípio central utilizar a tecnologia de Prova de Conhecimento Zero (ZK Proof), descarregando as pesadas tarefas computacionais do chain para serem processadas off-chain, e depois retornando uma prova matemática concisa ao chain para verificação rápida e sem necessidade de confiança. Isto implementa essencialmente a separação entre computação e verificação, proporcionando um "cérebro externo" para os contratos inteligentes.

Em termos simples, Brevis é como um "coprocessador" ou "acelerador" do blockchain, permitindo que os contratos inteligentes processem tarefas complexas que antes seriam impossíveis de completar devido aos custos elevados ou limitações técnicas.

⚙ Fluxo de trabalho: Como funciona?

O fluxo de trabalho do Brevis pode ser dividido em quatro passos claros:

1. Iniciação do pedido
Quando um contrato inteligente de uma aplicação descentralizada (dApp) precisa processar grande volume de dados históricos ou executar computação complexa, envia um pedido à rede Brevis.

2. Computação off-chain
A rede de prova descentralizada do Brevis (ProverNet) recebe o pedido, recupera os dados necessários de um ou mais blockchains off-chain e executa a tarefa de computação. Este processo não está sujeito aos limites de Gas do chain, podendo utilizar linguagens de programação padrão (como Rust).

3. Geração de prova
Após a computação estar concluída, a rede Brevis gera uma prova de conhecimento zero concisa. Esta prova garante matematicamente a correção do processo de computação e dos resultados, sem revelar qualquer detalhe dos dados originais.

4. Verificação on-chain
Por fim, esta prova é devolvida ao contrato inteligente do dApp. O contrato pode verificar a correção da prova com custo extremamente baixo e velocidade muito rápida. Uma vez verificada com sucesso, o contrato utiliza o resultado da computação como dados confiáveis para executar a lógica subsequente.

Todo este processo permite que o contrato inteligente "confie" nos resultados da computação off-chain, sem necessidade de as re-executar por si próprio, nem depender de qualquer terceira parte centralizada.

🧩 Componentes centrais: Do que é constituído?

A arquitetura técnica do Brevis é principalmente constituída por três componentes centrais principais, que em conjunto suportam a funcionalidade da sua "camada de computação ilimitada":

* Pico zkVM (Motor de prova)
Trata-se de uma máquina virtual de conhecimento zero modular, responsável pela execução da computação off-chain e geração de prova. O seu objetivo de design é elevado desempenho e baixa latência, sendo capaz de processar rapidamente dados massivos de blockchain (por exemplo, a velocidade de geração de prova para blocos Ethereum pode igualar a velocidade de produção de blocos). Os programadores podem construir aplicações utilizando linguagens de programação familiares sem necessidade de compreensão profunda da complexidade subjacente da prova de conhecimento zero.

* zkCoprocessor (Coprocessador ZK)
É a "interface de dados" ou "cérebro externo" do contrato inteligente. Trata especificamente de consultas e computações complexas que o contrato inteligente não consegue completar on-chain, envolvendo grande volume de dados históricos e dados entre cadeias.

* ProverNet (Rede de prova descentralizada)
Trata-se de uma rede constituída por participantes (provadores) que contribuem com os seus recursos computacionais (como GPUs) para executar tarefas de computação e gerar provas. A rede incentiva os participantes e garante a descentralização e segurança através de mecanismos semelhantes à Prova de Participação (PoS).

🚀 Funções principais: O que consegue fazer?

Através dos princípios e componentes acima descritos, Brevis resolve dois pontos críticos principais no domínio do blockchain:

* Desbloqueio do acesso a dados históricos
Os contratos inteligentes normalmente podem apenas aceder ao estado atual, sendo impossível consultar o seu "histórico". Brevis permite que os contratos acedam e calculem com segurança dados históricos arbitrários do chain, por exemplo, verificar se um utilizador manteve atividade durante um período prolongado.

* Realização da interoperabilidade de dados entre cadeias
Brevis permite que os dApps consultem e utilizem com segurança dados de diferentes blockchains. Por exemplo, um protocolo DeFi pode verificar os ativos de um utilizador em Ethereum, para decidir se lhe concede um empréstimo em BNB Chain.