O ZK Data Coprocessor é o componente fundamental do Brevis, responsável por permitir que contratos inteligentes acessem dados históricos e cross-chain de forma segura e verificável. Ele obtém dados autênticos diretamente da blockchain e realiza cálculos fora da cadeia, devolvendo os resultados acompanhados de uma prova de conhecimento zero (ZK) para validação on-chain. Como camada mais orientada à aplicação do Brevis (BREV), transforma o desafio de “contratos não conseguirem processar ou acessar dados históricos” em “calcule fora da cadeia, verifique na blockchain”.
Os mecanismos de consenso da blockchain exigem que cada validador repita exatamente os mesmos cálculos, o que torna o acesso direto a grandes volumes de transações históricas on-chain extremamente oneroso. Por isso, contratos inteligentes praticamente não têm acesso eficiente a dados históricos.
Inspirado pela filosofia do Brevis de “provar o trabalho em vez de repeti-lo”, o ZK Data Coprocessor leva toda a leitura intensiva de dados e o processamento para fora da cadeia, reduzindo a validação on-chain a milissegundos. Assim, contratos podem tomar decisões baseadas em comportamentos on-chain de longo prazo sem dependência de intermediários centralizados.
O que é o ZK Data Coprocessor?
O ZK Data Coprocessor é um mecanismo especializado de computação fora da cadeia, projetado para acessar estados históricos e dados cross-chain da blockchain, executar operações que contratos não conseguem realizar on-chain e anexar uma prova criptográfica a cada cálculo. Ele gera credenciais verificáveis — “resultado + prova de que o resultado foi corretamente calculado a partir de dados autênticos”.
Na arquitetura tecnológica do Brevis, o ZK Data Coprocessor é a principal referência do Pico zkVM como “coprocessador em nível de aplicação”. O Pico zkVM atua como uma camada de integração, roteando dados entre o núcleo geral e módulos especializados, enquanto o Data Coprocessor se dedica à leitura do histórico, análises e anexação de provas, permitindo que contratos confiem nos cálculos matemáticos em vez de operadores centralizados.
Por que contratos inteligentes não “leem” dados históricos?
Por design, contratos inteligentes só conseguem acessar eficientemente o estado atual do bloco e praticamente não têm acesso a dados de blocos anteriores. Mesmo blockchains como a Ethereum mantêm o histórico completo, mas contratos que tentam acessar armazenamento ou transações passadas on-chain esbarram em custos elevados e frequentemente não contam com interfaces nativas.
A questão central é o custo e o consenso: por exemplo, para reprocessar o volume de transações de um endereço nos últimos seis meses, cada validador teria que processar grandes volumes de dados de estado, rapidamente excedendo os limites de gas por transação. Assim, dados históricos “existem”, mas estão “indisponíveis”. Recursos como taxas de negociação em camadas ou recompensas de fidelidade baseadas no histórico tradicionalmente dependiam de cálculos off-chain e reintegração, o que reintroduz a necessidade de confiar em intermediários centralizados.
Como o ZK Data Coprocessor acessa dados on-chain fora da cadeia?
O ZK Data Coprocessor acessa estados históricos completos por meio de nós de arquivo da blockchain. Esses nós armazenam instantâneos de cada bloco, permitindo que o coprocessador leia saldos, slots de armazenamento e registros de transações em qualquer momento — abarcando tanto estados de uma só rede quanto de múltiplas redes — sem a necessidade de reprocessar dados on-chain.
Depois de obter os dados brutos, o coprocessador executa a lógica de cálculo definida pelo usuário fora da cadeia, como agregação, filtragem, ponderação ou avaliação condicional. Diferente da computação off-chain comum, cada ponto de dado acessado é incluído na prova subsequente, garantindo tanto a “existência dos dados” quanto a “correção dos cálculos”.
Do pedido à verificação: como funciona o fluxo de dados completo?
O fluxo de dados do ZK Data Coprocessor é composto por quatro etapas principais, formando um ciclo fechado que vai do pedido da aplicação até a validação pelo contrato inteligente on-chain. No fluxo integral ZK, a geração de provas em cada etapa depende da camada de execução geral do zkVM. Veja a seguir o detalhamento de cada fase:
| Etapa |
Fase |
O que acontece |
Saída |
| ① |
Pedido da aplicação |
O dApp define a lógica de cálculo e o escopo dos dados e envia o pedido |
Tarefa de cálculo |
| ② |
Acesso e cálculo de dados off-chain |
O coprocessador lê os dados autênticos via nós de arquivo e realiza o cálculo |
Resultado bruto |
| ③ |
Geração da prova ZK |
Gera uma prova ZK de que o cálculo foi executado corretamente sobre dados reais |
Resultado + Prova |
| ④ |
Verificação on-chain |
O contrato inteligente valida a prova em milissegundos e aceita o resultado |
Conclusão confiável |
Essas quatro etapas estabelecem um fluxo “computação fora da cadeia, verificação on-chain”: toda a leitura pesada e o cálculo acontecem fora da blockchain, enquanto on-chain somente verifica uma prova sucinta com custo mínimo, sem a necessidade de transferir dados brutos para a rede.
Figura 1. Fluxo de dados em quatro etapas do ZK Data Coprocessor: pedido da aplicação → acesso a dados off-chain (nó de arquivo) → cálculo → geração da prova ZK (dados existem e cálculo é correto) → verificação on-chain → resultado retornado.
Por que as provas geradas são confiáveis?
A confiança nas provas do ZK Data Coprocessor decorre da garantia tripla: do próprio resultado, da autenticidade dos dados e da precisão do cálculo. Qualquer adulteração em qualquer etapa faz a validação on-chain falhar.
As provas de conhecimento zero dissociam o custo de verificação do volume computacional: não importa quantos blocos históricos foram processados off-chain, a verificação on-chain requer apenas a checagem de uma prova sucinta e de tamanho fixo, geralmente em milissegundos. A tabela seguinte detalha os três tipos de fatos garantidos pela prova.
| Tipo de garantia |
Fato assegurado pela prova |
O que impede |
| Resultado |
O valor devolvido é o resultado verdadeiro do cálculo |
Manipulação do resultado final |
| Existência dos dados |
Entradas originadas do estado histórico autêntico da cadeia alvo |
Falsificação ou substituição dos dados de entrada |
| Correção do cálculo |
O cálculo segue exatamente a lógica declarada |
Pular etapas, simplificar ou alterar a lógica |
Essa estrutura permite que contratos “não confiem, apenas verifiquem”: resultado, dados de entrada e processo estão todos presentes na prova, impedindo qualquer adulteração pelo coprocessador em qualquer fase. Essa característica de confiança minimizada diferencia radicalmente essa abordagem de soluções que dependem de partes confiáveis para reintegrar dados.
Figura 2. Estrutura da prova do ZK Data Coprocessor: uma única prova protege simultaneamente resultado, existência dos dados e correção do cálculo, validada por um contrato inteligente on-chain em milissegundos.
Quais cenários são ideais para o ZK Data Coprocessor?
O ZK Data Coprocessor se destaca em qualquer cenário on-chain que exija “resultados confiáveis baseados em dados históricos ou cross-chain”. Casos de uso antes dependentes de computação externa e reintegração agora podem contar com cálculos verificáveis. Veja exemplos na tabela abaixo:
| Cenário |
Capacidade necessária |
Descrição |
| Incentivos orientados por dados |
Agregação de volume/comportamento de negociação histórico |
Recompensas distribuídas com base em atividade real; resultados são à prova de manipulação |
| Fidelização e segmentação |
Duração da posição/instantâneos históricos |
Benefícios em camadas a partir de registros de holding ou negociação |
| Controle de risco on-chain |
Perfil histórico de endereços |
Avaliação de risco baseada em comportamento histórico antes da execução da lógica contratual |
| Leitura de estado cross-chain |
Dados históricos multi-chain |
Incorporação de estados históricos de outra rede |
O denominador comum nesses cenários é a dependência de “eventos passados”, cujos dados não são facilmente processáveis on-chain. Diferente dos oráculos, que apenas importam dados externos, a diferença entre Brevis e oráculos está em que o coprocessador entrega não apenas dados, mas também o cálculo realizado e a respectiva prova de correção, transferindo a confiança da fonte dos dados para a verificação matemática.
Quais as vantagens e limitações do ZK Data Coprocessor?
Os principais diferenciais do ZK Data Coprocessor são a minimização de confiança e a escalabilidade. Ao executar tarefas fora da blockchain, elimina as restrições de processamento impostas pelos limites de gas e, com provas de conhecimento zero, permite validar resultados sem depender de terceiros. Assim, contratos inteligentes podem tomar decisões seguras com base em históricos de longo prazo da blockchain.
As limitações estão relacionadas ao próprio processamento ZK: a geração das provas requer hardware especializado e poder computacional, e provas para lógicas complexas têm custos e latência superiores à execução nativa, tornando o recurso menos indicado para cenários de latência ultra-baixa. A confiabilidade dos resultados depende da integridade dos dados de origem — dados ausentes ou incorretos nos nós de arquivo impactam diretamente a autenticidade dos insumos.
Por isso, o ZK Data Coprocessor é mais indicado para casos em que “a precisão do resultado é mais importante que a velocidade”, viabilizando cálculos históricos em escala com confiabilidade, ainda que com custos envolvidos. Para aplicações com alta sensibilidade à latência e ao custo das provas, o modelo otimista do token BREV e coChain pode ser uma opção. Todos os pontos apresentados são limitações de mecanismo e não constituem recomendação de investimento.
Resumo
Como camada de interface do Brevis, o ZK Data Coprocessor resolve o acesso restrito de contratos inteligentes a dados históricos e o alto custo da reexecução on-chain. Ele acessa dados históricos e cross-chain autênticos por nós de arquivo fora da cadeia, executa cálculos e devolve uma prova de conhecimento zero — “resultado + existência dos dados e precisão do cálculo” — para validação contratual em milissegundos. O processo em quatro etapas — requisição, computação off-chain, geração de prova e verificação on-chain — transfere a confiança de intermediários para a criptografia, viabilizando incentivos orientados por dados, programas de fidelidade, controles de risco e leitura de estado cross-chain.
Perguntas frequentes
O que é o ZK Data Coprocessor?
O ZK Data Coprocessor é um mecanismo de computação fora da cadeia que acessa dados históricos e cross-chain da blockchain, realiza cálculos que contratos não podem executar on-chain e anexa uma prova de conhecimento zero ao resultado. Basta ao contrato verificar a prova sucinta on-chain para aceitar o resultado, sem necessidade de reprocessar dados brutos.
De onde vêm os dados do ZK Data Coprocessor?
Os dados são obtidos de nós de arquivo da blockchain, que armazenam instantâneos completos de cada bloco histórico. O coprocessador usa esses instantâneos para consultar saldos, armazenamento e registros de transações em qualquer momento, cobrindo estados históricos em várias redes. Cada ponto de dado é incluído na prova subsequente.
Por que os resultados do ZK Data Coprocessor são confiáveis?
A prova de conhecimento zero devolvida garante simultaneamente três fatos: o próprio resultado, a existência real dos dados de entrada na rede de destino e que o cálculo segue exatamente a lógica declarada. Qualquer adulteração leva a falha na verificação on-chain, permitindo que contratos “não confiem, apenas verifiquem”.
Qual a diferença entre o ZK Data Coprocessor e oráculos?
Oráculos basicamente importam dados externos para a blockchain, exigindo confiança na fonte. Já o ZK Data Coprocessor realiza cálculos fora da cadeia com base em dados on-chain ou históricos autênticos e anexa uma prova de correção, transferindo a confiança do dado para a verificação matemática.
