O ZK Data Coprocessor é o elemento central do Brevis que permite aos contratos inteligentes aceder de forma segura e fiável a dados históricos e entre cadeias. Este componente obtém dados autênticos on-chain, realiza cálculos off-chain e devolve os resultados acompanhados de uma prova de conhecimento zero (ZK) para validação on-chain. Como camada mais orientada para aplicações do Brevis (BREV), transforma o problema de “contratos incapazes de calcular ou ler dados históricos” em “calcular off-chain, verificar on-chain”.
Os mecanismos de consenso Blockchain obrigam cada validador a repetir cálculos idênticos, tornando o acesso direto on-chain a grandes volumes de transações históricas altamente dispendioso. Por isso, os contratos inteligentes têm visibilidade quase nula sobre dados históricos.
Inspirado pela filosofia do Brevis—“provar trabalho em vez de o repetir”—o ZK Data Coprocessor desloca a leitura intensiva de dados e o cálculo para off-chain, reduzindo a validação on-chain a um processo de milissegundos. Assim, os contratos passam a tomar decisões com base 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 motor de cálculo off-chain especializado para aceder a estados históricos Blockchain e dados entre cadeias, executar cálculos que os contratos não conseguem realizar eficientemente on-chain e anexar uma prova criptográfica a cada cálculo. Gera credenciais verificáveis—“resultado + prova de que o resultado é derivado de dados autênticos e calculado corretamente”.
Na stack tecnológica do Brevis, o ZK Data Coprocessor é o principal exemplo do Pico zkVM como “coprocessador ao nível da aplicação”. O Pico zkVM atua como camada de ligação entre o núcleo geral e módulos especializados, enquanto o Data Coprocessor se foca em “ler história, realizar análises e anexar provas”, permitindo aos contratos confiar na matemática e não em operadores centralizados.
Porque é que os contratos inteligentes não conseguem “ler” dados históricos?
Por definição, os contratos inteligentes acedem eficientemente apenas ao estado do bloco atual e são praticamente cegos aos dados de blocos anteriores. Embora redes como a Ethereum guardem o histórico completo, o acesso de contratos ao armazenamento de blocos passados ou transações on-chain exige provas adicionais dispendiosas e frequentemente não dispõe de interfaces nativas.
A razão fundamental é o custo e o consenso: reproduzir, por exemplo, o volume de transações de um endereço nos últimos seis meses on-chain obrigaria cada validador a processar dados de estado massivos, excedendo rapidamente os limites de gás por transação. Assim, os dados históricos “existem”, mas estão “indisponíveis”. Funcionalidades como taxas de negociação escalonadas ou recompensas de fidelidade baseadas em comportamento histórico dependem tradicionalmente de cálculos off-chain e reintegração, reintroduzindo confiança em intermediários centralizados.
Como é que o ZK Data Coprocessor acede a dados on-chain off-chain?
O ZK Data Coprocessor acede a estados históricos completos através de nodos de arquivo Blockchain. Estes nodos armazenam instantâneos de cada bloco histórico, permitindo ao coprocessor ler saldos, slots de armazenamento e registos de transações em qualquer momento—abrangendo estados de cadeia única e múltiplas cadeias—sem que os contratos tenham de reproduzir dados on-chain.
Depois de obter os dados brutos, o coprocessor executa lógica de cálculo definida pelo utilizador off-chain, como agregação, filtragem, ponderação ou avaliação condicional. Ao contrário do cálculo off-chain convencional, cada ponto de dados acedido é incluído na prova subsequente, garantindo “existência dos dados” e “correção do cálculo”.
Do pedido à verificação: como funciona o fluxo completo de dados?
O fluxo de dados do ZK Data Coprocessor é composto por quatro etapas que formam um ciclo fechado desde o pedido da aplicação até à adoção pelo contrato inteligente on-chain. No workflow puro-ZK, a geração de provas em cada etapa depende da camada de execução zkVM. A tabela seguinte detalha cada etapa:
| Etapa |
Fase |
O que acontece |
Output |
| ① |
Pedido de aplicação |
A dApp define a lógica de cálculo e o âmbito dos dados, submetendo o pedido |
Tarefa de cálculo |
| ② |
Acesso e cálculo de dados off-chain |
O coprocessor lê dados autênticos via nodos de arquivo e realiza o cálculo |
Resultado bruto |
| ③ |
Geração de 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 verifica a prova em milissegundos e aceita o resultado |
Conclusão fiável |
Estas etapas criam um pipeline “calcular off-chain, verificar on-chain”: a leitura intensiva de dados e o cálculo são tratados off-chain, enquanto on-chain apenas verifica uma prova sucinta a custo mínimo, sem necessidade de transferir dados brutos.
Figura 1. Fluxo de dados em quatro etapas do ZK Data Coprocessor: pedido de aplicação → acesso a dados off-chain (nodo de arquivo) → cálculo → geração de prova ZK (dados existem e cálculo é correto) → verificador on-chain → resultado devolvido.
Porque são fiáveis as provas geradas?
A fiabilidade das provas do ZK Data Coprocessor baseia-se numa garantia tripla: resultado, autenticidade dos dados e correção do cálculo. Qualquer manipulação em qualquer camada faz a verificação on-chain falhar.
As provas de conhecimento zero dissociam o custo de verificação da escala computacional: independentemente do número de blocos históricos processados off-chain, a verificação on-chain exige apenas a verificação de uma prova sucinta de tamanho fixo, normalmente em milissegundos. A tabela abaixo detalha os três tipos de factos garantidos pela prova.
| Tipo de garantia |
Facto garantido pela prova |
Impede manipulação |
| Resultado |
O valor devolvido é o verdadeiro resultado do cálculo |
Manipulação do resultado final |
| Existência dos dados |
As entradas provêm 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 rigorosamente a lógica declarada |
Omissão de etapas, simplificação ou alteração da lógica |
Esta estrutura explica porque os contratos podem “não confiar, apenas verificar”: resultado, entrada e processo estão todos incluídos na prova, impedindo o coprocessor de manipular qualquer etapa. Esta propriedade de confiança minimizada distingue-se fundamentalmente de soluções que dependem de entidades fiáveis para reintegração de dados.
Figura 2. Estrutura da prova do ZK Data Coprocessor: uma única prova garante simultaneamente resultado, existência dos dados e correção do cálculo, verificada por um contrato inteligente on-chain em milissegundos.
Que cenários são adequados para o ZK Data Coprocessor?
O ZK Data Coprocessor é ideal para qualquer cenário on-chain que exija “resultados fiáveis baseados em dados históricos ou entre cadeias”. Casos de uso que antes dependiam de cálculo off-chain e reintegração podem agora beneficiar de cálculos verificáveis. A tabela abaixo destaca vários cenários comuns:
| Cenário |
Capacidade necessária |
Descrição |
| Incentivos baseados em dados |
Agregação de volume/comportamento histórico de negociação |
Recompensas emitidas com base em atividade real; resultados são à prova de manipulação |
| Fidelização e escalonamento |
Duração da posição/instantâneos históricos |
Benefícios escalonados com base em registos de participação ou negociação |
| Controlo de risco on-chain |
Perfil histórico de endereços |
Avaliação de risco com base em comportamento histórico antes de executar lógica de contrato |
| Leitura de estado entre cadeias |
Dados de arquivo multi-cadeia |
Adotar estado histórico de outra cadeia |
O elemento comum nestes cenários é que as decisões se baseiam em “eventos passados”, e estes dados não podem ser reproduzidos eficientemente on-chain. Ao contrário dos oracles que apenas importam dados off-chain, a diferença entre Brevis e oracles é que o coprocessor não só fornece dados, mas também entrega “cálculo baseado nos dados e prova de correção”, transferindo a confiança da fonte de dados para a verificação matemática.
Quais são as vantagens e limitações do uso do ZK Data Coprocessor?
As principais vantagens do ZK Data Coprocessor são a minimização da confiança e a escalabilidade. A execução off-chain elimina as restrições computacionais impostas pelos limites de gás do bloco, e as provas de conhecimento zero permitem verificar resultados sem dependência de terceiros. Isto permite que contratos tomem decisões seguras com base em atividade on-chain de longo prazo.
As limitações principais resultam do próprio cálculo ZK: a geração de provas de conhecimento zero requer hardware especializado e hashrate, e provas para lógica complexa têm custos e latência superiores à execução nativa, tornando-o menos adequado para cenários de latência ultra-baixa. A fiabilidade dos resultados depende também da integridade da fonte de dados—dados em falta ou incorretos do nodo de arquivo impactam diretamente a autenticidade das entradas.
Assim, o ZK Data Coprocessor é mais indicado para cenários em que “a correção do resultado é mais importante do que a imediatidade”, tornando cálculos históricos de grande escala fiáveis e utilizáveis, embora não isentos de custos. Para casos de uso mais sensíveis à latência e ao custo das provas, o modelo otimista BREV token e coChain oferece uma alternativa. Todas as limitações acima são objetivas e ao nível do mecanismo, não constituindo aconselhamento de investimento.
Resumo
Como camada voltada para aplicações do Brevis, o ZK Data Coprocessor resolve os desafios do acesso limitado dos contratos inteligentes a dados históricos e ao elevado custo da reprodução on-chain. Acede a dados históricos e entre cadeias autênticos via nodos de arquivo off-chain, realiza cálculos e devolve uma prova de conhecimento zero—“resultado + existência dos dados e correção do cálculo”—para verificação de contratos em milissegundos. O processo em quatro etapas—pedido, cálculo off-chain, geração de prova e verificação on-chain—transfere a confiança de intermediários centralizados para a criptografia, permitindo incentivos baseados em dados fiáveis, programas de fidelidade, controlos de risco e leitura de estado entre cadeias.
Perguntas Frequentes
O que é o ZK Data Coprocessor?
Como motor de cálculo off-chain, o ZK Data Coprocessor acede a dados históricos e entre cadeias Blockchain, executa cálculos que os contratos não conseguem realizar on-chain e anexa uma prova de conhecimento zero ao resultado. Os contratos apenas necessitam de verificar uma prova sucinta on-chain para aceitar o resultado, eliminando a necessidade de reproduzir dados brutos.
De onde vêm os dados do ZK Data Coprocessor?
Os dados são obtidos de nodos de arquivo Blockchain, que armazenam instantâneos completos do estado de cada bloco histórico. O coprocessor utiliza estes instantâneos para ler saldos, armazenamento e registos de transações em qualquer momento, abrangendo estados históricos em várias cadeias. Cada ponto de dados é incluído na prova subsequente.
Porque são fiáveis os resultados do ZK Data Coprocessor?
A prova de conhecimento zero devolvida garante simultaneamente três factos: o resultado em si, que os dados de entrada existem genuinamente na cadeia alvo e que o cálculo segue rigorosamente a lógica declarada. Qualquer manipulação faz com que a prova falhe na verificação on-chain, permitindo aos contratos “não confiar, apenas verificar”.
Em que se diferencia o ZK Data Coprocessor dos oracles?
Os oracles importam principalmente dados off-chain para a Blockchain e continuam a exigir confiança na fonte de dados. Pelo contrário, o ZK Data Coprocessor realiza cálculos off-chain com base em dados autênticos on-chain ou históricos e anexa uma prova de conhecimento zero de correção, transferindo a confiança da fonte de dados para a verificação matemática.
