Como Brevis se diferencia de oracles e outros co-processadores ZK?

A diferença essencial entre oráculos e ZK coprocessors como o Brevis está na direção dos dados: oráculos trazem informações externas, off-chain, para a blockchain, enquanto ZK coprocessors como o Brevis realizam cálculos verificáveis sobre dados históricos já disponíveis on-chain, retornando resultados que podem ser validados matematicamente. Como plataforma de computação verificável orientada ao Web3, o Brevis (BREV) responde à questão “como calcular dados on-chain e comprovar sua exatidão”, enquanto os oráculos lidam com “como trazer dados off-chain para on-chain”.

Smart contracts em blockchains não acessam dados externos diretamente e encontram obstáculos ao tentar reproduzir grandes volumes de transações históricas on-chain. Essas limitações impulsionaram o surgimento de oráculos e ZK coprocessors: oráculos viabilizam a entrada de dados externos na blockchain, enquanto ZK coprocessors permitem cálculos confiáveis sobre dados históricos on-chain. Entender essa diferença é fundamental para decidir qual infraestrutura utilizar ou como combiná-las em casos de uso específicos.

Figura 1. Comparação entre Brevis ZK Coprocessor e Oráculo em quatro dimensões: direção dos dados, modelo de confiança, computação e verificação.

O que é um oráculo e que problemas resolve?

O oráculo é a ponte de dados entre blockchains e o ambiente externo, tendo como função principal entregar informações off-chain ou externas com segurança para smart contracts on-chain. Exemplos comuns incluem feeds de preços, geração de números aleatórios, reporte de resultados de eventos e sincronização de estados entre sistemas.

Dentro de um ambiente determinístico e fechado, smart contracts não acessam diretamente APIs off-chain ou dados do mundo real. Oráculos utilizam redes de nós para coletar, agregar e registrar dados on-chain, permitindo que contratos dependentes de condições de mercado externas — como liquidações de empréstimos e de derivativos — funcionem de forma eficaz.

A credibilidade dos oráculos baseia-se em pressupostos sobre a integridade das redes de nós, acordos multisig, mecanismos de agregação de dados e incentivos econômicos. A precisão dos dados depende, em última instância, da honestidade dos nós repórteres e da robustez do processo de agregação, não de provas matemáticas on-chain.

O que são ZK coprocessors como o Brevis?

ZK coprocessors como o Brevis processam dados históricos e cross-chain já presentes on-chain, executando cálculos complexos off-chain e retornando tanto os resultados quanto provas de zero-knowledge. Essas provas permitem que smart contracts validem matematicamente a correção dos cálculos on-chain. ZK data coprocessors acessam dados autênticos de nós de arquivo off-chain, realizam cálculos e retornam tanto resultados quanto provas on-chain, estruturando um fluxo completo de “cálculo off-chain, verificação on-chain”.

O Brevis é baseado em um ZK data coprocessor e no Pico zkVM, operando sob dois modelos de segurança: puro-ZK (zero-knowledge puro) ou o modelo coChain (OP), conforme descrito em BREV Token and coChain. O modelo puro-ZK utiliza provas criptográficas, enquanto o modelo coChain adiciona staking e slashing baseados em Ethereum para segurança criptoeconômica extra.

Ao contrário dos oráculos, ZK coprocessors não dependem da honestidade na transmissão dos dados. Eles permitem que o próprio processo de cálculo seja verificável: se a prova for válida, o contrato confirma a existência e a precisão dos dados e cálculos on-chain relevantes, reduzindo ao mínimo a necessidade de confiança.

Como se diferenciam as fontes de dados e os modelos de confiança?

Oráculos consomem dados externos, off-chain (preços, eventos, dados de APIs), enquanto ZK coprocessors utilizam dados já existentes on-chain (transações históricas, saldos, estados cross-chain).

Em relação ao modelo de confiança, oráculos dependem de nós repórteres confiáveis ou acordos multisig, respaldados por incentivos econômicos — trata-se de um modelo de confiança social e econômica. ZK coprocessors, por outro lado, baseiam-se na verificabilidade matemática das provas de zero-knowledge — confiança no próprio cálculo, ou seja, um modelo de confiança criptográfica.

Nenhum modelo é superior em todos os casos. Dados externos não podem ser comprovados exclusivamente por criptografia, e a correspondência entre preços on-chain e preços reais de mercado exige uma fonte confiável. Já cálculos sobre dados on-chain existentes podem ser verificados diretamente por provas ZK.

Como diferem suas capacidades computacionais?

Oráculos atuam principalmente no “transporte de dados”: transmitem e agregam dados externos para uso on-chain, sem análise complexa dos dados on-chain. ZK coprocessors, por sua vez, realizam “computação pesada”, como estatísticas em larga escala, agregação e até inferência de modelos sobre dados históricos off-chain.

Smart contracts têm acesso restrito a dados históricos, e reproduzir grandes históricos de transações on-chain é economicamente inviável. ZK coprocessors transferem esses cálculos para o off-chain e fornecem provas sucintas, permitindo validação rápida on-chain e superando limites de Gas para computação em bloco.

Tabela: principais diferenças entre Brevis, oráculos e outros ZK coprocessors

A tabela a seguir compara ZK coprocessors como o Brevis, outros ZK coprocessors e oráculos em quatro dimensões: direção dos dados, modelo de confiança, capacidade de computação e método de verificação.

Pontos-chave: Oráculos e ZK coprocessors estão em extremos opostos no fluxo de dados. “Outros ZK coprocessors”, como infraestrutura semelhante, realizam diferentes trade-offs em acesso a dados, sistemas de prova e modelos de segurança. O Brevis se destaca pelo Pico zkVM de uso geral e modelos duplos puro-ZK/coChain. Esta tabela apresenta uma visão categórica, sem conclusões sobre projetos de terceiros não confirmados.

Qual tipo usar em cada cenário?

A escolha depende se a aplicação requer “dados externos on-chain” ou “cálculo de dados históricos on-chain”. Oráculos são ideais para preços de ativos em tempo real, resultados de eventos off-chain ou números aleatórios. ZK coprocessors são mais indicados para incentivar usuários com base em comportamento on-chain de longo prazo, controle de risco ou agregação cross-chain.

Cenários de dados on-chain são tratados por oráculos, como preços de liquidação de empréstimos, liquidação de derivativos e gatilhos de eventos de seguro. Para cálculos sobre dados históricos, ZK coprocessors são mais adequados, como para recompensas baseadas em volume real de negociação, cálculo de fidelidade por tempo de holding ou agregação de ativos cross-chain para controle de risco. Na prática, ambos são frequentemente usados em conjunto: uma aplicação DeFi pode utilizar oráculos para precificação externa e ZK coprocessors para avaliar contribuições históricas on-chain — são complementares, não substitutos.

Figura 2. Seleção de cenários: utilize oráculos para dados externos on-chain, ZK coprocessors como o Brevis para computação histórica on-chain verificável; ambos podem ser combinados.

Quais são as limitações e considerações nessas comparações?

Os limites entre as terminologias não são absolutos: “oráculo” e “ZK coprocessor” são categorias funcionais, mas soluções reais frequentemente integram múltiplas funções, tornando essas fronteiras menos claras à medida que evoluem. “Outros ZK coprocessors” devem ser considerados uma categoria geral — não se deve tirar conclusões definitivas sobre projetos de terceiros sem confirmação pública.

Soluções híbridas se tornam cada vez mais comuns: algumas infraestruturas combinam entrada de dados externos com cálculo verificável ou utilizam provas de zero-knowledge para reforçar a integridade dos dados dos oráculos. Escolher estritamente entre um ou outro pode deixar de lado modelos híbridos relevantes.

Custo e latência também são fatores importantes. A geração de provas ZK demanda hardware especializado e apresenta maior overhead para computação de uso geral em relação à execução nativa. Oráculos são influenciados pela frequência de atualização, cobertura de nós e latência de agregação. Comparações devem ser feitas conforme o cenário, e não com base em um único critério.

Resumo

Oráculos e ZK coprocessors como o Brevis solucionam desafios distintos em extremos opostos dos fluxos de dados em blockchain: oráculos trazem dados externos on-chain, baseando-se em modelos de confiança e incentivos econômicos; ZK coprocessors permitem cálculos verificáveis sobre dados históricos on-chain, baseados na integridade matemática das provas de zero-knowledge. Cada um ocupa um papel específico em direção dos dados, modelo de confiança e capacidade de computação, e os limites entre eles não são rígidos. Na prática, abordagens híbridas são comuns para maior eficiência.

Perguntas Frequentes

Oráculos e ZK Coprocessors podem substituir um ao outro?

Não. Oráculos trazem dados externos, off-chain, para on-chain, enquanto ZK coprocessors executam cálculos verificáveis sobre dados históricos já on-chain. Eles atuam em pontos diferentes do fluxo de dados e são frequentemente utilizados de forma combinada em uma mesma aplicação.

Qual é a diferença central entre Brevis e oráculos?

A diferença central está na direção dos dados e no modelo de confiança. Oráculos trazem dados externos para on-chain, baseando-se em nós/multisig e incentivos econômicos. Brevis e outros ZK coprocessors processam dados históricos on-chain e retornam provas de zero-knowledge, permitindo verificação matemática dos resultados diretamente on-chain.

Por que ZK coprocessors são considerados trust-minimized?

ZK coprocessors tornam o processo de cálculo verificável: se a prova de zero-knowledge on-chain for válida, ela confirma a existência dos dados relevantes e que o cálculo foi executado corretamente — não é preciso confiar em terceiros para reporte de dados ou execução. Por isso são considerados trust-minimized.

Oráculos utilizam provas de zero-knowledge?

Alguns oráculos utilizam provas de zero-knowledge para reforçar a integridade ou privacidade dos dados, mas sua principal função é trazer dados externos para on-chain. Nos oráculos, provas de zero-knowledge são um aprimoramento; nos ZK coprocessors, são o mecanismo central para verificação da correção computacional.

Um aplicativo pode utilizar oráculos e ZK Coprocessors juntos?

Sim. Por exemplo, uma aplicação DeFi pode usar oráculos para obter preços de ativos em tempo real e ZK coprocessors para calcular incentivos ou controle de risco com base no histórico on-chain dos usuários, atendendo tanto demandas de “dados externos on-chain” quanto de “cálculo de dados históricos on-chain”.