Relatório Brevis: Camada de computação confiável infinita de ZKVM e processadores de co-processamento de dados

Autor: JacobZhao Fonte: mirror

O paradigma de Computação Verificável (Verifiable Computing) de “cálculo off-chain + verificação on-chain” tornou-se o modelo de computação universal para sistemas de blockchain. Ele permite que as aplicações de blockchain obtenham quase liberdade computacional infinita (computational freedom), mantendo a segurança da descentralização e minimização da confiança (trustlessness). As Provas de Conhecimento Zero (ZKP) são o pilar central desse paradigma, com aplicações principais concentradas em três direções fundamentais: escalabilidade (Scalability), privacidade (Privacy) e interoperabilidade e integridade dos dados (Interoperability & Data Integrity). Dentre elas, a escalabilidade é o cenário onde a tecnologia ZK foi implementada pela primeira vez, movendo a execução de transações para fora da cadeia e usando provas curtas para validar resultados na cadeia, alcançando alta TPS e custos baixos de escalabilidade confiável.

A evolução da computação confiável ZK pode ser resumida como L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Os primeiros L2 zkRollup moveram a execução para a camada secundária e enviaram a prova de validade (Validity Proof) para a camada primária, alcançando alta capacidade de processamento e baixa expansão de custos com a mínima modificação. O zkVM, em seguida, expandiu-se para uma camada de computação verificável geral, suportando validação entre cadeias, raciocínio de IA e computação criptográfica (projetos representativos: Risc Zero, Succinct, Brevis Pico). O zkCoprocessor desenvolveu-se paralelamente, como um módulo de validação contextual, fornecendo serviços de computação e prova prontos para uso para DeFi, RWA, gestão de riscos, entre outros (projetos representativos: Brevis, Axiom). Em 2025, o conceito de zkEVM se estendeu para provas em tempo real (Realtime Proving, RTP) em L1, construindo circuitos verificáveis a nível de instrução EVM, fazendo com que a prova de conhecimento zero se integrasse diretamente ao processo de execução e validação da mainnet Ethereum, tornando-se um mecanismo de execução nativo verificável. Esta linha de desenvolvimento reflete a transição da blockchain de “escalável” para “verificável”, iniciando uma nova fase de computação confiável.

I. O caminho de escalabilidade do zkEVM do Ethereum: do L2 Rollup à prova em tempo real do L1

O caminho de escalabilidade do zkEVM do Ethereum passou por duas fases:

• Fase um (2022–2024): L2 zkRollup irá executar a transferência para a camada dois, submetendo provas de validade na camada um; reduzindo significativamente os custos e aumentando a capacidade de processamento, mas trazendo fragmentação de liquidez e estado, L1 ainda está sujeito à reexecução N-of-N.
• Fase Dois (2025–): Prova em Tempo Real (Realtime Proving, RTP) substitui a reexecução com “1-of-N prova + verificação leve na rede inteira”, aumentando a capacidade sem sacrificar a descentralização, ainda em desenvolvimento.

Fase L2 zkRollup: Equilíbrio entre compatibilidade e desempenho de escalabilidade

No ano de 2022, na fase de florescimento do ecossistema Layer2, o fundador da Ethereum, Vitalik Buterin, propôs quatro categorias de ZK-EVM (Tipo 1–4), revelando sistematicamente o trade-off estrutural entre compatibilidade e desempenho. Esta estrutura estabeleceu coordenadas claras para a rota tecnológica do zkRollup:

• Tipo 1 Totalmente Equivalente: Consistente com o bytecode do Ethereum, custo de migração mais baixo, prova mais lenta. Taiko.
• Tipo 2 totalmente compatível: otimização de baixo nível mínima, compatibilidade máxima. Scroll, Linea.
• Tipo 2.5 semi-compatível: pequenas alterações (gas/precompilados, etc.) em troca de desempenho.Polygon zkEVM, Kakarot.
• Tipo 3 parte compatível: mudanças maiores, consegue executar a maioria das aplicações, mas é difícil reutilizar completamente a infraestrutura L1. zkSync Era.
• Tipo 4 nível de linguagem: abdicar da compatibilidade de bytecode, compilando diretamente de uma linguagem de alto nível para circuitos, desempenho ótimo, mas requer reconstrução do ecossistema (representante: Starknet / Cairo).

O modo L2 zkRollup está agora maduro: ao mover a execução para o segundo nível e submeter provas de validade (Validity Proof) no primeiro nível, utiliza a ecologia e as ferramentas do Ethereum com mínimas alterações, tornando-se a solução de escalabilidade e redução de custos mainstream. O objeto da prova é o bloco L2 e a transferência de estado, enquanto a liquidação e a segurança ainda estão ancoradas no L1. Esta arquitetura melhora significativamente a capacidade de processamento e a eficiência, mantendo uma alta compatibilidade para os desenvolvedores, mas também traz fragmentação de liquidez e estado, e o L1 ainda é limitado pelo gargalo de re-execução N-of-N.

L1 zkEVM: A prova em tempo real que reconfigura a lógica de verificação leve do Ethereum

Em julho de 2025, a Fundação Ethereum publicou um artigo intitulado “Shipping an L1 zkEVM #1: Realtime Proving” que apresentou oficialmente a rota do L1 zkEVM. O L1 zkEVM atualiza o Ethereum de uma reexecução N-of-N para uma prova 1-of-N + verificação rápida em toda a rede: um pequeno número de provers gera provas curtas para a transição do estado EVM de um bloco inteiro, e todos os validadores apenas realizam a verificação em tempo constante. Este plano alcança a prova em tempo real de nível L1 (Realtime Proving) sem sacrificar a descentralização, aumentando a capacidade máxima de Gas da mainnet e a taxa de transferência, além de reduzir significativamente a barreira de hardware para nós. O plano de implementação é substituir o cliente de execução tradicional por um cliente zk, inicialmente operando em paralelo, e, uma vez que o desempenho, segurança e mecanismos de incentivo estejam amadurecidos, gradualmente se tornará a nova norma no nível do protocolo.

• N de N antigo paradigma: todos os validadores executam repetidamente a transação completa para verificar, seguro mas com throughput limitado e taxas de pico altas.
• 1 de N Novo Paradigma: um pequeno número de provers executa um bloco inteiro e produz provas curtas; toda a rede faz apenas validação em tempo constante. O custo de validação é muito inferior ao da reexecução, permitindo aumentar com segurança o limite de gás L1 e reduzir os requisitos de hardware.

O roteiro L1 zkEVM tem três grandes linhas principais.

1. Prova em Tempo Real (Realtime Proving): Completar a prova de um bloco inteiro dentro de 12 segundos de slot, reduzindo a latência através da paralelização e aceleração de hardware;
2. Integração do cliente com o conjunto de protocolos: interface de verificação de prova padronizada, inicialmente opcional, depois padrão;
3. Incentivos e segurança: estabelecer um mercado Prover e um modelo de taxas, reforçando a resistência à censura e a vitalidade da rede.

A Prova em Tempo Real (RTP) do Ethereum L1 é a reexecução de blocos inteiros de transações fora da cadeia usando zkVM e a geração de provas criptográficas, permitindo que os validadores validem uma pequena prova em apenas 10 segundos, sem precisar recalcular, assim alcançando “verificar em vez de executar”, aumentando significativamente a escalabilidade do Ethereum e a eficiência da verificação sem confiança. De acordo com a página oficial do zkEVM Tracker da Ethereum Foundation, as principais equipes que atualmente participam da rota de Prova em Tempo Real do L1 zkEVM incluem SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM(Axiom e Jolt(a16z).

2. Superando o Ethereum: zkVM Genérico e zkCoprocessor

E fora do ecossistema Ethereum, a tecnologia de prova de zero conhecimento (ZKP) também se estendeu a um campo mais amplo de Computação Verificável (Verifiable Computing), formando dois sistemas tecnológicos centrais com zkVM e zkCoprocessor.

zkVM: Camada de Cálculo Verificável Geral

Um mecanismo de execução verificável voltado para qualquer programa, com conjuntos de instruções comuns incluindo RISC-V, MIPS e WASM. Os desenvolvedores podem compilar a lógica de negócios para zkVM, que será executada fora da cadeia pelo prover e gerará provas de conhecimento zero (ZKP) que podem ser verificadas na cadeia, podendo ser utilizadas tanto para a prova de bloco da Ethereum L1 quanto para validação entre cadeias, raciocínio de IA, computação criptográfica e algoritmos complexos. Suas vantagens são a versatilidade e a ampla gama de adaptação, mas a complexidade do circuito e o alto custo da prova exigem dependência de múltiplas GPUs em paralelo e forte otimização de engenharia. Projetos representativos incluem Risc Zero, Succinct SP1, Brevis Pico / Prism.

zkCoprocessor: Módulo verificável contextualizado

Fornecer serviços de computação e prova “plug and play” voltados para cenários de negócios específicos. A plataforma pré-configura o acesso a dados e a lógica de circuito (como leitura de dados históricos em cadeia, TVL, liquidação de rendimentos, autenticação de identidade, etc.), permitindo que as aplicações obtenham resultados de computação e consumam provas em cadeia através de chamadas SDK / API. Este modelo é fácil de usar, tem bom desempenho e baixo custo, mas a sua versatilidade é limitada. Projetos típicos incluem Brevis zkCoprocessor, Axiom, entre outros.

De modo geral, o zkVM e o zkCoprocessor seguem o paradigma de computação confiável “cálculo off-chain + verificação on-chain”, verificando os resultados off-chain na cadeia por meio de provas de conhecimento zero. Sua lógica econômica é construída sobre o seguinte pressuposto: o custo de execução diretamente na cadeia é muito maior do que o custo combinado de geração de provas off-chain e verificação on-chain.

Na versatilidade e complexidade de engenharia, a principal diferença entre os dois é:

• zkVM é uma infraestrutura de computação geral, adequada para cenários complexos, interdisciplinares ou de IA, com a máxima flexibilidade;
• zkCoprocessor é um serviço de validação modular que oferece interfaces de validação de baixo custo e diretamente utilizáveis para cenários de alta frequência e reutilizáveis (DeFi, RWA, gestão de riscos, etc.).

Na trajetória comercial, a diferença entre zkVM e zkCoprocessor é:

• zkVM adota o modelo Proving-as-a-Service, cobrando por cada prova (ZKP), direcionado principalmente a clientes de infraestrutura como L2 Rollup, caracterizando-se por contratos de grande escala, ciclos longos e margens brutas estáveis;
• zkCoprocessor é baseado em Proof API-as-a-Service, cobrando por tarefa através de chamadas de API ou integração de SDK, mais próximo do modelo SaaS, voltado para protocolos de camada de aplicação como DeFi, com integração rápida e forte escalabilidade.

De uma forma geral, o zkVM é o motor subjacente de computação verificável, enquanto o zkCoprocessor é o módulo de verificação da camada de aplicação: o primeiro constrói uma barreira tecnológica, e o segundo impulsiona a comercialização, formando em conjunto uma rede de computação confiável e geral.

Três, o mapa de produtos e o caminho técnico da Brevis

Partindo da prova em tempo real (Realtime Proving) do L1 do Ethereum, a tecnologia ZK está gradualmente avançando para uma era de computação verificável, centrada na arquitetura de zkVM e zkCoprocessor. A Brevis Network é uma fusão de zkVM e zkCoprocessor, construindo uma infraestrutura de computação verificável geral que tem como núcleo a computação de conhecimento zero, combinando alto desempenho e programabilidade — A Camada de Computação Infinita para Tudo.

( 3.1 Pico zkVM: Arquitetura de prova modular para computação verificável genérica

Em 2024, Vitalik propôs a arquitetura “**Camada de Execução Geral + Camada de Aceleração de Coprocessadores” (glue & coprocessor) na sua obra “Glue and Coprocessor Architectures”. Cálculos complexos podem ser divididos em lógica de negócios geral e cálculos densos estruturados - o primeiro busca flexibilidade (como EVM, Python, RISC-V), enquanto o segundo busca eficiência (como GPU, ASIC, módulos de hash). Esta arquitetura está se tornando uma tendência comum em blockchain, IA e computação criptográfica: a EVM acelera por meio de precompile, a IA utiliza paralelismo com GPU, e a prova ZK combina VM geral com circuitos dedicados. A chave para o futuro é otimizar a “camada de cola” para segurança e experiência de desenvolvimento, enquanto a “camada de coprocessadores” se concentra na execução eficiente, equilibrando desempenho, segurança e abertura.

![])https://img-cdn.gateio.im/webp-social/moments-c46288543a83af189338fd6a8ba5d1ef.webp###

O Pico zkVM, desenvolvido pela Brevis, é uma implementação representativa dessa filosofia. Através da arquitetura “zkVM genérico + aceleração de coprocessador”, combina a flexibilidade da programabilidade com o desempenho computacional de circuitos dedicados. Seu design modular suporta múltiplos backends de prova (KoalaBear, BabyBear, Mersenne31), permitindo a combinação livre de componentes como execução, recursão e compressão para formar o ProverChain.

O sistema modular do Pico não só permite a reconfiguração livre dos componentes principais, mas também pode introduzir novos backends de prova e coprocessadores de nível de aplicação (como dados on-chain, zkML, validação cross-chain), alcançando uma escalabilidade em evolução contínua. Os desenvolvedores podem usar diretamente a ferramenta Rust para escrever a lógica de negócios, gerando automaticamente provas criptográficas sem necessidade de conhecimento em zero-knowledge, reduzindo significativamente a barreira de entrada ao desenvolvimento.

Comparado à arquitetura RISC-V zkVM de relativa monolítica Succinct SP1 e ao modelo de execução RISC-V genérico do RISC Zero R0VM, o Pico realiza a desacoplagem e expansão das fases de execução, recursão e compressão através do Modular zkVM + Sistema de Coprocessador, suportando a mudança entre múltiplos backends e a integração de coprocessadores, formando uma vantagem diferenciada em desempenho e escalabilidade.

( 3.2 Pico Prism: um avanço de desempenho em clusters de múltiplas GPUs

Pico Prism é um avanço significativo da Brevis na arquitetura de GPU multi-servidores, estabelecendo um novo recorde sob o framework de “Prova em Tempo Real (Real-Time Proving, RTP)” da Ethereum Foundation. Com um tempo médio de prova de 6,9 segundos e uma taxa de cobertura RTP de 96,8% em um cluster de 64×5090 GPUs, o desempenho é o melhor entre os zkVMs da mesma categoria. Este sistema otimizou arquitetura, engenharia, hardware e nível de sistema, marcando a transição do zkVM de protótipos de pesquisa para infraestrutura de nível de produção.

1. Design de arquitetura: zkVM tradicionais (como SP1, R0VM) dependem principalmente da otimização de GPU em uma única máquina. Pico Prism realiza pela primeira vez a prova paralela em cluster com múltiplos servidores e múltiplas GPUs (Cluster-Level zkProving), expandindo a prova zk para um sistema de computação distribuída através de agendamento multithread e fragmentação, aumentando significativamente a paralelização e a escalabilidade.
2. Implementação do projeto: construir uma pipeline assíncrona de várias etapas (Execução / Recursão / Compressão) e um mecanismo de reutilização de dados entre camadas (cache de proof chunk e reutilização de embedding), e suportar a troca de múltiplos backends (KoalaBear, BabyBear, M31), melhorando significativamente a eficiência de throughput.
3. Estratégia de hardware: Com uma configuração de 64×RTX 5090 GPU (cerca de $128K), o Pico Prism alcança um tempo médio de prova de 6.0–6.9 segundos, uma taxa de cobertura RTP de 96.8%, e um aumento na relação desempenho/custo de cerca de 3.4 vezes, superando o SP1 Hypercube (160×4090 GPU, 10.3 segundos).
4. Evolução do sistema: Como o primeiro zkVM a atender aos critérios RTP da Fundação Ethereum (>96% sub-10s, <) custo), o Pico Prism marca a transição do sistema de prova zk de protótipos de pesquisa para infraestrutura de produção em nível de mainnet, oferecendo soluções de computação de conhecimento zero mais econômicas para cenários como Rollup, DeFi, AI e validação entre cadeias.

3.3 ZK Data Coprocessor: Camada de Co-processamento de Dados em Zero Conhecimento para Blockchain

A “falta de memória” no design nativo de contratos inteligentes - incapacidade de acessar dados históricos, reconhecer comportamentos de longo prazo ou realizar análises cross-chain. O coprocessador de conhecimento zero de alto desempenho (ZK Coprocessor) fornecido pela Brevis oferece acesso a dados históricos cross-chain e capacidades de computação confiáveis para contratos inteligentes, validando e computando todos os estados históricos, transações e eventos da blockchain, aplicando-se a cenários como DeFi orientado a dados, gestão ativa de liquidez, incentivos para usuários e identificação cross-chain.

O fluxo de trabalho do Brevis inclui três etapas:

1. Acesso a dados: contratos inteligentes leem dados históricos de forma não confiável através da API;
2. Cálculo de execução: os desenvolvedores usam o SDK para definir a lógica de negócios, que é calculada fora da cadeia pela Brevis e gera provas ZK.

Validação de resultados: os resultados de prova são retornados à cadeia, onde são verificados pelo contrato e chamam a lógica subsequente.

![]$100K https://img-cdn.gateio.im/webp-social/moments-34c4b4cdde3635acaed075831947e4ae.webp###

Brevis suporta simultaneamente os modelos Pure-ZK e CoChain (OP): o primeiro realiza uma minimização de confiança total, mas com custos mais elevados; o segundo permite a computação verificável a um custo mais baixo através da verificação PoS e do mecanismo de desafio ZK. Os validadores fazem staking na Ethereum, e se o resultado for desafiado com sucesso pela prova ZK, serão penalizados, equilibrando assim segurança e eficiência. Através da fusão da arquitetura ZK + PoS + SDK, o Brevis atinge um equilíbrio entre segurança e eficiência, construindo uma camada de computação de dados confiáveis escalável. Atualmente, o Brevis já presta serviços a protocolos como PancakeSwap, Euler, Usual, Linea, entre outros, todos os colaborações zkCoprocessor baseiam-se no modelo Pure-ZK, **fornecendo suporte de dados confiáveis para DeFi, distribuição de recompensas e sistemas de identidade em cadeia, permitindo que contratos inteligentes realmente possuam 'memória e inteligência'.

( 3.4 Incentra: Camada de “distribuição de incentivos verificáveis” baseada em ZK

Incentra é uma plataforma de distribuição de incentivos confiável impulsionada pelo Brevis zkCoprocessor, que fornece um mecanismo seguro, transparente e verificável de cálculo e distribuição de recompensas para protocolos DeFi. Ele valida diretamente os resultados dos incentivos na blockchain através de provas de conhecimento zero, alcançando a execução de incentivos sem confiança, de baixo custo e interoperável entre cadeias. O sistema realiza o cálculo e a verificação das recompensas dentro dos circuitos ZK, garantindo que qualquer usuário possa verificar os resultados de forma independente; ao mesmo tempo, suporta operações entre cadeias e controle de acesso, permitindo a distribuição automática de incentivos de forma compliance e segura.

Incentra suporta principalmente três tipos de modelos de incentivo:

• Token Holding: Cálculo de recompensas de longo prazo com base no saldo ponderado pelo tempo (TWA) de ERC-20;
• Liquidez Concentrada: Distribuição de recompensas de liquidez com base na proporção de taxas de transação da AMM DEX, compatível com protocolos ALM como Gamma, Beefy, etc.
• Lend & Borrow: Calcula as recompensas de empréstimos com base na média de saldos e dívidas.

O sistema foi aplicado em projetos como PancakeSwap, Euler, Usual, Linea, realizando um ciclo de confiança completo na cadeia desde o cálculo de incentivos até a distribuição, fornecendo uma infraestrutura de incentivos verificáveis de nível ZK para protocolos DeFi.

) 3.5 Brevis visão geral da pilha técnica do produto

![]###https://img-cdn.gateio.im/webp-social/moments-52317d5796169cb68f9a65b545ce3b4c.webp###

Quatro, Indicadores Técnicos e Quebras de Desempenho do Brevis zkVM

O padrão de prova em tempo real (Realtime Proving, RTP) para L1 zkEVM proposto pela Fundação Ethereum (EF) tornou-se um consenso da indústria e um critério de entrada para a possibilidade de zkVM entrar na rota de validação da mainnet Ethereum, e seus principais indicadores de avaliação incluem:

• Requisito de latência: P99 ≤ 10 segundos (correspondendo ao ciclo de criação de blocos de 12 segundos do Ethereum);
• Restrições de hardware: CAPEX ≤ $100K, consumo de energia ≤ 10kW (compatível com residência / pequenos centros de dados);
• Nível de segurança: ≥128-bit (período de transição ≥100-bit);
• Tamanho do comprovante: ≤300 KiB；

Requisitos do sistema: não deve depender de configurações de confiança, o código-fonte deve ser totalmente aberto.

Em outubro de 2025, a Brevis lançou o relatório “Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware”, anunciando que o seu Pico Prism se tornou o primeiro zkVM a passar completamente o padrão de prova de bloco em tempo real (RTP) da Ethereum Foundation (EF).

Com a configuração de 64×RTX 5090 GPU (cerca de $128K), o Pico Prism alcançou um desempenho médio de latência de 6,9 segundos, 96,8% <10s e 99,6% <12s em blocos de 45M gas, superando significativamente o Succinct SP1 Hypercube (36M gas, latência média de 10,3s, 40,9% <10s). Com a redução da latência em 71% e o custo do hardware reduzido pela metade, a eficiência geral de desempenho/custo aumentou cerca de 3,4×. Este resultado já foi reconhecido publicamente pela Ethereum Foundation, Vitalik Buterin e Justin Drake.

V. Expansão do Ecossistema Brevis e Implementação de Aplicações

O ZK Coprocessador da Brevis (zkCoprocessor) é responsável por processar cálculos complexos que os dApps não conseguem realizar de forma eficiente (como comportamentos históricos, dados entre cadeias, análises agregadas) e gerar provas de conhecimento zero (ZKP) verificáveis. Na cadeia, é necessário apenas verificar essa pequena prova para chamar o resultado de forma segura, reduzindo significativamente os custos de Gas, latência e confiança. Em comparação com oráculos tradicionais, a Brevis oferece não apenas “resultados”, mas sim “garantias matemáticas de que os resultados estão corretos”, e seus principais cenários de aplicação podem ser divididos nas seguintes categorias.

• DeFi Inteligente (Intelligent DeFi): baseado no comportamento histórico e no estado do mercado, implementa incentivos inteligentes e experiências diferenciadas (PancakeSwap, Uniswap, MetaMask, etc.)
• Crescimento de RWA e Stablecoins (Crescimento de RWA & Stable Token): Automação da alocação de rendimento entre stablecoins e RWA através de verificação ZK (OpenEden, Usual Money, MetaMask USD)
• Troca descentralizada com privacidade (DEX com Dark Pools): modelo de negociação privada utilizando correspondência off-chain e verificação on-chain, que será lançado em breve.
• Interoperabilidade entre cadeias (Cross-chain Interoperability): suporta re-staking entre cadeias e interoperabilidade Rollup–L1, construindo uma camada de segurança compartilhada (Kernel, Celer, 0G)
• Arranque Frio de Blockchain (Blockchain Bootstrap): impulsionando o arranque e crescimento do novo ecossistema de blockchain com o mecanismo de incentivo ZK (Linea, TAC)
• Blockchain de alto desempenho (100× mais rápida que L1s): impulsionando o desempenho de blockchains públicas como Ethereum e BNB Chain através da tecnologia de Prova em Tempo Real (RTP).

Inteligência Artificial Verificável (Verifiable AI): combina proteção de privacidade e raciocínio verificável, proporcionando poder computacional confiável para AgentFi e a economia de dados (Kaito, Trusta)

De acordo com os dados do Brevis Explorer, até outubro de 2025, a rede Brevis gerou mais de 125 milhões de provas ZK, cobrindo cerca de 95 mil endereços e 96 mil solicitações de aplicação, servindo amplamente em cenários como distribuição de recompensas, verificação de transações e provas de staking. Em termos ecológicos, a plataforma distribuiu um incentivo acumulado de cerca de 223 milhões de dólares, com um TVL suportado superior a 2,8 bilhões de dólares, e o volume de transações relacionadas superou 1 bilhão de dólares.

Atualmente, os negócios ecológicos da Brevis estão principalmente focados em duas grandes direções: distribuição de incentivos DeFi e otimização de liquidez. O consumo central de poder de cálculo é contribuído por quatro projetos: Usual Money, PancakeSwap, Linea Ignition e Incentra, que juntos representam mais de 85%. Dentre eles,

• Usual Money (46.6M provas): demonstra a sua estabilidade a longo prazo na distribuição de incentivos em grande escala;
• PancakeSwap (20.6M): demonstra o alto desempenho da Brevis no cálculo de taxas em tempo real e descontos;
• Linea Ignition (20.4M): Verifique sua alta capacidade de processamento de concorrência em atividades do ecossistema L2;
• Incentra (15.2%): Marca a evolução do Brevis de uma ferramenta SDK para uma plataforma de incentivos padronizada.

No campo dos incentivos DeFi, a Brevis baseia-se na plataforma Incentra para suportar múltiplos protocolos na realização de distribuições de recompensas transparentes e contínuas:

• O incentivo anual do Usual Money ultrapassa os $300M, proporcionando rendimento contínuo para usuários de stablecoins e LP.
• OpenEden e Bedrock implementam a distribuição de rendimentos de títulos do Tesouro dos EUA e Restaking com base no modelo CPI;
• Protocolos como Euler, Aave e BeraBorrow verificam posições de empréstimo e o cálculo de recompensas através de ZK.

Na otimização de liquidez, PancakeSwap, QuickSwap, THENA, Beefy, entre outros, utilizam a taxa dinâmica da Brevis e o plugin de incentivo ALM para implementar descontos em transações e agregação de rendimentos cross-chain; Jojo Exchange e Uniswap Foundation, por sua vez, utilizam o mecanismo de verificação ZK para construir um sistema de incentivos de transação mais seguro.

Na camada de infraestrutura e cross-chain, a Brevis expandiu do Ethereum para a BNB Chain, Linea, Kernel DAO, TAC e 0G, oferecendo capacidade de computação confiável e validação cross-chain para um ecossistema multichain. Ao mesmo tempo, projetos como Trusta AI, Kaito AI e MetaMask estão utilizando o ZK Data Coprocessor para construir sistemas de pontuação de privacidade, pontuação de influência e recompensas, promovendo o desenvolvimento da inteligência de dados no Web3. Na camada base do sistema, a Brevis conta com a rede EigenLayer AVS para fornecer garantias de segurança de re-staking e, em conjunto com a tecnologia de prova agregada NEBRA (UPA), comprime várias provas ZK em um único envio, reduzindo significativamente o custo de validação on-chain e a latência.

De uma forma geral, a Brevis já cobriu todo o ciclo de cenários de aplicação, desde incentivos de longo prazo, recompensas de atividades, verificação de transações até serviços de plataforma. As suas tarefas de verificação de alta frequência e os templates de circuitos reutilizáveis proporcionaram à Pico/Prism uma pressão de desempenho real e feedback de otimização, esperando-se que, a nível de engenharia e ecologia, retroalimente o sistema de prova em tempo real L1 zkVM, formando um volante bidirecional de tecnologia e aplicação.

Seis, Background da Equipa e Financiamento do Projeto

Mo Dong｜Co-fundador (Co-founder, Brevis Network)

Dr. Mo Dong é co-fundador da Brevis Network, possui um doutorado em Ciência da Computação pela Universidade de Illinois em Urbana-Champaign (UIUC), suas pesquisas foram publicadas em conferências acadêmicas de alto nível internacional, adotadas por empresas de tecnologia como o Google, e receberam milhares de citações acadêmicas. Ele é um especialista em teoria dos jogos algorítmicos e design de mecanismos de protocolo, focado em promover a combinação de Computação de Conhecimento Nulo (ZK) com Mecanismos de Incentivo Descentralizados, dedicado a construir uma Verifiable Compute Economy confiável. Como parceiro de risco da IOSG Ventures, também tem se concentrado em investimentos iniciais em infraestrutura Web3.

A equipe da Brevis foi fundada por doutores em criptografia e ciência da computação da UIUC, MIT e UC Berkeley, com membros centrais que possuem anos de experiência em pesquisa nos campos de sistemas de prova de conhecimento zero (ZKP) e sistemas distribuídos, tendo publicado vários artigos revisados por pares. A Brevis foi reconhecida tecnicamente pela Fundação Ethereum (Ethereum Foundation), e seu módulo central é visto como uma infraestrutura fundamental para escalabilidade on-chain.

A Brevis completou um financiamento de 7,5 milhões de dólares na rodada de sementes em novembro de 2024, com a Polychain Capital e a Binance Labs como co-líderes, e os investidores participantes incluem IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures e investidores anjos estratégicos da Kyber, Babylon, Uniswap, Arbitrum e AltLayer.

Sete, Análise de Concorrentes do Mercado ZKVM e ZK Coprocessor

Atualmente, o ETHProofs.org, apoiado pela Fundação Ethereum, tornou-se a plataforma central de rastreamento da rota L1 zkEVM de Provas em Tempo Real (Realtime Proving, RTP), para exibir publicamente o desempenho, a segurança e o progresso da adaptação à mainnet de cada zkVM.

Em suma, a competição na pista RTP está a concentrar-se em quatro dimensões principais:

• Maturidade: SP1 é a mais madura para implantação em produção; Pico tem desempenho líder e está próximo ao padrão da mainnet; RISC Zero é estável, mas os dados RTP não foram divulgados.
• Desempenho: O tamanho do corpo de prova Pico é de cerca de 990 kB, aproximadamente 33% menor do que o SP1 (1,48 MB), com custo mais baixo;
• Segurança e Auditoria: RISC Zero e SP1 já passaram por auditoria de segurança independente; Pico está em processo de auditoria;
• Desenvolvimento de Ecossistemas: A maioria das zkVM populares utiliza o conjunto de instruções RISC-V, enquanto o SP1 baseia-se no Succinct Rollup SDK para formar um ecossistema amplamente integrado; o Pico suporta a geração automática de provas em Rust, com um rápido aprimoramento no nível de desenvolvimento do SDK.

De acordo com os dados mais recentes, a pista RTP já formou um “duopólio”.

• A primeira linha Brevis Pico (incluindo Prism) e Succinct SP1 Hypercube apontam diretamente para o padrão P99 ≤ 10s definido pela EF. O primeiro alcança uma quebra em desempenho e custo com uma arquitetura distribuída de múltiplas GPUs; o segundo mantém a maturidade de engenharia e a robustez ecológica com um sistema monolítico. Pico representa inovação em desempenho e arquitetura, enquanto SP1 simboliza pragmatismo e liderança ecológica.
• O segundo escalão RISC Zero, ZisK e ZKM continuam a explorar a compatibilidade ecológica e a leveza, mas ainda não divulgaram os indicadores RTP completos (latência, consumo de energia, CAPEX, segurança, volume de prova, reprodutibilidade). Scroll (Ceno) e Matter Labs (Airbender) tentam estender a tecnologia Rollup para a camada de validação L1, refletindo a tendência de evolução da escalabilidade L2 para a computação verificável L1.

Em 2025, a pista zkVM já formou um padrão tecnológico de evolução unificada e modular RISC-V, normalização recursiva e aceleração de hardware em paralelo. A camada de computação verificável (Verifiable Compute Layer) do zkVM pode ser dividida em três categorias:

• Orientado para desempenho: Brevis Pico, SP1, Jolt, ZisK focam em baixa latência e prova em tempo real, aumentando a taxa de computação através de STARK recursivo e aceleração por GPU.
• Modular e escalável: OpenVM, Pico, SP1 enfatizam a modularidade plugável, suportando a conexão de coprocessadores.
• Ecológico e de desenvolvimento geral: RISC Zero, SP1, ZisK focam na compatibilidade de SDK e linguagens, promovendo a universalização.

Comparação de projetos concorrentes zkVM (até outubro de 2025)

Atualmente, a pista de zk-Coprocessor formou um padrão representado por Brevis, Axiom, Herodotus e Lagrange. Dentre eles, Brevis lidera com a arquitetura integrada de “ZK Data Co-Processor + General zkVM”, que combina a leitura de dados históricos, computação programável e capacidade L1 RTP; Axiom foca em consultas verificáveis e callbacks de circuitos; Herodotus concentra-se no acesso a estados históricos; Lagrange otimiza o desempenho da computação entre cadeias com uma arquitetura híbrida ZK+Optimistic. De maneira geral, o zk-Coprocessor está se tornando uma interface de computação confiável conectando aplicações como DeFi, RWA, IA, identidade, entre outras, na forma de “camada de serviços verificáveis”.

Oito, Resumo: Lógica Comercial, Implementação de Engenharia e Riscos Potenciais

Lógica de negócios: impulsionada por desempenho e roda dupla Brevis constrói uma camada de computação confiável multi-chain com “zkVM genérico (Pico/Prism)” e “coprocessador de dados (zkCoprocessor)”: o primeiro resolve problemas de verificabilidade de cálculos arbitrários, enquanto o segundo realiza a implementação de negócios de dados históricos e entre cadeias. Sua lógica de crescimento forma um ciclo positivo “desempenho - ecologia - custo”: o desempenho RTP do Pico Prism atrai a integração de protocolos líderes, trazendo crescimento na escala de provas e redução de custos por transação, formando uma roda dupla continuamente reforçada. As principais vantagens competitivas estão em três pontos:

1. Desempenho reprodutível - já incluído no sistema ETHProofs RTP da Fundação Ethereum;
2. Barreiras de Arquitetura - Design modular e implementação paralela de múltiplas GPUs para alta escalabilidade;
3. Validação comercial - já implementada em larga escala na distribuição de incentivos, taxas dinâmicas e validação entre cadeias.

Implementação de engenharia: de “execução pesada” para “substituição da execução por verificação”

Brevis, através do Pico zkVM e do framework Prism, alcança uma média de 6.9 segundos e P99 < 10 segundos em blocos de 45M gas (64×5090 GPU, <(K CAPEX), com desempenho e custo em posição de liderança. O módulo zkCoprocessor suporta leitura de dados históricos, geração de circuitos e verificação de backchains, podendo alternar de forma flexível entre os modos Pure-ZK e Hybrid, com desempenho geral já alinhado aos padrões rígidos RTP da Ethereum.

Riscos potenciais e pontos de atenção

• Limiar técnico e de conformidade: a Brevis ainda precisa completar a divulgação e validação por terceiros de indicadores duros como consumo de energia, segurança, tamanho da prova e dependências de configurações confiáveis. A otimização de desempenho de cauda longa continua a ser fundamental, e ajustes no EIP podem alterar os gargalos de desempenho.
• Riscos de competição e substituição: A Succinct (SP1/Hypercube) continua a liderar na integração de ferramentas e ecossistemas, e as equipes como Risc Zero, Axiom, OpenVM, Scroll, zkSync continuam a ter uma competitividade que não pode ser ignorada.
• Concentração de receita e estrutura de negócios: A atual prova de volume está altamente concentrada (as quatro principais aplicações representam cerca de 80%), sendo necessário expandir por meio de múltiplas indústrias, múltiplas blockchains e múltiplos casos de uso para reduzir a dependência. O custo da GPU pode impactar a margem bruta unitária.

Em suma, a Brevis já construiu uma proteção inicial em duas frentes: “reprodutibilidade de desempenho” e “viabilidade comercial”. Pico/Prism já se consolidou no primeiro escalão da corrida L1 RTP, enquanto o zkCoprocessor abriu cenários comerciais de alta frequência e reutilizáveis. No futuro, sugere-se estabelecer como objetivo faseado a conquista de indicadores rígidos de RTP completos da Fundação Ethereum, reforçando continuamente a padronização dos produtos de coprocessador e a expansão do ecossistema, ao mesmo tempo em que se avança na reprodutibilidade por terceiros, auditorias de segurança e transparência de custos. Através da realização de um equilíbrio estrutural entre infraestrutura e receita SaaS, formará um ciclo de crescimento comercial sustentável.