[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:

Jacob Zhao

Opinião:

Jacob Zhao: "Computação Verificável" tornou-se o modelo de computação universal do blockchain, cujo conceito central é "computação off-chain + verificação on-chain". Esse 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. Zero-Knowledge Proofs (ZKP) são o pilar desse sistema, com aplicações principais em escalabilidade, privacidade e interoperabilidade/integridade de dados. Entre elas, a escalabilidade foi a primeira a ser implementada, transferindo a computação para execução off-chain e verificando provas sucintas on-chain, alcançando alta capacidade de processamento e baixo custo de confiança. 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 verificação on-chain, melhorando significativamente o desempenho; 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; zkCoprocessor modularizou esse modelo, tornando-se um serviço plug-and-play de provas para DeFi, RWA e gerenciamento de risco; L1 zkEVM finalmente incorpora a verificação de zero-knowledge na camada de execução do Ethereum, realizando Prova em Tempo Real (Realtime Proving, RTP). Essa 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), L2 Rollup migrou a camada de execução, mas introduziu fragmentação de liquidez e estado; a segunda fase (2025–), L1 RTP substitui a revalidação N-of-N por prova 1-of-N, aumentando a capacidade de processamento enquanto mantém a descentralização. Fora do Ethereum, a computação de zero-knowledge está avançando para um campo mais amplo de computação verificável, com os sistemas centrais incluindo zkVM e zkCoprocessor. zkVM (Máquina Virtual de Zero-Knowledge) é um mecanismo 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, 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 de computação é muito maior do que o custo combinado de geração off-chain e verificação on-chain. No negócio, zkVM segue o modelo "Proving-as-a-Service", fornecendo o mecanismo de computação para infraestrutura; 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, enquanto o segundo impulsiona a adoção comercial. Juntos, formam os dois polos da rede de computação sem confiança: zkVM constrói a base computacional, zkCoprocessor impulsiona a prosperidade do ecossistema. A Brevis Network integra as arquiteturas zkVM e zkCoprocessor, criando uma infraestrutura universal de computação verificável de alto desempenho, chamada de "camada de computação infinita". Seu Pico zkVM utiliza 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 no desempenho em clusters de múltiplas GPUs, alcançando uma média de 6,9 segundos por prova e 96,8% de cobertura RTP em um ambiente de 64×RTX5090, com custo-benefício 3,4 vezes superior aos 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. Segundo o Brevis Explorer, até outubro de 2025, a rede já gerou 125 milhões de provas ZK, suportando mais de 2.8 bilhões de dólares em TVL e validando mais de 1 bilhão de dólares em volume de transações. A Brevis, baseada nas camadas de segurança do Ethereum e EigenLayer, expandiu 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ção. [O texto original está em inglês]