Proof of reserves con albero di Merkle: come funziona la verifica, il buco delle passività non dichiarate e come controllare la propria inclusione.
Dopo ogni fallimento di un exchange che deteneva meno fondi di quanti dichiarati ai propri utenti, la stessa domanda torna a circolare: perché non pubblicano semplicemente una prova che i fondi ci sono? La risposta tecnica esiste da anni ed è più semplice di quanto sembri, ma la sua diffusione reale è arrivata solo dopo che il problema si è manifestato in modo concreto e costoso per migliaia di utenti.
Il meccanismo si chiama proof of reserves, e nella sua forma più diffusa si basa su una struttura crittografica chiamata albero di Merkle, la stessa tecnica usata da decenni per verificare l’integrità di grandi quantità di dati senza doverli controllare uno per uno. Applicata ai saldi degli utenti di un exchange, permette a ciascuno di verificare che il proprio saldo sia stato incluso nel totale dichiarato, senza che l’exchange debba rivelare pubblicamente il saldo di nessun altro utente.
Questo testo spiega il meccanismo della verifica, il limite strutturale che lo accompagna, cioè il fatto che dimostra le passività dichiarate e non quelle nascoste, e la procedura pratica con cui un utente verifica la propria inclusione. Riguarda il metodo di verifica, non un giudizio sulla solidità finanziaria di alcun exchange specifico.
Che cosa dimostra e che cosa non dimostra
- Dimostra l’inclusione del tuo saldo nel totale dichiarato dall’exchange in un dato momento.
- Dimostra, se accompagnata dalla prova degli attivi, che i fondi coprono i saldi dichiarati.
- Non dimostra l’assenza di debiti verso terzi non inclusi nel calcolo delle passività dichiarate.
- È una fotografia in un istante, non una garanzia continua nel tempo.
- Richiede fiducia nella correttezza dei dati di partenza, perché l’albero prova la coerenza interna, non l’origine dei numeri inseriti.
Il problema che il proof of reserves prova a risolvere
Un exchange che custodisce fondi per conto dei propri utenti si trova in una posizione simile a quella di una banca: riceve depositi e, salvo dichiarazione contraria, si presume che li mantenga disponibili per il prelievo. A differenza di una banca regolamentata, però, un exchange non è sempre soggetto a un obbligo di terzo indipendente che verifichi periodicamente questa corrispondenza, e i casi documentati in cui i fondi dichiarati non corrispondevano a quelli effettivamente detenuti hanno mostrato quanto questo possa costare agli utenti coinvolti.
Il proof of reserves nasce come risposta parziale a questo problema: un meccanismo che permette a un exchange di dimostrare pubblicamente, con una prova verificabile da chiunque, che il totale dei fondi detenuti copre il totale dei saldi dichiarati ai propri utenti, senza dover rivelare l’identità né il saldo specifico di ciascun utente coinvolto nella verifica.
Questo meccanismo si collega direttamente a quanto già discusso a proposito della gerarchia dei crediti quando un exchange fallisce: un proof of reserves pubblicato regolarmente e verificato da un revisore indipendente riduce, senza eliminarlo del tutto, il rischio che un utente scopra solo al momento del fallimento che i fondi dichiarati non esistevano davvero.
Come funziona la verifica con un albero di Merkle
Un albero di Merkle organizza un grande numero di dati, in questo caso i saldi di tutti gli utenti, in una struttura gerarchica in cui ogni coppia di dati viene combinata attraverso una funzione crittografica per produrre un valore riassuntivo, e questo processo si ripete a più livelli fino a produrre un unico valore finale, chiamato radice, che riassume crittograficamente l’intero insieme di dati sottostanti.
La proprietà che rende utile questa struttura è che un utente può verificare che il proprio saldo sia stato incluso correttamente nel calcolo della radice pubblicata, ricevendo solo un piccolo insieme di valori intermedi, chiamato percorso di verifica, senza dover conoscere né vedere i saldi di nessun altro utente incluso nello stesso albero. Ricalcolando la sequenza di combinazioni con il proprio saldo e il percorso ricevuto, l’utente ottiene lo stesso valore di radice pubblicato, oppure un valore diverso che segnala un’incoerenza.
Questa proprietà di verifica efficiente con informazione minima è la stessa che rende gli alberi di Merkle utili in molti altri contesti dei registri distribuiti, incluse le prove compatte usate dalle soluzioni di secondo livello per dimostrare in modo sintetico che un gran numero di operazioni è stato eseguito correttamente senza dover trasmettere ogni singolo dettaglio.
Il buco delle passività non dichiarate
Il limite strutturale più importante del meccanismo riguarda che cosa viene effettivamente incluso nell’albero. Se un exchange omette deliberatamente alcuni saldi dal calcolo, per esempio escludendo un debito verso un creditore istituzionale o verso un fondo che ha subito perdite non ancora rese pubbliche, la prova risulterà comunque valida per tutti i saldi effettivamente inclusi, senza che nessun verificatore esterno possa accorgersi dell’omissione.
Questo è precisamente il buco che il termine descrive: un albero di Merkle prova la coerenza interna dei dati che gli vengono forniti, non la completezza di quei dati rispetto alla realtà complessiva delle passività dell’exchange. Un exchange in difficoltà potrebbe, in teoria, pubblicare un proof of reserves tecnicamente corretto per i saldi dichiarati, omettendo semplicemente le passività che preferisce non rendere pubbliche.
Per questo motivo, un proof of reserves privo di un accompagnamento indipendente che attesti anche la completezza dei dati di partenza, non solo la loro coerenza interna, offre una garanzia parziale. La differenza fra i due livelli di garanzia è spesso poco chiara nella comunicazione pubblica di questi meccanismi, e vale la pena distinguerli con attenzione prima di considerare un proof of reserves come una prova definitiva di solvibilità.
Il ruolo di un revisore indipendente
Per colmare almeno in parte il buco descritto, alcuni exchange affiancano alla prova crittografica una revisione condotta da un soggetto terzo indipendente, che verifica non solo la correttezza matematica dell’albero ma anche, nei limiti del proprio mandato, la ragionevolezza dei dati forniti come base della verifica, incluso un confronto con gli estratti conto degli istituti finanziari o dei portafogli su catena effettivamente controllati dall’exchange.
Questa revisione non elimina completamente il rischio di omissione, perché dipende comunque dalla completezza delle informazioni fornite dall’exchange al revisore, ma riduce la probabilità che passività rilevanti restino nascoste, aggiungendo un livello di controllo indipendente dalla sola prova matematica interna all’albero.
La frequenza con cui questa verifica viene ripetuta è un altro fattore rilevante: una singola verifica pubblicata una volta sola offre una fotografia di un momento specifico, mentre verifiche ripetute a intervalli regolari, idealmente con dati resi disponibili in modo continuo, riducono la finestra temporale in cui un problema di solvibilità potrebbe svilupparsi senza essere rilevato.
La tabella di lettura di un proof of reserves
| Elemento verificato | Che cosa garantisce | Che cosa non garantisce |
|---|---|---|
| Inclusione del saldo individuale | Il tuo saldo è nel totale dichiarato | Che il totale dichiarato sia completo |
| Corrispondenza attivi-passività | Gli attivi coprono i saldi dichiarati in quel momento | Che la situazione resti identica il giorno dopo |
| Revisione di un terzo indipendente | Un controllo esterno sui dati di partenza | Una garanzia assoluta contro l’omissione deliberata |
Nessuna riga di questa tabella, presa da sola, sostituisce le altre due: un proof of reserves solido combina tutti e tre gli elementi, pubblicati con una frequenza regolare e accompagnati da una spiegazione chiara di quali dati sono stati inclusi nel calcolo.
Come si verifica la propria inclusione, passo per passo
- Ottenere il proprio saldo dichiarato dalla piattaforma, insieme al percorso di verifica fornito dall’exchange per quel saldo specifico.
- Ottenere il valore di radice pubblicato dall’exchange per il periodo di riferimento in questione.
- Utilizzare uno strumento di verifica, spesso fornito dallo stesso exchange o da terzi indipendenti, per ricalcolare la sequenza a partire dal proprio saldo e dal percorso ricevuto.
- Confrontare il risultato ottenuto con il valore di radice pubblicato: una corrispondenza conferma l’inclusione corretta.
- Ripetere la verifica a ogni pubblicazione successiva, non solo una volta, per accertarsi che l’inclusione resti valida nel tempo.
Il passaggio più spesso trascurato dagli utenti è l’ultimo: una verifica fatta una sola volta, magari subito dopo l’apertura del conto, non garantisce nulla sulle pubblicazioni successive, che vanno controllate con la stessa attenzione ogni volta che vengono rese disponibili.
Perché non tutti gli exchange lo pubblicano
Alcuni exchange sostengono che la pubblicazione di dati aggregati, anche in forma crittografata come in un albero di Merkle, possa rivelare informazioni competitive sulla propria base di utenti o sul volume complessivo gestito, un argomento che alcuni osservatori del settore considerano poco convincente rispetto al beneficio di trasparenza offerto agli utenti.
Altri exchange semplicemente non hanno ancora implementato l’infrastruttura tecnica necessaria, un processo che richiede di ristrutturare i propri sistemi contabili interni per renderli compatibili con la generazione periodica di questo tipo di prova, un investimento che alcuni operatori hanno rimandato fino a quando la pressione degli utenti o degli organismi di settore non li ha resi una prassi difficilmente evitabile per restare competitivi.
Vale la pena anche notare che la pubblicazione di un proof of reserves non è, di per sé, un obbligo previsto dalla maggior parte dei quadri normativi attualmente in vigore: è nata come iniziativa volontaria di alcuni operatori, spesso in risposta diretta a episodi di sfiducia diffusa nel settore, e la sua diffusione più ampia dipende in buona parte dalla pressione competitiva esercitata dagli utenti stessi, che confrontano gli operatori disponibili anche su questo criterio prima di scegliere dove depositare i propri fondi.
Un utente che valuta più piattaforme può ragionevolmente considerare la disponibilità e la frequenza di pubblicazione di questi dati come un elemento distintivo fra un operatore e l’altro, allo stesso modo in cui valuterebbe altri aspetti operativi come i tempi di prelievo o la qualità del supporto, senza che questo equivalga a un giudizio definitivo sulla solidità complessiva dell’operatore in questione.
Il confronto con un audit finanziario tradizionale
Un audit finanziario tradizionale, condotto da una società di revisione secondo standard contabili riconosciuti, copre un perimetro più ampio del solo confronto fra attivi e passività dichiarate: esamina i controlli interni, la governance, la correttezza delle registrazioni contabili nel tempo e non solo in un istante specifico, e produce un giudizio professionale che comporta una responsabilità precisa per chi lo firma.
Il proof of reserves basato su un albero di Merkle non sostituisce questo tipo di audit, ne è un complemento più rapido e più frequente, pensato per dare agli utenti una verifica autonoma e immediata che non richiede di fidarsi esclusivamente del giudizio di un terzo. I due strumenti rispondono a domande diverse: l’audit tradizionale chiede se la contabilità nel suo complesso è corretta e ben gestita nel tempo, il proof of reserves chiede se, in questo momento, i fondi dichiarati esistono davvero e il tuo saldo è fra questi.
Un exchange che offre entrambi gli strumenti, un audit periodico condotto da un revisore qualificato e un proof of reserves verificabile autonomamente a intervalli frequenti, offre agli utenti un livello di garanzia più solido di quello ottenibile da uno solo dei due strumenti preso isolatamente. La combinazione, più che la scelta fra l’uno e l’altro, è il criterio che dovrebbe orientare la valutazione di un prestatore di servizi su questo aspetto specifico.
Domande frequenti
Un proof of reserves garantisce che l’exchange non fallirà mai?
No, dimostra solo che in un dato momento gli attivi coprivano i saldi dichiarati, secondo i dati inclusi nella verifica. Non garantisce nulla sulla gestione futura, sulla qualità degli investimenti sottostanti né sull’assenza di passività non dichiarate.
Che cosa succede se il mio saldo cambia dopo la pubblicazione della prova?
La prova pubblicata riflette il saldo al momento della fotografia. Un cambiamento successivo del saldo non invalida la prova precedente, ma significa che la verifica va ripetuta con i dati aggiornati alla successiva pubblicazione.
Un exchange senza proof of reserves è necessariamente meno affidabile?
Non necessariamente, ma l’assenza di questo strumento priva gli utenti di un mezzo di verifica indipendente che altri operatori del settore mettono a disposizione, e vale la pena considerarlo come uno dei criteri, non l’unico, nella valutazione di un prestatore di servizi.
La revisione di un terzo indipendente elimina completamente il rischio di frode?
No, riduce il rischio ma dipende dalla qualità e dall’indipendenza effettiva del revisore, oltre che dalla completezza dei dati che l’exchange fornisce per la revisione. Nessun meccanismo di verifica esterno può sostituire completamente l’assenza di un quadro regolamentare vincolante.
Posso verificare la prova senza competenze tecniche avanzate?
Sì, la maggior parte degli exchange che pubblicano questi dati fornisce anche uno strumento semplificato per la verifica, che richiede solo di inserire il proprio identificativo e il saldo dichiarato, senza necessità di eseguire manualmente i calcoli crittografici sottostanti.
Un albero di Merkle applicato al proof of reserves è uno strumento reale e verificabile, non un gesto simbolico di trasparenza. Ma prova solo quello che gli viene chiesto di provare: le passività dichiarate, non quelle che qualcuno ha scelto di non includere nel calcolo.
