TL;DR: Brevis ($BREV ) sta collaborando con APRO, l'oracolo leader su BNB Chain, per sviluppare un'infrastruttura oracolare senza fiducia e servizi che preservano la privacy per i mercati delle previsioni. La collaborazione combina il Coprocessore di Dati ZK di Brevis, zkTLS, e Pico zkVM con la rete oracolare di APRO per abilitare flussi di dati verificati crittograficamente. Invece di fare affidamento esclusivamente sul consenso dei validatori, i risultati del mercato possono essere risolti attraverso una prova matematica. La partnership costruisce anche un'infrastruttura per la privacy per i trader dei mercati delle previsioni che hanno bisogno di proteggere le loro strategie, posizioni e impronta on-chain.

Il Problema degli Oracoli

I mercati predittivi sono esplosi sulla BNB Chain, con piattaforme come il nostro partner Opinion Labs che guidano miliardi in volume di trading. Ma ogni mercato predittivo affronta la stessa sfida: come risolvere affidabilmente i risultati?

Gli oracoli tradizionali affrontano questo attraverso il consenso dei validatori. Più parti attestano eventi del mondo reale, e l'opinione della maggioranza diventa la verità on-chain. Questo funziona, ma introduce latenza, costi e assunzioni di fiducia. I validatori possono colludere, le controversie richiedono arbitrato complesso, e per molti tipi di dati, il modello “sempre attivo” di feed continui crea un sovraccarico inutili quando i mercati hanno bisogno di risoluzione solo in momenti specifici.

Brevis e APRO stanno esplorando un approccio diverso: oracoli che dimostrano i loro dati matematicamente piuttosto che socialmente.

Dati Senza Fiducia per Tre Categorie

La collaborazione si concentra su tre categorie di dati di cui i mercati predittivi hanno bisogno, ognuna con un approccio di verifica distinto.

Dati Storici On-Chain

Gran parte dei dati di cui i mercati predittivi hanno bisogno esiste già on-chain, ma i contratti intelligenti non possono accedervi in modo efficiente. Domande come “Qual è stato il volume totale di trading su questo protocollo la settimana scorsa?” o “Quanti portafogli unici hanno interagito con questo mercato di prestiti?” sono fatti verificabili che si trovano sulla blockchain.

Il problema è che rispondere a queste domande on-chain costerebbe gas proibitivo.

Il Coprocessore ZK Data di Brevis risolve questo calcolando lo stato storico della blockchain off-chain e generando prove crittografiche che il calcolo è corretto. La prova conferma che gli input provengono da dati on-chain autentici e che il calcolo ha seguito la logica specificata. La verifica richiede un gas minimo e non è necessaria alcuna intervento umano o quorum di validatori.

Dati Pubblici Off-Chain

Per eventi esterni come indicatori economici, risultati sportivi o notizie, i dati provengono da fonti Web2 che non sono nativamente verificabili on-chain. Gli oracoli tradizionali si basano sui validatori per attestare di aver osservato contenuti specifici su un sito web. Questo introduce soggettività e superfici di attacco.

Il Coprocessore zkTLS di Brevis fornisce un'alternativa crittografica. Quando si recuperano dati da una fonte web, zkTLS dimostra che il contenuto è stato recuperato attraverso una sessione TLS genuina dal dominio autentico, e che i dati non sono stati manomessi. Pico zkVM quindi analizza il contenuto per estrarre i valori pertinenti.

Il risultato è un percorso di risoluzione a un passo: recupera i dati, dimostra la loro autenticità, estrai il valore, verifica on-chain. Nessun voto di più parti necessario per fatti incontestati.

Dati Privati Off-Chain

Alcuni mercati predittivi dipendono da algoritmi proprietari o set di dati riservati. Le metriche di mindshare, gli indici di sentimento e le analisi interne non possono essere verificate da oracoli tradizionali perché i validatori avrebbero bisogno di accesso alla logica privata.

Brevis abilita questi casi d'uso attraverso prove ZK. Il fornitore di dati si impegna su un hash del proprio algoritmo on-chain, quindi pubblica i risultati insieme a una prova che l'output è stato generato dalla logica impegnata senza modifiche. I trader possono verificare che il risultato segua la metodologia dichiarata senza vedere i dati o i calcoli sottostanti.

Questo apre i mercati predittivi a categorie completamente nuove: indici proprietari, metriche interne e output algoritmici che prima erano impossibili da verificare in modo affidabile.

Attraverso tutte e tre le categorie di dati, Brevis fornisce il livello di verifica che consente ad APRO di offrire servizi oracolari senza fiducia. I dati non richiedono più attestazione da parte dei validatori o fiducia basata sulla reputazione. Invece, la prova parla da sola.

Privacy per i Trader dei Mercati Predittivi

Gli oracoli senza fiducia sono un pilastro della collaborazione. L'infrastruttura che preserva la privacy per i partecipanti ai mercati predittivi è l'altra.

Brevis e APRO hanno osservato che i grandi trader nei mercati predittivi affrontano un problema fondamentale: la trasparenza che rende le blockchain affidabili rende anche la partecipazione sofisticata rischiosa. Senza privacy, le strategie trapelano, gli indirizzi vengono profilati e i grandi attori diventano obiettivi.

Le vulnerabilità si estendono su più dimensioni:

Intenzioni di Trading

Quando le scommesse direzionali di un trader diventano visibili, segnalano informazioni al mercato. Altri partecipanti possono fare trading contro posizioni note o anticipare mosse attese. Nascondere le intenzioni di trading protegge il vantaggio strategico.

Percorsi di Arbitraggio

I trader che sfruttano le discrepanze di prezzo tra mercati o protocolli espongono i propri metodi quando i percorsi di esecuzione sono pubblici. Una volta che una strategia di arbitraggio è visibile, altri possono replicarla o competere per le stesse opportunità.

Tempistiche

Quando un trader entra o esce da posizioni spesso conta tanto quanto la posizione stessa. I modelli di tempistiche visibili rivelano la logica strategica e consentono ad altri di anticipare future mosse.

Posizioni

Le posizioni aperte su blockchain pubbliche sono visibili a tutti i partecipanti. I concorrenti possono vedere i livelli di esposizione, valutare la tolleranza al rischio e posizionarsi di conseguenza. I grandi trader diventano obiettivi.

Correlazioni degli Indirizzi

L'attività on-chain collega insieme portafogli e protocolli. Anche con più indirizzi, i modelli di transazione e i flussi di fondi possono correlare identità. La storia completa di un trader diventa una responsabilità quando gli indirizzi possono essere collegati.

Brevis affronta questi problemi attraverso prove a conoscenza zero che separano validità e visibilità. Un trader può generare una prova che la propria transazione segue le regole del protocollo e i vincoli strategici senza rivelare il percorso di esecuzione specifico. Il mercato verifica la conformità senza vedere l'attività sottostante. Le informazioni su identità e indirizzi rimangono nascoste mentre i requisiti di partecipazione sono comunque verificabili.

Per i partner di mercato predittivo di APRO, questo significa privacy di livello istituzionale su infrastruttura pubblica. I grandi trader possono operare senza esporre le proprie intenzioni, strategie, posizioni o impronta on-chain ai concorrenti.

Una Visione di Verificabilità e Privacy

La collaborazione tra Brevis e APRO su oracoli senza fiducia porta la verifica crittografica a tre categorie di dati: metriche storiche on-chain attraverso il Coprocessore ZK Data, dati pubblici off-chain attraverso zkTLS e dati privati off-chain attraverso prove di calcolo ZK. Ognuno sostituisce il consenso dei validatori con prove matematiche, rendendo la risoluzione più rapida, economica e indipendentemente verificabile.

Il lavoro sulla privacy affronta le vulnerabilità che i grandi trader dei mercati predittivi affrontano su blockchain trasparenti. Le prove ZK consentono ai partecipanti di nascondere le proprie intenzioni di trading, percorsi di arbitraggio, tempistiche, posizioni e correlazioni degli indirizzi, dimostrando comunque che le loro transazioni sono valide. La fuga di strategie e il profiling degli indirizzi diventano problemi prevenibili piuttosto che costi accettati.

Insieme, queste capacità pongono le basi per un'infrastruttura di oracoli e mercati predittivi più sofisticata sulla BNB Chain. Brevis e APRO stanno sviluppando attivamente entrambi, con ulteriori dettagli in arrivo man mano che il lavoro procede.

Informazioni su Brevis

Brevis è una piattaforma di calcolo verificabile supportata da prove a conoscenza zero, che funge da strato di calcolo infinito per il Web3. Le applicazioni possono scaricare calcoli costosi off-chain mentre dimostrano ogni risultato on-chain. Lo stack di Brevis include Pico zkVM per calcoli generali, il Coprocessore ZK Data per l'accesso senza fiducia ai dati storici della blockchain, Pico Prism per la dimostrazione in tempo reale dei blocchi di Ethereum (99,6% di copertura, 6,9s in media) e ProverNet, un marketplace decentralizzato per la generazione di prove ZK. A oggi, Brevis ha generato centinaia di milioni di prove attraverso oltre 40 protocolli su 6 blockchain.