Em novembro de 2025, no Devconnect da Argentina, Justin Drake, pesquisador da Fundação Ethereum, demonstrou um processo diferente de validação de blocos. Seu nó de validação utilizava o cliente zkLighthouse, que dependia exclusivamente de provas de conhecimento zero (zero-knowledge proofs) de protocolos como o Pico zkVM da Brevis para determinar a validade de blocos. Isso pode indicar a direção futura para a escalabilidade do Ethereum, provando que blockchains não precisam executar todos os cálculos novamente, mas apenas verificar provas geradas externamente.

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

2. A posição do Brevis não se limita a uma aplicação específica, mas se define como uma camada de cálculo verificável. Como uma camada de cálculo infinito (Infinite Compute Layer), permite que cálculos complexos sejam executados fora da cadeia e que os resultados sejam trazidos de volta para a cadeia na forma de provas de conhecimento zero, validadas por contratos inteligentes com custos extremamente baixos. Isso é importante porque o modelo de segurança padrão do Ethereum depende da reexecução total, em que cada nó de validação, ao receber um novo bloco, normalmente precisa executar novamente todas as transações do bloco para confirmar que os resultados estão corretos. Embora garanta a precisão, isso também significa que o consumo de poder computacional e recursos aumenta com a carga. O Brevis está reescrevendo essa necessidade de reexecução repetitiva como um cálculo único com validação global, realizando os cálculos fora da cadeia, gerando provas e permitindo que a cadeia e os nós verifiquem apenas uma única prova compacta.

3. Diferente de muitas aplicações zk que se concentram apenas em privacidade ou escalabilidade, o Brevis resolve problemas estruturais da indústria Web3. Quando os cálculos na cadeia se tornam cada vez mais complexos e frequentes, o sistema precisa mesmo depender da reexecução pelos nós para manter a confiança? O caminho do Brevis é mover os cálculos para fora da cadeia, executá-los em um zkVM e gerar provas, permitindo que os contratos na cadeia verifiquem essas provas. Isso permite que os contratos utilizem com confiança dados históricos, estados entre cadeias ou resultados de algoritmos complexos, sem introduzir suposições de confiança adicionais. Para alcançar esse objetivo, três tecnologias principais compõem o núcleo do Brevis: ZK Data Coprocessor, Pico zkVM e ProverNet.

4. Permitindo que contratos inteligentes ultrapassem limites: as supercapacidades trazidas pelo ZK Data Coprocessor.

5. O primeiro grande avanço técnico do Brevis foi o ZK Data Coprocessor. Ele permite que contratos inteligentes consultem qualquer dado histórico da cadeia, executem cálculos fora da cadeia e gerem provas de conhecimento zero, fornecendo os resultados como entradas confiáveis para os contratos. O ZK Data Coprocessor pode consultar e calcular volumes históricos de transações na cadeia ou comportamentos de usuários, gerando provas de conhecimento zero para verificação de contratos. Isso permite que contratos que antes só podiam acessar dados do bloco atual utilizem dados de longos períodos e estados entre cadeias.

6. Após criar o protótipo do Coprocessor em 2023, o Brevis continuou iterando até lançar a versão 2 (v2) na rede principal em janeiro de 2025. As principais mudanças na v2 podem ser resumidas em três pontos, sem se prender a nomenclaturas específicas de sistemas de provas: mais rápido (completando a mesma tarefa com menos recursos e em menos tempo), mais geral (cobrindo mais tipos de dados e necessidades de cálculo), e mais fácil de usar (simplificando processos e encapsulando complexidades).

7. Observando a trajetória técnica antes de 2025, o Brevis seguiu uma linha principal: primeiro, explorar os limites de desempenho dos sistemas de prova, depois, transformar a execução fora da cadeia e validação na cadeia em um Coprocessor utilizável, continuando a iterar e melhorar, e, por fim, explorar formas de operação mais sistemáticas. 8. O mais notável é como a equipe demonstrou sua essência, combinando expertise em criptografia com engenharia de sistemas em larga escala. Desde o início, identificaram os pontos problemáticos da indústria e se comprometeram a adotar a tecnologia em grande escala, sem se limitar a deduções teóricas.

9. Quando a capacidade de prova alcança o nível do sistema: Pico zkVM e ProverNet.

10. Em 2025, o Brevis completou as outras duas partes de sua "trinca": o motor de execução de provas mais geral e orientado para ambientes de produção, Pico zkVM, e a ProverNet, que transformou a geração de provas em uma capacidade aberta e escalável, indo de "provas possíveis" para "provas sustentáveis e massivamente fornecíveis".

11. O Pico zkVM pode ser entendido como o motor de prova geral do Brevis. Ele transforma provas de conhecimento zero de circuitos especializados e adaptações manuais para uma forma mais próxima da engenharia de software. Os desenvolvedores escrevem a lógica de uma maneira familiar, e a camada inferior transforma isso em resultados de provas verificáveis. O mais importante é que o Pico foi projetado desde o início para lidar com throughput e custos de negócios reais. Comparado com outros zkVMs principais, o Brevis mostrou que o Pico oferece uma vantagem de desempenho significativa sob as mesmas condições, além de permitir cálculos mais eficientes para tipos específicos de tarefas por meio de componentes ou coprocessadores plugáveis.

12. Em junho de 2025, o Brevis lançou o Pico-GPU, alcançando um ponto de inflexão crucial na velocidade de geração de provas em tempo real, beneficiando não apenas protocolos, mas toda a indústria. 13. O Pico-GPU sistematicamente transferiu o processo central de geração de provas para GPUs paralelas. Dados oficiais indicaram um aumento de desempenho de 10 a 20 vezes, representando um salto qualitativo em comparação com soluções anteriores.

14. Já o lançamento do Pico Prism em outubro levou essa direção a um marco impressionante. Com uma configuração de 64 GPUs comerciais, foi possível provar 99,6% de blocos de 45M gas do Ethereum em 12 segundos, 96,8% em 10 segundos, com um tempo médio de prova de cerca de 6,9 segundos, quase alcançando a meta da Fundação Ethereum. 15. Pela primeira vez, a velocidade de geração de provas em tempo real quase alcançou a velocidade de produção de blocos do Ethereum, utilizando menos recursos do que os concorrentes.

Esse tipo de avanço também recebeu uma resposta direta da comunidade central do Ethereum. Vitalik mencionou diretamente em um tweet que a entrada do Pico Prism na corrida de provas ZK-EVM é um passo importante para a velocidade e a diversidade das provas. Justin Drake, em um tweet anterior, avaliou claramente o progresso em provas em tempo real do Pico Prism como extraordinário. Vale lembrar que, em maio deste ano, o SP1 Hypercube precisava de 160 placas RTX 4090 para provar cerca de 94% de um bloco L1 em 12 segundos. Esse avanço extremo na velocidade de prova em tempo real fez com que o Pico Prism da Brevis se tornasse a solução mais destacada.

Depois de desenvolver com sucesso o zkVM genérico e a tecnologia de provas em tempo real, a Brevis começou a resolver o problema de fornecimento de provas. Em novembro de 2025, a Brevis revelou a visão do ProverNet, que visa comercializar a capacidade de prova, permitindo que qualquer aplicação submeta tarefas de prova e as combine com nós de prover no mercado por meio de um mecanismo de leilão. A versão beta da mainnet, lançada em dezembro, transformou essa visão em um produto utilizável. O mercado opera continuamente, as solicitações de prova podem ser enviadas diretamente, os provers podem se registrar e começar a licitar por tarefas, e as aplicações não precisam mais construir suas próprias infraestruturas de prova.

Com sua abordagem de "três pilares", a Brevis transformou a capacidade de prova de uma ferramenta em uma infraestrutura. Ela oferece um motor de prova escalável e uma rede de fornecimento de provas aberta, permitindo que as aplicações obtenham computação verificável sob demanda. Seu impacto vai além do Ethereum — esse paradigma de computação off-chain e verificação on-chain pode se expandir para todo o Web3, bem como para outros setores, como IA e jogos.

O protocolo não mente: só faz sentido usá-lo

O valor técnico da Brevis se reflete, por fim, em suas aplicações reais. Não é um conceito exibido em materiais promocionais, mas algo embutido no funcionamento diário dos protocolos. Como os dados são obtidos, como as métricas são calculadas, como as recompensas são distribuídas, como as taxas são ajustadas — questões que anteriormente eram inviáveis ou dependiam de scripts centralizados, agora estão seguindo uma abordagem mais protocolizada. Nesse processo, a Brevis já gerou mais de 280 milhões de provas para os usuários, distribuiu mais de 230 milhões de dólares em recompensas e impulsionou com segurança um aumento de 2,5 bilhões de dólares em TVL.

A maneira mais intuitiva de entender a Brevis é começar pelas transações, algo com que os usuários estão mais familiarizados. A Brevis pode, ao garantir a privacidade e a veracidade dos dados, fazer com que DEX tenham funcionalidades semelhantes às de CEX, melhorando assim a experiência de negociação dos usuários de DEX. O PancakeSwap Infinity, por exemplo, possibilita taxas escalonadas por meio de hooks. Comportamentos históricos, como posse de tokens e volume de transações, influenciam a taxa aplicada em uma negociação. No entanto, essa avaliação depende da agregação de dados históricos, o que seria muito caro on-chain e levantaria problemas de confiança off-chain. A Brevis calcula os comportamentos históricos off-chain e utiliza provas para trazer esses dados de volta ao on-chain, permitindo que taxas diferenciadas sejam incorporadas em contratos, em vez de serem geridas por scripts de back-end, como em CEX.

Se o PancakeSwap oferece uma experiência mais parecida com CEX, o Usual apresenta um mecanismo de crescimento mais sustentável, transformando incentivos de airdrops únicos em CPI contínuos. As recompensas são vinculadas a comportamentos como posse de tokens e interações, e a Brevis transforma essas métricas em entradas verificáveis, automatizando e auditando a distribuição. Isso elimina a necessidade de confiança em planilhas operacionais ou distribuidores centralizados. Através do Incentra, a emissão de recompensas torna-se uma capacidade padronizada. Protocolos que desejam oferecer recompensas para LP, empréstimos ou posse de tokens baseiam-se em cálculos off-chain e pagamentos on-chain fundamentados em provas. O evento da Euler no Arbitrum é um exemplo — as recompensas não dependem mais de estatísticas manuais ou de distribuições por multi-assinaturas, mas sim de regras e provas para uma alocação contínua.

Quando o cenário se expande para o nível do ecossistema, o Programa Ignition da Linea ilustra bem o ponto. O desafio não é apenas distribuir incentivos, mas como distribuí-los. A Brevis possibilita cálculos de incentivos em larga escala off-chain e traz a credibilidade disso para verificação on-chain, transformando incentivos de operações centralizadas em capacidades de sistema reutilizáveis. Outra abordagem sistêmica é o Programa de Reembolso por Roteamento do Uniswap v4. Determinar se houve roteamento, como calcular o consumo de gas e o valor do reembolso, tudo isso envolve uma cadeia de dados, cálculos e liquidações. A Brevis realiza os cálculos off-chain e gera provas, permitindo que o sistema de reembolso funcione com base em regras e verificações, em vez de confiar em uma parte terceirizada para a estatística.

Ao conectar esses casos, fica claro que a Brevis, com sua obtenção de dados, cálculo de métricas e geração de provas, permite que os protocolos implementem mais lógica on-chain, que antes era possível apenas em sistemas centralizados, sem comprometer a descentralização. Isso expande o que os protocolos no setor de criptografia podem fazer e reabre o espaço para design.

Quem apoia tecnologias de longo prazo?

A equipe central da Brevis é composta por pesquisadores de universidades de ponta e engenheiros de sistemas experientes, com características marcantes. Eles são capazes de realizar pesquisas de longo prazo em sistemas de prova e algoritmos, ao mesmo tempo em que traduzem tecnologias complexas em soluções para ambientes de produção reais, aperfeiçoando desempenho, estabilidade e custo até atingir um padrão escalável. Mais importante ainda, eles não são apenas uma equipe de laboratório que entende de tecnologia — eles também compreendem o funcionamento da indústria de criptografia, as demandas reais dos protocolos, o ritmo de colaboração no ecossistema e possuem um histórico de acúmulo de capital e suporte comunitário. Tudo isso permite converter estratégias de engenharia em parcerias sustentáveis e impulsionar a energia dos desenvolvedores.

Isso é evidente no apoio de longo prazo que a Brevis recebe de capitais e comunidades. Em novembro de 2024, a Brevis concluiu uma rodada de financiamento seed, liderada por instituições de ponta como Polychain e Yzi Labs, garantindo suporte financeiro para o avanço contínuo do zkVM, redes de provas e a implementação de produtos. Paralelamente, a comunidade da Brevis experimentou um crescimento significativo em 2025, atraindo desenvolvedores e usuários por meio do Proving Grounds, sistemas de papéis e mecanismos de tarefas. Além disso, o reconhecimento público de Vitalik e o interesse de Justin Drake, da Fundação Ethereum, em experimentos e discussões relacionadas reforçam a validação externa e a confiança na Brevis como infraestrutura fundamental em expansão.

Do Ethereum para um mundo mais amplo

A expansão do Ethereum tem estado presa por muito tempo em um dilema estrutural: ou todos os nós repetem os cálculos para garantir segurança e ausência de confiança, mas a taxa de transferência e os custos ficam limitados pela necessidade de recalcular em toda a rede; ou os cálculos são terceirizados para aumentar a eficiência, mas isso exige confiar em uma entidade computacional externa. Brevis tenta oferecer um terceiro caminho: transferir os cálculos complexos para fora da cadeia, para depois trazer de volta a confiança à cadeia por meio de provas, mudando o sistema de repetição de cálculos para um modelo baseado na validação de resultados. Seu valor, portanto, não está em uma única funcionalidade, mas em estabelecer um fluxo completo de cálculo verificável.

Brevis não é a única solução para o problema de escalabilidade do Ethereum, mas demonstra a importância de uma camada de cálculos verificáveis, desacoplando cálculo e verificação. Isso assegura segurança e descentralização, ao mesmo tempo que libera a pressão sobre a execução na cadeia. Mais importante ainda, a camada de cálculo ilimitado não se aplica apenas ao Ethereum. Para toda a indústria de cripto, isso significa que mais aplicações on-chain podem alcançar níveis de complexidade e experiência próximos ao Web2 sem sacrificar a segurança. No mundo tradicional mais amplo, o cálculo verificável pós-execução oferece uma nova maneira de colaboração – quando várias partes precisam compartilhar resultados, mas não conseguem compartilhar confiança, as provas podem se tornar uma nova linguagem universal. Com o amadurecimento de redes de provas abertas como a ProverNet, o que Brevis constrói não se limitará a melhorar a capacidade de uma única blockchain, mas se tornará um fornecimento confiável de cálculo que pode ser utilizado entre ecossistemas e indústrias.

Clique para saber mais sobre as vagas na BlockBeats.

Junte-se ao grupo oficial da BlockBeats:

Grupo de assinatura no Telegram: https://t.me/theblockbeats

Grupo de discussão no Telegram: https://t.me/BlockBeats_App

Conta oficial no Twitter: https://twitter.com/BlockBeatsAsia