Brevis: Iniciar a era de cálculo ilimitado na blockchain

Brevis：abrindo a era do cálculo ilimitado na blockchain

Autor original:律动BlockBeats

Fonte original:

Reprodução: Mars Finance

Em novembro de 2025, na Argentina Devconnect, o investigador da Ethereum Foundation Justin Drake demonstrou um processo de validação de blocos diferente, usando um nó de validação com o cliente zkLighthouse, que dependia apenas de provas de conhecimento zero de protocolos como Pico zkVM do Brevis para determinar a validade do bloco. Isso provavelmente indica a direção futura de escalabilidade do Ethereum. Prova uma coisa: a blockchain não precisa executar todos os cálculos repetidamente, basta validar provas externas geradas.

O que é o Brevis: camada de cálculo verificável atualmente usada por protocolos e pelo núcleo do Ethereum

A proposta do Brevis não é apenas uma aplicação específica, mas uma camada de cálculo verificável. Como uma camada de cálculo ilimitado (Infinite Compute Layer), ela permite que cálculos complexos sejam realizados off-chain e, por meio de provas de conhecimento zero, tragam os resultados de volta à cadeia, sendo verificados por contratos inteligentes a um custo extremamente baixo. Isso é importante porque o modelo de segurança padrão do Ethereum depende de recomputação por toda a rede: após receber um novo bloco, cada nó de validação geralmente precisa reexecutar as transações do bloco para confirmar que o resultado da execução está correto. Embora garanta a precisão, isso também significa que o poder de processamento e o consumo de recursos aumentam à medida que a carga cresce. O Brevis está reescrevendo essa parte do cálculo pesado, de uma execução repetida, para uma única execução com validação global, realizando o cálculo off-chain e gerando uma prova, enquanto na cadeia e nos nós basta validar uma prova pequena.

Diferente de muitas aplicações zk focadas apenas em privacidade ou escalabilidade, o Brevis resolve problemas estruturais do setor Web3: quando os cálculos on-chain se tornam cada vez mais complexos e frequentes, o sistema precisa realmente que cada nó repita a execução para manter a confiança? A abordagem do Brevis é mover o cálculo para fora da cadeia, executá-lo com zkVM e gerar uma prova, enquanto o contrato na cadeia apenas valida essa prova, permitindo que o contrato utilize dados históricos, estados entre cadeias ou resultados de algoritmos complexos de forma confiável, sem introduzir hipóteses adicionais de confiança. Para alcançar esse objetivo, o ZK Data Coprocessor, Pico zkVM e ProverNet formam os três principais componentes tecnológicos atuais.

Quebrando limites dos contratos inteligentes: o superpoder do ZK Data Coprocessor

A inovação técnica inicial do Brevis foi o ZK Data Coprocessor. Ele permite que contratos inteligentes consultem dados históricos de qualquer cadeia, executem cálculos off-chain e gerem provas de conhecimento zero, fornecendo resultados confiáveis ao contrato. O ZK Data Coprocessor pode consultar e calcular o volume de transações históricas ou comportamentos de usuários na cadeia, gerando provas de conhecimento zero para validação do contrato. Assim, contratos que antes só acessavam o bloco atual agora podem usar dados de janelas temporais mais longas e estados entre cadeias.

Após a criação do protótipo do Coprocessor em 2023, o Brevis iterou até lançar a versão 2 em janeiro de 2025, com implantação na mainnet. As mudanças principais da v2 podem ser resumidas em três pontos: mais rápido (realizar tarefas com menos recursos e em menos tempo), mais versátil (abranger mais tipos de dados e cálculos) e mais fácil de usar (simplificar processos e encapsular complexidade).

Revisitando a trajetória tecnológica do Brevis antes de 2025, ela seguiu uma linha principal: primeiro entender os limites de desempenho do sistema de provas, depois desenvolver o cálculo off-chain e a validação on-chain como um Coprocessor utilizável, com melhorias contínuas, e posteriormente explorar formas mais sistemáticas de operação. O que é ainda mais notável é que isso revela a essência da equipe: conhecimento profundo em criptografia e engenharia de sistemas em larga escala, não apenas teoria, mas foco na aplicação prática, identificando dores do setor desde o início e buscando adoção em larga escala.

Quando a capacidade de prova entra na camada de sistema: Pico zkVM e ProverNet

Em 2025, o Brevis completou as outras duas peças do seu trio: um motor de prova mais versátil e voltado ao ambiente de produção, o Pico zkVM, e uma rede de geração de provas aberta, o ProverNet, que visa transformar a capacidade de prova de algo pontual para uma oferta contínua e escalável.

O Pico zkVM pode ser entendido como o motor de prova universal do Brevis, levando a geração de provas de conhecimento zero de circuitos dedicados e adaptações manuais para uma forma mais parecida com engenharia de software — desenvolvedores escrevem lógica usando métodos familiares, enquanto a base transforma isso em provas verificáveis. Mais importante, o Pico foi projetado desde o início para atender às demandas de throughput e custo de aplicações reais. Sob o mesmo padrão, comparações mostram que o Pico oferece vantagens de desempenho claras em relação a zkVMs convencionais, além de permitir a otimização de cálculos específicos por meio de componentes ou coprocesadores plugáveis.

Em junho de 2025, o Brevis lançou o Pico-GPU, levando a geração de provas em tempo real a um ponto crítico, não apenas para o protocolo, mas para toda a indústria. O Pico-GPU move o núcleo do processo de prova para GPUs paralelas, com uma melhoria oficial de 10 a 20 vezes, representando um avanço qualitativo em relação às soluções anteriores.

Em outubro, o Pico Prism elevou essa direção a um patamar bastante direto: com 64 GPUs de consumo, conseguiu gerar provas para blocos Ethereum de 45 milhões de gás, com 99,6% das provas concluídas em 12 segundos e 96,8% em 10 segundos, com uma média de cerca de 6,9 segundos por prova, chegando quase ao objetivo da Ethereum Foundation. A velocidade de geração de provas em tempo real atingiu, pela primeira vez, uma quase perfeição, acompanhando de perto a velocidade de produção de blocos do Ethereum, usando menos recursos do que os concorrentes.

Esses avanços receberam resposta direta da comunidade principal do Ethereum. Vitalik mencionou em um tweet que o Pico Prism na corrida de provas ZK-EVM é um passo importante para velocidade e diversidade de provas. Justin Drake, em tweets anteriores, avaliou o progresso do Pico Prism como algo extraordinário, lembrando que em maio daquele ano, o Hypercube SP1 precisava de 160 RTX 4090 para provar cerca de 94% de um bloco L1 em 12 segundos. Essa liderança quase perfeita na velocidade de provas faz do Pico Prism do Brevis uma solução altamente destacada.

Após desenvolver com sucesso uma zkVM universal e tecnologia de provas em tempo real, o Brevis começou a resolver o questão do fornecimento de provas. Em novembro de 2025, anunciou a visão do ProverNet, uma rede de provas aberta, permitindo que qualquer aplicação envie tarefas de prova, que são negociadas via leilão no mercado, com provedores de prova (prover nodes). Em dezembro, a mainnet beta foi lançada, transformando isso em um produto utilizável: o mercado funciona continuamente, solicitações de prova podem ser enviadas diretamente, provedores podem se registrar e começar a fazer lances, eliminando a necessidade de infraestrutura própria de provas.

Com esses três pilares, o Brevis transforma a capacidade de prova de uma ferramenta em uma infraestrutura, com motores de prova escaláveis e uma rede de oferta aberta, permitindo que aplicações acessem cálculos verificáveis sob demanda. Seu impacto vai além do Ethereum — esse paradigma de cálculo off-chain e validação on-chain se estenderá a todo o setor Web3 e até a outros setores como IA e jogos.

Protocolos não mentem: só a prática é que conta

O valor técnico do Brevis se manifesta na aplicação real. Não é uma ideia exibida em materiais promocionais, mas integrada na rotina do protocolo: como obter dados, calcular métricas, distribuir recompensas, ajustar taxas — tarefas que antes eram difíceis ou dependiam de scripts centralizados, agora seguem uma rota mais protocolar. Nesse processo, o Brevis já gerou mais de 280 milhões de provas, distribuiu mais de 230 milhões de dólares em recompensas e impulsionou com segurança um crescimento de TVL de 2,5 bilhões de dólares.

A forma mais direta de entender o Brevis é a partir das transações mais familiares aos usuários. Ele permite que DEXs, garantindo privacidade e autenticidade, tenham funções similares às de exchanges centralizadas, melhorando a experiência de negociação. PancakeSwap Infinity, por exemplo, usa hooks para permitir taxas diferenciadas, onde comportamentos históricos como posse de tokens e volume de transações influenciam a taxa de uma operação. Essas decisões dependem de dados históricos agregados, que são caros na cadeia ou trazem problemas de confiança off-chain. O Brevis faz o cálculo do comportamento histórico off-chain, gera provas e traz esses dados de volta à cadeia, permitindo que taxas diferenciadas sejam codificadas nos contratos, ao contrário de scripts centralizados.

Se PancakeSwap representa uma experiência mais parecida com CEX, o Usual mostra uma mecânica de crescimento de longo prazo, transformando incentivos de uma única distribuição em um sistema contínuo de CPI. Recompensas vinculadas a posse e interação são automatizadas e auditáveis, sem depender de confiança em tabelas ou emissores centralizados. O Incentra padroniza a emissão de recompensas, com cálculos off-chain e liquidação on-chain baseada em provas. A atividade da Euler na Arbitrum exemplifica isso: recompensas não dependem de contagem manual ou múltiplas assinaturas, mas de regras e provas que sustentam a distribuição contínua.

Quando esses cenários se expandem para o ecossistema, o programa Ignition da Linea ilustra bem: o desafio não é apenas emitir incentivos, mas como fazê-lo. O Brevis permite que cálculos de incentivos em larga escala sejam feitos off-chain, trazendo a confiabilidade de volta para validação on-chain, levando a um sistema de incentivos que evolui de operações centralizadas para capacidades reutilizáveis. Da mesma forma, o programa de Rebate de Roteamento do Uniswap v4 é um exemplo: determinar se o roteamento ocorreu, como calcular o consumo de gás e o valor de reembolso, tudo é uma cadeia de dados, cálculos e liquidações. O Brevis realiza o cálculo off-chain e gera provas, permitindo que o sistema de reembolso funcione com regras e validações, sem confiar em uma entidade de estatísticas.

Ao conectar esses exemplos, fica claro que a obtenção de dados, o cálculo de métricas e a geração de provas do Brevis permitem que os protocolos, sem sacrificar a descentralização, tragam de volta para a cadeia lógicas que antes dependiam de infraestrutura centralizada. Assim, o setor de criptografia amplia seu escopo de possibilidades, reabrindo o espaço de design.

Quem apoia a tecnologia de longo prazo?

A equipe central do Brevis é composta por pesquisadores de universidades de ponta e engenheiros de sistemas de primeira linha, com um perfil distinto: capazes de avançar em sistemas de prova e algoritmos, além de aplicar essas tecnologias em ambientes de produção, refinando desempenho, estabilidade e custos até atingir padrões de implantação em larga escala. Mais importante, eles não são apenas um laboratório de tecnologia — conhecem bem o funcionamento do setor de criptografia: entendem as necessidades reais dos protocolos, o ritmo de cooperação ecológica, além de possuírem capital e experiência comunitária para transformar rotas de engenharia em parcerias duradouras e impulso para desenvolvedores.

Esse apoio de capital e comunidade ao Brevis é evidente. Em novembro de 2024, a empresa concluiu uma rodada seed liderada por Polychain e Yzi Labs, garantindo recursos para continuar o desenvolvimento de zkVM, rede de provas e produtos. Ao mesmo tempo, a comunidade do Brevis cresceu significativamente em 2025, com iniciativas como Proving Grounds, sistemas de papéis e tarefas que atraem desenvolvedores e usuários. O reconhecimento público de Vitalik e o interesse da Ethereum Foundation, com Justin Drake acompanhando os avanços, reforçam a confiança externa na expansão do Brevis como infraestrutura.

De Ethereum para um mundo mais amplo

A escalabilidade do Ethereum há muito enfrenta um dilema estrutural: ou todos os nós repetem cálculos para garantir segurança e confiança, com throughput e custos limitados pela recomputação global; ou terceirizam o cálculo para aumentar eficiência, confiando em terceiros. O Brevis propõe uma terceira via: realizar cálculos complexos off-chain, usando provas para trazer a confiabilidade de volta à cadeia, promovendo uma divisão de tarefas entre execução e validação. Assim, seu valor não está em um produto específico, mas na integração de toda uma cadeia de cálculo verificável.

O Brevis não é a única solução para o problema de escalabilidade do Ethereum, mas demonstra o valor de uma camada de cálculo verificável, desacoplando cálculo e validação, garantindo segurança e descentralização, ao mesmo tempo que alivia a carga na execução on-chain. Mais importante, a camada de cálculo ilimitado não se limita ao Ethereum: para toda a indústria de criptografia, ela significa que mais aplicações podem operar com segurança e uma experiência próxima ao Web2; e, no mundo tradicional, o cálculo verificável pós-processamento oferece uma nova forma de colaboração — quando múltiplas partes precisam compartilhar resultados sem compartilhar confiança, a prova se torna uma linguagem universal. Com redes abertas de provas como o ProverNet amadurecendo, o que o Brevis constrói não é apenas uma melhoria de uma cadeia, mas uma capacidade de computação confiável que atravessa ecossistemas e setores.