Prova di Riserva Oggi, ci troviamo sulle spalle degli scambi che ci hanno preceduto. Oltre un decennio di innovazione. Oltre un decennio di boom. Oltre un decennio di crisi. Oltre un decennio di dure lezioni apprese. E se c'è una lezione da imparare, è che il futuro della finanza è onchain. Oggi, facciamo un passo avanti con il nostro contributo, impegnandoci a una prova di riserva quotidiana, e non ci fermeremo qui. Quando abbiamo iniziato a costruire Backpack Exchange, ci siamo chiesti se volevamo costruire un CEX o un DEX, e abbiamo concluso, perché non entrambi? Il TradFi non andrà da nessuna parte, e nel tempo si evolverà per diventare sempre più simile alla crypto. Gli scambi centralizzati del futuro rimarranno conformi, ma saranno verificabili, distribuiti e sembreranno e si sentiranno molto simili agli scambi decentralizzati di oggi. Alla fine, sarà difficile distinguere la differenza. I CEX saranno conformi. I DEX saranno resistenti alla censura. Entrambi saranno onchain. Il prossimo passo per il viaggio continuo di Backpack verso la minimizzazione della fiducia: attestazioni di integrità dello stato. (Francamente, sono riluttante a dirlo, perché le parole e le definizioni tecniche sono diventate così distorte in questo ciclo da diventare quasi prive di significato. Tuttavia, è piuttosto interessante e offre un'idea di dove siamo e dove stiamo andando, quindi eccoci qui.) Pochi comprendono che Backpack è già onchain. L'intero libro mastro dell'exchange è costruito su un registro lineare globale di transazioni autenticate eseguite su una macchina a stati deterministica. Ogni ordine piazzato, ogni annullamento, ogni liquidazione, ogni deposito, ogni prelievo—tutto—è una transazione firmata. Attraverso un'ottica, replicazione classica della macchina a stati con un po' di crypto sopra. Attraverso un'altra ottica, una sorta di blockchain autorizzata. La prova di riserva compie il grande e critico passo di ancorare il nostro libro mastro a catene pubbliche, ma come fai a sapere che quel libro mastro è stato calcolato correttamente? Devi non solo vedere il codice per assicurarti che non ci siano imbrogli, ma devi anche riprodurre ogni transazione—come si fa con le blockchain di oggi—o codificare quella funzione di transizione di stato in un circuito a conoscenza zero—come si fa con il cutting edge delle ZK VM. In entrambi i casi, il risultato è lo stesso: verificabilità del libro mastro. Oggi, Backpack è completamente verificabile. Ogni transizione di stato dall'inizio dei tempi fino ad ora può essere eseguita e confrontata con il nostro libro mastro pubblicamente attestato. Abbina questo libro mastro con una prova di riserva, e hai un'ancoraggio completo end-to-end di un exchange centralizzato a una blockchain pubblica. Per iniziare, ci impegniamo a prove quotidiane, ma in pratica, eseguiamo la riconciliazione del nostro saldo in tempo reale e generiamo le prove ogni 10 minuti. A dire il vero, mi aspetto alcune sfide nel generare prove troppo frequentemente a causa di alcuni imminenti requisiti normativi legati al fiat, quindi ci attaccheremo a una volta al giorno per ora. Ma man mano che ci sentiamo sempre più a nostro agio con il sistema, ci proponiamo di ridurre i tempi di prova da giornalieri a, spero, sempre più vicini al tempo reale. C'è solo un problema con tutto questo: non pubblichiamo il codice o i dati pubblicamente, e quindi, sebbene gran parte del duro lavoro tecnico per raggiungere la verificabilità sia fatto, in pratica, è ancora molto nella categoria del "fidati di me, amico". (Per essere giusti con noi stessi, quasi tutto nella crypto è ancora molto nella categoria del fidati di me, amico, ma facciamo del nostro meglio per essere sinceri riguardo ai nostri limiti.) In ogni caso, questo è il prossimo passo critico che dobbiamo compiere per potenziare la nostra prova di riserva con garanzie end-to-end sui saldi degli utenti sulla piattaforma. Piano piano, mettiamo un piede davanti all'altro. Questo è stato un passo importante per noi, ma ci sono molte, molte—molte—altre aree in cui portare una genuina minimizzazione della fiducia a ogni livello dello stack degli exchange centralizzati. Custodi, gestione del rischio di margine, custodia autonoma—tutti argomenti che meritano un approfondimento, un prodotto e un annuncio a sé stante. C'è molto lavoro da fare per reimmaginare e ricostruire l'exchange centralizzato da zero, e, per quanto possa sembrare banale e poco creativo dirlo, questo è solo l'inizio. 🧱 --------------------- PS. Alcuni dettagli interessanti: - La prova copre tutti i saldi "fisici" sull'exchange. Mi piace dire fisici perché implica che puoi toccare le monete—anziché concetti sintetici che non possono essere applicati esternamente da un L1 come l'interesse aperto, il pnl non realizzato o i prestiti aperti. Nella nomenclatura del sistema di Backpack, questo significa che tutti i fondi nei saldi disponibili (cioè token che si trovano nel tuo portafoglio), ordini aperti (cioè token che si trovano nel libro degli ordini) e prestiti non presi in prestito (cioè token che sono stati prestati ma non presi in prestito) sono racchiusi dalla Prova di Riserva. Questi ultimi due punti sono estremamente sottili ma estremamente importanti, quindi ne parlerò dopo. - Sorprendentemente, alcuni exchange consentono di fare trading con un concetto TradFi chiamato "liquidazione netta", dove si può fornire liquidità con più degli asset che si hanno sulla piattaforma, ad esempio perché sono un partecipante di mercato fidato che rimane neutrale. Su Backpack, tutti i saldi nel libro degli ordini sono fisici. Cioè, si mappano direttamente ai saldi che si trovano nei nostri portafogli on chain, e poiché i saldi nel libro degli ordini sono fisici, garantisce che la liquidità che vedi sia sempre reale e ancorata dalla catena pubblica tramite il PoR. (Ci sono anche altri modi interessanti per testare se la liquidità è reale, ad esempio, costruire un bot taker e controllare il tuo tasso di riempimento. Tale esperimento è stato frequentemente utilizzato dagli HFT crypto per testare l'integrità di vari libri degli ordini degli exchange nel corso degli anni.) - In Backpack o in qualsiasi sistema di prestito-prestito, si potrebbe depositare USD e usarlo come garanzia per prendere in prestito e prelevare BTC. Questo crea un buco legittimo nel sistema dove quel buco è completamente e oltre il 100% garantito dagli asset che supportano il prestito. Tuttavia, è un buco. L'asset prestato è *correttamente* non più presente nel portafoglio se il prestatore preleva. Di conseguenza, un'analisi completa delle riserve dovrebbe essere abbinata a un'analisi robusta del rischio di margine. Si deve rispondere alla domanda: la garanzia regge e può essere liquidata in un movimento di mercato nel peggiore dei casi? Naturalmente, la gestione del rischio è altrettanto importante quanto la custodia, ma questa è una conversazione per un altro giorno. - Poiché i Futures Perpetui su Backpack realizzano PnL in tempo reale, marcando le posizioni al mercato e scambiando denaro fisico tra tutti i vincitori e i perdenti continuamente, significa che tutto il PnL aperto nelle posizioni è contabilizzato nella prova di riserva, una bella vittoria che deriva dal nostro design del motore di rischio senza costi. - Ironia della sorte, il fiat che si trova nelle banche, che il resto del mondo non crypto nativo considera più sicuro, getta un bastone tra le ruote della Prova di Riserva. Come accennato sopra, ci sono alcuni requisiti normativi in alcune parti del mondo dove le stablecoin non sono consentite. In queste regioni, saremo costretti a utilizzare il buon vecchio contante in banca. Tuttavia, il nostro sistema non conosce altro che token. Per affrontare questo, dovremo coniare un "token di deposito" (come una stablecoin ma che rappresenta i depositi bancari). Attualmente, utilizziamo il 100% di stablecoin, ma sospetto che i token di deposito diventeranno più comuni nel tempo, come abbiamo recentemente visto JP Morgan collaborare con Coinbase per pionierare questo concetto. - Se non lo hai già fatto, visita la nostra pagina di Prova di Riserva. Ne ospitiamo una noi stessi dove puoi scaricare e eseguire tutte le prove. Sia in aggregato su tutto l'exchange che anche prove di inclusione per il tuo specifico account. Una seconda pagina con gli stessi dati e prove è ospitata esternamente e validata da Ottsersec (vedi il tweet citato per dettagli e link). - Per completezza, dovrei menzionare che tutto il codice della prova ZK è pubblico per il mondo da vedere, clonare e eseguire da solo. ----------------------- PS. Se pensi che qualcosa di tutto ciò sia interessante, stiamo assumendo. I DM sono aperti.