TL;DR: Brevis ($BREV ) está fazendo parceria com a APRO, o principal oracle da BNB Chain, para desenvolver uma infraestrutura de oracle sem confiança e serviços que preservam a privacidade para mercados de previsão. A colaboração combina o Coprocessador de Dados ZK da Brevis, zkTLS, e o Pico zkVM com a rede de oráculos da APRO para possibilitar feeds de dados verificados criptograficamente. Em vez de depender exclusivamente do consenso dos validadores, os resultados do mercado podem ser resolvidos através de prova matemática. A parceria também constrói uma infraestrutura de privacidade para traders de mercados de previsão que precisam proteger suas estratégias, posições e pegada on-chain.

O Problema do Oráculo

Os mercados de previsão explodiram na BNB Chain, com plataformas como nosso parceiro Opinion Labs gerando bilhões em volume de negociação. Mas todo mercado de previsão enfrenta o mesmo desafio: como você resolve resultados de forma confiável?

Oráculos tradicionais abordam isso através do consenso de validadores. Várias partes atestam eventos do mundo real, e a opinião da maioria torna-se a verdade on-chain. Isso funciona, mas introduz latência, custo e suposições de confiança. Validadores podem coludir, disputas requerem arbitragem complexa, e para muitos tipos de dados, o modelo “sempre ativo” de feeds contínuos cria sobrecarga desnecessária quando os mercados só precisam de resolução em momentos específicos.

A Brevis e a APRO estão explorando uma abordagem diferente: oráculos que provam seus dados matematicamente em vez de socialmente.

Dados Sem Confiança para Três Categorias

A colaboração analisa três categorias de dados que os mercados de previsão precisam, cada uma com uma abordagem de verificação distinta.

Dados Históricos On-Chain

Muito dos dados que os mercados de previsão precisam já existem na blockchain, mas contratos inteligentes não conseguem acessá-los de forma eficiente. Perguntas como “Qual foi o volume total de negociação neste protocolo na semana passada?” ou “Quantas carteiras únicas interagiram com este mercado de empréstimos?” são fatos verificáveis que estão na blockchain.

O problema é que respondê-los on-chain custaria gás proibitivo.

O Coprocessador de Dados ZK da Brevis resolve isso computando sobre o estado histórico da blockchain off-chain e gerando provas criptográficas de que a computação é correta. A prova confirma que as entradas vieram de dados autênticos on-chain e que o cálculo seguiu a lógica especificada. A verificação custa gás mínimo, e nenhuma intervenção humana ou quórum de validadores é necessária.

Dados Públicos Off-Chain

Para eventos externos como indicadores econômicos, resultados esportivos ou notícias, os dados se originam de fontes Web2 que não são nativamente verificáveis on-chain. Oráculos tradicionais dependem de validadores para atestar que observaram conteúdo específico em um site. Isso introduz subjetividade e superfícies de ataque.

O Coprocessador zkTLS da Brevis fornece uma alternativa criptográfica. Ao buscar dados de uma fonte da web, zkTLS prova que o conteúdo foi recuperado através de uma sessão TLS genuína do domínio autêntico, e que os dados não foram adulterados. O Pico zkVM então analisa o conteúdo para extrair os valores relevantes.

O resultado é um caminho de resolução em um único passo: buscar os dados, provar sua autenticidade, extrair o valor, verificar on-chain. Nenhum voto de múltiplas partes é necessário para fatos incontestáveis.

Dados Privados Off-Chain

Alguns mercados de previsão dependem de algoritmos proprietários ou conjuntos de dados confidenciais. Métricas de participação, índices de sentimento e análises internas não podem ser verificadas por oráculos tradicionais, porque os validadores precisariam de acesso à lógica privada.

A Brevis possibilita esses casos de uso através de provas ZK. O provedor de dados compromete um hash de seu algoritmo on-chain, e então publica resultados junto com uma prova de que a saída foi gerada pela lógica comprometida sem modificação. Comerciantes podem verificar que o resultado segue a metodologia declarada sem ver os dados subjacentes ou a computação.

Isso abre os mercados de previsão para categorias inteiramente novas: índices proprietários, métricas internas e saídas algorítmicas que antes eram impossíveis de verificar de forma confiável.

Em todas as três categorias de dados, a Brevis fornece a camada de verificação que permite à APRO oferecer serviços de oráculos sem confiança. Os dados não requerem mais atestação de validadores ou confiança baseada na reputação. Em vez disso, a prova fala por si mesma.

Privacidade para Comerciantes de Mercados de Previsão

Oráculos sem confiança são um pilar da colaboração. A infraestrutura que preserva a privacidade para os participantes do mercado de previsão é o outro.

A Brevis e a APRO observaram que grandes comerciantes em mercados de previsão enfrentam um problema fundamental: a transparência que torna as blockchains confiáveis também torna a participação sofisticada arriscada. Sem privacidade, estratégias vazam, endereços são perfilados e grandes players tornam-se alvos.

As vulnerabilidades se estendem por múltiplas dimensões:

Intenções de Negociação

Quando as apostas direcionais de um comerciante se tornam visíveis, elas sinalizam informações para o mercado. Outros participantes podem negociar contra posições conhecidas ou antecipar movimentos esperados. Ocultar intenções de negociação protege a vantagem estratégica.

Caminhos de Arbitragem

Comerciantes que exploram discrepâncias de preços entre mercados ou protocolos expõem seus métodos quando os caminhos de execução são públicos. Uma vez que uma estratégia de arbitragem é visível, outros podem replicá-la ou competir pelas mesmas oportunidades.

Cronograma

Quando um comerciante entra ou sai de posições muitas vezes importa tanto quanto a própria posição. Padrões de tempo visíveis revelam a lógica da estratégia e permitem que outros antecipem movimentos futuros.

Posições

Posições abertas em blockchains públicas são visíveis para todos os participantes. Concorrentes podem ver níveis de exposição, avaliar tolerância ao risco e se posicionar de acordo. Grandes comerciantes tornam-se alvos.

Correlações de Endereços

A atividade na blockchain conecta-se entre carteiras e protocolos. Mesmo com vários endereços, padrões de transação e fluxos de fundos podem correlacionar identidades. O histórico completo de um comerciante torna-se uma responsabilidade quando os endereços podem ser conectados.

A Brevis aborda isso através de provas de conhecimento zero que separam validade de visibilidade. Um comerciante pode gerar uma prova de que sua transação segue as regras do protocolo e as restrições da estratégia sem revelar o caminho de execução específico. O mercado verifica a conformidade sem ver a atividade subjacente. Informações de identidade e endereço permanecem ocultas enquanto os requisitos de participação ainda são provavelmente atendidos.

Para os parceiros do mercado de previsão da APRO, isso significa privacidade de nível institucional em infraestrutura pública. Grandes comerciantes podem operar sem expor suas intenções, estratégias, posições ou pegada on-chain para concorrentes.

Uma Visão de Verificabilidade e Privacidade

A colaboração entre Brevis e APRO em oráculos sem confiança traz verificação criptográfica para três categorias de dados: métricas históricas on-chain através do Coprocessador de Dados ZK, dados públicos off-chain através do zkTLS e dados privados off-chain através de provas de computação ZK. Cada um substitui o consenso de validadores por prova matemática, tornando a resolução mais rápida, barata e verificável de forma independente.

O trabalho de privacidade aborda as vulnerabilidades que os grandes comerciantes de mercados de previsão enfrentam em blockchains transparentes. Provas ZK permitem que os participantes ocultem suas intenções de negociação, caminhos de arbitragem, cronogramas, posições e correlações de endereços enquanto ainda provam que suas transações são válidas. Vazamento de estratégia e perfilamento de endereços tornam-se problemas preveníveis em vez de custos aceitos.

Juntos, essas capacidades estabelecem as bases para uma infraestrutura de oráculo e mercado de previsão mais sofisticada na BNB Chain. A Brevis e a APRO estão desenvolvendo ativamente ambas, com mais detalhes a serem divulgados à medida que o trabalho avança.

Sobre a Brevis

A Brevis é uma plataforma de computação verificável alimentada por provas de conhecimento zero, servindo como a camada de computação infinita para o Web3. Aplicativos podem descarregar computações caras off-chain enquanto provam cada resultado on-chain. A pilha da Brevis inclui Pico zkVM para computação de propósito geral, o Coprocessador de Dados ZK para acesso sem confiança a dados históricos da blockchain, Pico Prism para prova de bloco Ethereum em tempo real (99,6% de cobertura, 6,9s em média), e ProverNet, um mercado descentralizado para geração de provas ZK. Até agora, a Brevis gerou centenas de milhões de provas em mais de 40 protocolos em 6 blockchains.