[Thread em inglês] Relatório de pesquisa da Brevis: zkVM e a camada de computação infinitamente verificável dos coprocessadores de dados ZK

Chainfeeds Guia de Leitura:

Brevis construiu uma camada de computação verificável multichain ao integrar uma zkVM universal (Pico/Prism) com um coprocessador de dados (zkCoprocessor).

Fonte do artigo:

Jacob Zhao

Opinião:

Jacob Zhao: "Computação verificável" tornou-se o modelo de computação universal para blockchain, cujo conceito central é "computação off-chain + verificação on-chain". Este paradigma permite que o blockchain mantenha a descentralização e a segurança com confiança minimizada, ao mesmo tempo em que obtém liberdade computacional quase ilimitada. As provas de conhecimento zero (ZKP) são o pilar deste sistema, com aplicações principais em escalabilidade, proteção de privacidade e interoperabilidade/integridade de dados. Entre elas, a escalabilidade foi a primeira direção a ser implementada, transferindo a computação para execução off-chain e verificando provas concisas on-chain, alcançando alta capacidade de processamento e expansão de confiança a baixo custo. A evolução da tecnologia ZK pode ser resumida como: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. O L2 zkRollup realizou pela primeira vez a execução off-chain e a verificação on-chain, aumentando significativamente o desempenho; a zkVM expandiu ainda mais para uma camada de computação verificável universal, suportando verificação cross-chain, inferência de IA e tarefas criptográficas; o zkCoprocessor modularizou este modelo, tornando-se um serviço de prova plug-and-play para DeFi, RWA e gestão de risco; o L1 zkEVM finalmente incorporou a verificação de conhecimento zero na camada de execução do Ethereum, alcançando prova em tempo real (Realtime Proving, RTP). Esta evolução representa a transição do blockchain de "escalabilidade" para "verificabilidade", entrando na era da computação sem confiança. O caminho do zkEVM do Ethereum passou por duas fases: a primeira fase (2022–2024), em que o L2 Rollup migrou a camada de execução, mas introduziu fragmentação de liquidez e estado; a segunda fase (2025–), em que o L1 RTP substitui a revalidação N-of-N por prova 1-of-N, mantendo a descentralização enquanto aumenta a capacidade de processamento. Fora do Ethereum, a computação de conhecimento zero está avançando para um campo mais amplo de computação verificável, com o sistema central incluindo zkVM e zkCoprocessor. A zkVM (máquina virtual de conhecimento zero) é um motor de execução verificável universal, suportando a execução de qualquer programa em conjuntos de instruções RISC-V, MIPS ou WASM, com resultados de prova verificáveis on-chain, usados para validação de blocos, inferência de IA e tarefas cross-chain. Sua vantagem está na universalidade e flexibilidade, mas o custo de geração de provas é alto e a otimização paralela é complexa. Projetos representativos incluem RiscZero, SP1 da SuccinctLabs e Pico zkVM da Brevis. Em comparação, o zkCoprocessor é mais como um "módulo verificável para cenários específicos", fornecendo interfaces padronizadas de computação e prova para DeFi, RWA, etc.; as aplicações só precisam chamar o SDK ou API para obter resultados e provas, com integração rápida e baixo custo, mas universalidade limitada. Ambos compartilham a lógica de "computação off-chain + verificação on-chain": o custo on-chain da execução computacional é muito maior do que o custo combinado de geração off-chain e verificação on-chain. No negócio, a zkVM segue o modelo "Proving-as-a-Service", fornecendo motor de computação para infraestrutura; o zkCoprocessor é "Proof-API-as-a-Service", servindo a camada de aplicação com uma estrutura SaaS baseada em tarefas. O primeiro constrói uma barreira tecnológica, o segundo impulsiona a adoção comercial. Juntos, formam os dois polos da rede de computação sem confiança: a zkVM constrói a base computacional, o zkCoprocessor impulsiona a prosperidade do ecossistema. A Brevis Network integra as arquiteturas zkVM e zkCoprocessor, criando uma infraestrutura computacional verificável universal de alto desempenho, chamada de "camada de computação infinita". Sua Pico zkVM adota uma arquitetura modular, desacoplando a camada de execução universal da camada de coprocessamento acelerada por hardware, realizando um sistema duplo "General + Specialized", suportando múltiplos backends de prova e módulos de compressão recursiva; os desenvolvedores podem escrever lógica de negócios em Rust para gerar provas automaticamente, reduzindo significativamente a barreira de entrada. O Pico Prism avança ainda mais o desempenho em clusters multi-GPU, alcançando uma média de 6,9 segundos por prova e 96,8% de cobertura RTP em um ambiente de 64×RTX5090, com uma relação custo-desempenho 3,4 vezes superior à de concorrentes. O zk Data Coprocessor da Brevis permite que contratos inteligentes tenham "memória", podendo acessar dados históricos e executar verificações sem necessidade de confiança, sendo usado para recompensas de liquidez, identidade cross-chain e DeFi orientado por dados. Sua camada de incentivos Incentra realiza distribuição transparente on-chain via provas ZK, já atendendo protocolos como PancakeSwap, Euler, UsualMoney, Linea, entre outros. De acordo com o Brevis Explorer, até outubro de 2025, a rede já gerou 125 milhões de provas ZK, suportou mais de 2.8 bilhões de dólares em TVL e validou mais de 1 bilhão de dólares em volume de transações. Baseando-se nas camadas de segurança do Ethereum e EigenLayer, a Brevis expandiu-se para BNB, Linea, 0G e outros ecossistemas, fornecendo suporte fundamental para incentivos on-chain, otimização de liquidez e verificação cross-chain, construindo uma rede de computação verificável com feedback duplo entre tecnologia e aplicações. [O texto original está em inglês]