No Devconnect da Argentina em novembro de 2025, o investigador do Ethereum Foundation, Justin Drake, demonstrou um processo alternativo de validação de blocos. O seu nó de validação utilizou o cliente zkLighthouse e concluiu a verificação da validade do bloco apenas com base em provas de conhecimento zero geradas por protocolos como a Pico zkVM da Brevis. Isso pode muito bem indicar a direção futura da escalabilidade do Ethereum. Demonstrou uma coisa: as cadeias de bloco não precisam repetir todas as computações, desde que sejam capazes de verificar provas geradas externamente.

O que é o Brevis: uma camada de computação verificável utilizada pelo protocolo e pelo núcleo Ethereum

A Brevis não se destina apenas a uma aplicação específica, mas sim a uma camada de cálculo verificável. Como uma Camada de Cálculo Infinita (Infinite Compute Layer), permite que cálculos complexos sejam executados fora da cadeia e os resultados sejam devolvidos à cadeia através de provas de conhecimento zero, sendo validados por contratos inteligentes com um custo extremamente baixo. Isto é importante porque o modelo de segurança padrão do Ethereum depende essencialmente da reexecução de cálculos por toda a rede. Após receber um novo bloco, cada nó validador normalmente tem de executar novamente as transações do bloco para confirmar que os resultados da execução do bloco estão corretos. Embora isto garanta a corretude, também significa que o consumo de potência computacional e recursos aumenta continuamente com a carga de trabalho. A Brevis está a transformar esta parte de cálculo pesado e repetitiva, que é necessária, num único cálculo verificável por toda a rede: os cálculos são realizados fora da cadeia e as provas são geradas, enquanto a cadeia e os nós apenas precisam verificar uma pequena prova.

Ao contrário de muitas aplicações zk que se concentram apenas na privacidade ou na escalabilidade, o Brevis está a resolver verdadeiramente problemas estruturais da indústria Web3. Quando os cálculos e as operações na cadeia tornam-se cada vez mais complexos e frequentes, será que o sistema tem mesmo de depender da repetição de cada nó para manter a confiança? A abordagem do Brevis é migrar estes cálculos para fora da cadeia, executando-os num zkVM e gerando provas, enquanto os contratos na cadeia apenas validam as provas. Desta forma, os contratos podem utilizar de forma confiável dados históricos, estados intercadeia ou resultados de algoritmos complexos, sem introduzir hipóteses de confiança adicionais. No processo de atingir este objetivo, o ZK Data Coprocessor, o Pico zkVM e a ProverNet constituem os três pilares tecnológicos principais do Brevis.

Quebrando limites com contratos inteligentes: Superpoderes trazidos pelo ZK Data Coprocessor

A primeira inovação tecnológica do Brevis é o ZK Data Coprocessor. Ele permite que contratos inteligentes consultem dados históricos da cadeia, realizem cálculos fora da cadeia e gerem provas de conhecimento zero, fornecendo os resultados dos cálculos como entradas confiáveis para os contratos. O ZK Data Coprocessor pode consultar e calcular volumes de transações históricos na cadeia ou comportamentos dos utilizadores, gerando provas de conhecimento zero para validação pelos contratos. Isto permite que contratos, que originalmente só tinham acesso ao bloco atual, possam agora utilizar dados com janela de tempo prolongada e estados multi-cadeia.

Depois de Brevis ter criado um protótipo do Coprocessor em 2023, evoluiu continuamente até ao lançamento da versão 2 em janeiro de 2025 e a sua implementação na rede principal. As mudanças-chave da versão 2, independentemente do nome específico do sistema de provas, podem ser abstraídas em três pontos principais: mais rápido (realiza as mesmas tarefas com menos recursos e em menos tempo), mais genérico (pode abranger mais tipos de dados e necessidades computacionais) e mais fácil de usar (simplifica os processos, encapsulando a complexidade).

Ao olhar para trás para a linha de desenvolvimento tecnológico da Brevis antes de 2025, percebe-se que, na verdade, existe apenas uma linha principal: primeiro, compreender claramente os limites de desempenho do sistema de prova; depois, desenvolver um Coprocessador funcional que realize cálculos fora da cadeia e validação na cadeia, continuando com iterações contínuas de engenharia, e, posteriormente, explorar formas de operação mais sistemáticas.Mais raramente, destaca a essência da equipe, que compreende tanto a criptografia quanto a engenharia de sistemas em grande escala, não se baseando apenas em derivações teóricas. Desde o início do projeto, identificaram claramente os pontos problemáticos da indústria e estão empenhados na ampla adoção da tecnologia.

Quando a capacidade de provas entra no nível do sistema: Pico zkVM e ProverNet

Em 2025, a Brevis completou as outras duas partes do seu trio: uma é o Pico zkVM, um motor de execução de provas mais genérico e orientado para ambientes produtivos, e a outra é a ProverNet, que torna a capacidade de geração de provas num serviço aberto, passando da simples possibilidade de provas para a capacidade de fornecê-las continuamente e em grande escala.

O Pico zkVM pode ser compreendido como o mecanismo universal de geração de provas da Brevis. Ele avança a geração de provas de conhecimento zero desde circuitos dedicados e adaptações manuais até uma forma mais semelhante à engenharia de software — os desenvolvedores escrevem a lógica com métodos familiares, e a camada inferior transforma isso em resultados de provas verificáveis. O mais importante é que, desde o início, o Pico está focado na capacidade de processamento e nos custos de aplicações reais. Sob os mesmos critérios de benchmarking, a Brevis mostrou que o Pico tem uma clara vantagem de desempenho em relação a outras zkVMs principais, ao mesmo tempo que consegue realizar cálculos de certos tipos de forma mais eficiente, através de componentes ou coprocessadores plugáveis.

Em junho de 2025, a Brevis lança a Pico-GPU, impulsionando a velocidade de geração de provas em tempo real para um ponto de viragem crucial, não apenas para o protocolo, mas para toda a indústria.O Pico-GPU transfere sistematicamente o processo central de geração de provas para a paralelização da GPU. Segundo a melhoria oficial, atinge 10 a 20 vezes mais velocidade, representando um salto qualitativo em relação às soluções anteriores.

O Pico Prism, lançado em outubro, levou esta direção a um limite muito intuitivo. Com uma configuração de 64 GPUs de consumo, conseguiu provar 99,6% dos blocos Ethereum com 45M de gas em menos de 12 segundos, 96,8% em menos de 10 segundos, com um tempo médio de prova de cerca de 6,9 segundos, aproximando-se quase que infinitamente do objetivo estabelecido pela Fundação Ethereum.Pela primeira vez, a velocidade de geração de provas em tempo real está quase perfeitamente alinhada com a velocidade de produção de blocos do Ethereum, utilizando, ao mesmo tempo, menos recursos do que os concorrentes.

Este tipo de progresso também obteve uma resposta direta da comunidade central do Ethereum. Vitalik mencionou diretamente no Twitter 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 tuítes anteriores, avaliou claramente que o progresso do Pico Prism em provas em tempo real é extraordinário. É importante lembrar que, em maio deste ano, o SP1 Hypercube precisava de 160 cartões RTX 4090 para provar cerca de 94% dos blocos da camada 1 em apenas 12 segundos. Esta liderança tão clara em velocidade de provas em tempo real tornou o Pico Prism da Brevis a solução mais notável.

Após o desenvolvimento bem-sucedido de uma zkVM genérica e da tecnologia de provas em tempo real, o Brevis começou a abordar o problema da oferta de provas. Em novembro de 2025, o Brevis anunciou a visão do ProverNet, que visa tornar a capacidade de provas um mercado, onde qualquer aplicação pode submeter tarefas de prova e encontrar nós provadores no mercado através de um mecanismo de leilão. Em dezembro, a versão Beta da rede principal foi lançada, tornando esta visão em um produto funcional. O mercado continua a funcionar de forma contínua, as solicitações de provas podem ser submetidas diretamente, os provadores podem se registrar e começar a licitar tarefas, e os aplicativos não precisam mais construir suas próprias infraestruturas de provas.

Com as três forças motrizes, a Brevis transforma a comprovação de capacidades de uma ferramenta em infraestrutura, combinando um motor de comprovação escalável com uma rede aberta de fornecimento de comprovações, permitindo que as aplicações obtenham cálculos verificáveis sob demanda. O seu impacto não se limita à Ethereum — este paradigma de cálculo fora da cadeia e verificação na cadeia irá expandir-se para todo o Web3, e até para outras indústrias como a inteligência artificial e os jogos.

O protocolo não mente: é preciso usá-lo para contar.

O valor técnico do Brevis acaba por se refletir nas aplicações reais. Não se trata de um conceito meramente exposto em materiais promocionais, mas sim de algo integrado na operação diária dos protocolos — como os dados são obtidos, como os indicadores são calculados, como as recompensas são distribuídas, como as taxas são ajustadas — coisas que antes eram impossíveis de fazer ou só conseguiam ser resolvidas com scripts centralizados. Agora, está a surgir um caminho mais protocolizado. Nesse processo, o Brevis já gerou mais de 280 milhões de provas para os utilizadores, distribuiu mais de 230 milhões de dólares em recompensas e impulsionou de forma segura um crescimento de 2,5 mil milhões de dólares em TVL.

A forma mais intuitiva de compreender o Brevis é começar pelo que os utilizadores conhecem melhor: os negócios. O Brevis permite que as DEX tenham funcionalidades semelhantes às CEX, garantindo ao mesmo tempo a privacidade e a autenticidade dos dados, melhorando assim a experiência de negociação dos utilizadores das DEX. O PancakeSwap Infinity permite a diferenciação das taxas através de hooks, em que comportamentos históricos como a posse de moedas e volumes de negociação influenciam a taxa da sua transação. No entanto, estas decisões dependem da agregação de dados históricos, e armazená-los na blockchain é muito caro, enquanto armazená-los fora da blockchain introduz problemas de confiança. O que o Brevis faz é calcular claramente fora da blockchain o comportamento histórico, e depois utilizar provas para devolver os dados à blockchain, permitindo que as taxas diferenciadas sejam incluídas nos contratos, e não escritas nos scripts de fundos, como acontece nas CEX.

Se o PancakeSwap corresponde a uma experiência mais personalizada, semelhante à de uma CEX, o Usual demonstra um mecanismo de crescimento mais duradouro, transformando incentivos de "airdrops" únicos em um CPI (Índice de Preços ao Consumidor) contínuo. As recompensas são vinculadas, a longo prazo, a ações como detenção de ativos e interações. O Brevis torna esses indicadores entradas verificáveis, automatizando e tornando audíveis a distribuição, sem que a comunidade precise confiar em uma planilha operacional ou em um distribuidor centralizado. Ao padronizar a capacidade de emissão de recompensas através do Incentra, os protocolos podem emitir recompensas de LP, empréstimos ou detenção de ativos, com o núcleo sendo o cálculo dos indicadores fora da cadeia e a liquidação na cadeia com base em provas. A atividade do Euler no Arbitrum é representativa — as recompensas não dependem de estatísticas manuais ou de liberações com múltiplas assinaturas, mas sim de uma distribuição contínua sustentada por regras e provas.

Quando a cena se expande para o nível ecológico, o programa Ignition da Linea ilustra melhor o problema: o desafio não é emitir incentivos, mas sim como fazê-lo. O Brevis permite que cálculos em grande escala de incentivos sejam realizados fora da cadeia, e devolve a confiabilidade à verificação na cadeia, transformando assim os incentivos, que antes eram uma ação operacional centralizada, numa capacidade reutilizável do sistema. Um exemplo semelhante, também orientado para o sistema, é o Programa de Reembolso de Roteamento da Uniswap v4. Se um roteamento ocorreu, como se estatisticamente mede o consumo de gas e como se calcula o valor a reembolsar — tudo isto constitui uma cadeia de dados — cálculo — liquidação. O Brevis assume aqui o cálculo fora da cadeia e a geração de provas, permitindo que o sistema de reembolsos se baseie em regras + verificação, e não na confiança de uma entidade estatística específica.

Ao considerar estes casos, a aquisição de dados, o cálculo de métricas e a geração de provas da Brevis permitem ao protocolo devolver à cadeia mais lógica que anteriormente só podia ser implementada com o apoio de back-ends centralizados, sem comprometer a descentralização. Isto significa que os protocolos de toda a indústria criptográfica podem realizar mais tarefas, abrindo novamente o espaço de design.

Quem está a apoiar a tecnologia do longo prazo?

A equipe central do Brevis é composta por pesquisadores com formação em universidades de topo e engenheiros de sistemas com experiência prática, apresentando características muito claras: por um lado, são capazes de realizar investigações a longo prazo em sistemas de provas e algoritmos, e por outro, conseguem integrar tecnologias complexas em ambientes produtivos reais, aperfeiçoando-as repetidamente até que desempenho, estabilidade e custo atinjam padrões adequados para implantação em escala. O mais importante é que eles não são apenas uma equipe de laboratório com conhecimento técnico — também compreendem profundamente o funcionamento do setor de criptografia: compreendem as verdadeiras necessidades das partes que desenvolvem protocolos, o ritmo de avanço das parcerias ecológicas, e possuem uma base sólida tanto em termos de capital como de comunidade, sendo capazes de transformar rotas de engenharia em parcerias contínuas e dinamismo dos desenvolvedores.

Isso é evidenciado pelo apoio contínuo por parte do capital e da comunidade ao Brevis. Em novembro de 2024, o Brevis concluiu uma rodada de financiamento de sementes, liderada por instituições de topo como a Polychain e o Yzi Labs, fornecendo recursos financeiros para a continuação do desenvolvimento do zkVM, da rede de provas e da implementação de produtos. Ao mesmo tempo, a comunidade do Brevis experimentou um crescimento significativo em 2025, atraindo continuamente desenvolvedores e utilizadores através de iniciativas como os Proving Grounds, o sistema de papéis e mecanismos de tarefas. Além disso, a afirmação pública de Vitalik e o interesse do Justin Drake, da Fundação Ethereum, nas experiências e discussões sobre os progressos relevantes contribuíram para a formação de uma base externa de apoio e capital de confiança, permitindo ao Brevis continuar a expandir-se como infraestrutura.

Do Ethereum ao mundo mais amplo

O Ethereum tem estado preso há muito tempo a uma dicotomia estrutural em termos de escalabilidade: ou todos os nós repetem cálculos para obter segurança e não confiança, mas a taxa de transação e os custos são limitados pela recálculo total da rede; ou os cálculos são externalizados para melhorar a eficiência, mas isso exige confiar adicionalmente em alguma entidade calculadora. O Brevis tenta oferecer um terceiro caminho: colocar cálculos complexos fora da cadeia, e depois usar provas para devolver a confiabilidade à verificação na cadeia, avançando o sistema de um modelo de recálculo repetitivo para um modelo de divisão de tarefas baseado na verificação de resultados. O seu valor também não reside num ponto de produto específico, mas sim em tornar completa uma série inteira de cálculos verificáveis.

O Brevis não é a única solução para o problema de escalabilidade do Ethereum, mas demonstra o valor importante de uma camada de cálculo verificável, desacoplando cálculo e verificação, garantindo segurança e descentralização, ao mesmo tempo que alivia a pressão de execução na cadeia. O mais importante é que os efeitos da camada de cálculo infinita não se limitam ao Ethereum. Para toda a indústria de criptografia, isso significa que mais aplicações na cadeia podem obter complexidade e experiência próximas às do Web2, sem comprometer a segurança. Ao expandir para o mundo tradicional mais amplo, o cálculo verificável, que primeiro calcula e depois verifica, oferece uma nova forma de colaboração: quando múltiplas partes precisam partilhar resultados, mas não conseguem partilhar confiança, as provas podem tornar-se uma nova linguagem universal. À medida que redes de provas abertas, como o ProverNet, amadurecem, o que o Brevis constrói não será apenas uma capacidade aprimorada de uma determinada cadeia, mas sim uma oferta de cálculo confiável que pode ser chamada transversalmente, em diferentes ecossistemas e indústrias.

Clique para saber mais sobre as vagas da BlockBeats.

Bem-vindo à comunidade oficial da律动 BlockBeats:

Canal de subscrição do Telegram:https://t.me/theblockbeats

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

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