Demorei um tempo a aprofundar-me no Brevis para ver porque conseguiram 99,6% de cobertura de prova para blocos de Éter em menos de 12 segundos.

descobriu não só isso, mas também;

> 37.5M+ Provas
> 23 dApps integrados
> 69k endereços únicos
> levantou $7.5M em uma rodada inicial com investidores principais como Polychain Capital, YZi Labs, etc..

É claro que eles tiveram um impacto substancial com a sua solução, a julgar pelos seus investidores.

Vamos ser um pouco técnicos e explorar a arquitetura que os alimenta:

➪ Então, o que exatamente é Brevis?

Brevis é simplesmente uma rede que permite a contratos inteligentes verificar e calcular dados de qualquer lugar, utilizando provas de conhecimento zero para verificação sem confiança.

Porque, sem confiar em oráculos, os contratos inteligentes não conseguem facilmente aceder ou calcular grandes conjuntos de dados históricos, análises complexas ou dados fora da cadeia.

E isso limita o DeFi, a análise on-chain, a identidade, a composabilidade e muitas aplicações do mundo real.

A Brevis agora tenta isso permitindo que dApps descarreguem cálculos pesados para um coprocessador ZK verificável e recebam uma prova criptográfica compacta de que o resultado está correto.

➪ A Camada de Coprocessador ZK

As Camadas ZK Coprocessor da Brevis atuam como um cérebro paralelo para blockchains, lidando com lógica complexa off-chain e, em seguida, retornando provas que podem ser verificadas on-chain.

Como as camadas interagem

1. Contrato Inteligente: O contrato não calcula nem busca dados por conta própria, mas envia uma consulta.

Por exemplo,

“Qual é o volume de negociação desta carteira em 5 cadeias?”

ele delega a tarefa ao coprocessador.

2. Geração de Provas: O coprocessador busca dados, realiza a matemática pesada fora da cadeia e gera uma prova de conhecimento zero mostrando que a computação estava correta, sem revelar dados sensíveis.

3. Dados entre cadeias:
Através do zkFabric, a Brevis acede a raízes de estado verificadas de múltiplas cadeias, garantindo que a computação se baseia em um histórico on-chain autêntico, e não em APIs ou pontes confiáveis.

4. Saída Verificada: O coprocessador devolve uma prova compacta + resultado ao contrato inteligente.

O contrato verifica a prova na cadeia, confiando instantaneamente no resultado sem refazer a computação.

➪ Os seus Componentes Principais

1. Pico (zkVM) → O cérebro: torna qualquer computação verificável.

2. Camada ZK Coprocessor → A memória: dá aos contratos inteligentes consciência histórica e entre cadeias.

3. zkFabric → O assassino de pontes: substitui multisigs e relayers por pura criptografia.

4. Prover Network + Aggregation → descentraliza a prova, comprime milhares de provas em uma, e mantém a verificação on-chain barata.

Isso será tudo por agora, até à próxima.