Articolo approfondito che smaschera la truffa del TVL di BTCFi: spiegato il report «Proof of TVL» di Nubit

Autori originali: Nubit e Nebra

Nell’ecosistema Bitcoin, il Total Value Locked (TVL) è una metrica fondamentale per misurare la dimensione e la sicurezza dei progetti BTCFi (Bitcoin Finance). Tuttavia, con l’espansione di BTCFi, le controversie sull’autenticità dei dati relativi al TVL continuano a intensificarsi. Statistiche false, doppi conteggi, blocchi fittizi e altri fenomeni stanno erodendo la fiducia degli utenti e mettendo in discussione la trasparenza e l’affidabilità dell’ecosistema Bitcoin.

Per rispondere a questo fenomeno, progetti leader dell’ecosistema Bitcoin come Nubit, Nebra, Bitcoin Layers e Alpen Labs hanno pubblicato il report «Proof of TVL» il 05/01/2025, affrontando l’opacità del settore BTCFi. Hanno invocato l’istituzione di un meccanismo di verifica della trasparenza degli asset basato su standard più rigorosi e proposto uno strumento open source per verificare il TVL, offrendo un forte sostegno alla trasparenza dell’ecosistema Bitcoin.

Di seguito il testo originale del report:

Un ringraziamento speciale a Bitcoin Layers e Alpen Labs per la revisione e i preziosi commenti su questo articolo.

L’evoluzione di BTCFi e dei Liquid Staking Token (LST)

Bitcoin è da tempo la pietra angolare dell’ecosistema degli asset digitali.

Tuttavia, nel corso degli anni la sua utilità è stata limitata soprattutto al ruolo di riserva di valore e mezzo di scambio. Solo nel 2023, con l’introduzione da parte di protocolli come Babylon del concetto di staking di Bitcoin, gli utenti hanno potuto bloccare i propri BTC in modalità self-custody e partecipare a un meccanismo di consenso Proof of Stake per ottenere ricompense.

Questa innovazione ha inaugurato una nuova era per Bitcoin, oggi comunemente chiamata BTCFi. Questo movimento ha dotato Bitcoin di capacità senza precedenti. Da allora, Bitcoin non è più soltanto un asset da detenere passivamente, ma può partecipare attivamente all’ecosistema della finanza decentralizzata (DeFi).

Per migliorare l’utilizzabilità e la liquidità dei Bitcoin messi in staking, è emersa un’ondata di Liquid Staking Token (LST) basati su Bitcoin. Questi protocolli fungono da custodi e consentono agli utenti di mettere in staking i propri BTC ricevendo in cambio certificati tokenizzati. Gli LST possono essere utilizzati liberamente nelle applicazioni DeFi, tra cui prestiti, trading, yield farming e altro. Questo modello permette a chi mette in staking Bitcoin di ottenere il meglio da entrambi i mondi: guadagnare ricompense di staking e partecipare a un’ampia gamma di opportunità DeFi.

Questi protocolli LST hanno rapidamente conquistato il favore degli utenti e il valore totale bloccato (TVL) dei protocolli correlati ha raggiunto miliardi di dollari. Il TVL è generalmente considerato una metrica fondamentale per misurare l’attività degli utenti e il successo di un protocollo.

Tuttavia, vogliamo porre al settore una domanda cruciale: quanto sono affidabili i dati sul TVL dichiarati dai protocolli di Liquid Staking di Bitcoin?

In particolare, i BTC che il protocollo non può custodire o sottoporre effettivamente a slashing dovrebbero essere conteggiati nel TVL?

Se i dati sul TVL sono gonfiati, potrebbero dare a utenti e investitori un falso senso di sicurezza. Dati sul TVL sopravvalutati possono nascondere la reale liquidità del protocollo e la sua esposizione al rischio, inducendo tutte le parti coinvolte a prendere decisioni sbagliate e a subire potenzialmente delle perdite.

Perché è difficile monitorare il TVL dei protocolli di Liquid Staking di Bitcoin?

Nel contesto dello staking di Bitcoin, il modello UTXO specifico di Bitcoin aggiunge complessità e rende difficile interpretare i dati del Total Value Locked (TVL). Questa complessità mina la fiducia nei protocolli di Liquid Staking di Bitcoin (LST) e solleva dubbi sulla sostenibilità dell’intero ecosistema BTCFi.

Esaminiamo nel dettaglio le ragioni.

Bitcoin adotta il modello UTXO (Unspent Transaction Output), in cui ogni transazione crea una «unità Bitcoin» unica, soggetta a specifiche condizioni di spesa. Per esempio:

Alcuni UTXO possono richiedere la firma di una chiave privata per essere spesi.

Gli UTXO più complessi possono includere requisiti di firma multipla (multisig) o blocchi temporali.

A differenza del modello basato su account di Ethereum, il modello UTXO di Bitcoin non aggrega i saldi, rendendo più complesso il monitoraggio e il blocco dei fondi, sebbene non del tutto impossibile. Di conseguenza, i dati sul TVL dei protocolli LST sono solitamente autodichiarati dai protocolli stessi. Per convalidare questi dati dichiarati, dobbiamo partire da una domanda semplice:

Come dovrebbe essere calcolato il TVL dei protocolli di Liquid Staking di Bitcoin?

L’obiettivo dei protocolli di staking di Bitcoin è fornire sicurezza economica ai protocolli Layer 2 (come i Rollup, i Data Availability Layer (DA) e così via). Da questo punto di vista, la sicurezza economica è efficace solo quando i Bitcoin messi in staking sono sotto la custodia del protocollo di staking e possono essere sottoposti a slashing. È quindi chiaro che:

I BTC non messi in staking o non soggetti a slashing, pur essendo custoditi dal protocollo, non dovrebbero essere conteggiati nel TVL.

Come viene falsificato il TVL dei Bitcoin messi in staking due volte?

Molti protocolli di yield farming basati su Bitcoin, nel tentativo di ottenere un TVL (Total Value Locked) elevato, non si fanno scrupoli a stringere accordi con grandi detentori (balene) per gonfiare artificialmente il proprio TVL attraverso il «riciclaggio dei dati».

Ecco come operano:

1. Staking della balena: un grande detentore di BTC (una balena) viene incentivato a trasferire i propri BTC a un indirizzo controllato congiuntamente dalla balena e dal protocollo, con il pretesto dello «staking».

2. La balena mantiene il controllo: anche dopo lo staking, la balena conserva il controllo ultimo sugli Unspent Transaction Output (UTXO). Il protocollo non può imporre il riscatto dei fondi né applicare sanzioni (comprese quelle di slashing), il che significa che questo capitale non è mai stato realmente a rischio.

3. Inclusione di un TVL falso: il protocollo include questi UTXO nel proprio TVL, benché i fondi non siano effettivamente bloccati e la balena possa prelevarli o riutilizzarli in qualsiasi momento.

La realtà è questa:

Gli utenti (le balene) mantengono il pieno controllo dei fondi: le balene possono spendere questi BTC in qualsiasi momento o metterli in staking su un altro protocollo.

Falso staking senza slashing: questo processo di «staking» non prevede condizioni di slashing obbligatorie ed è quindi, in sostanza, privo di significato.

L’essenza dello staking consiste nel proteggere la sicurezza della rete incentivando i comportamenti corretti e punendo quelli malevoli. Lo slashing fa sì che i partecipanti rischino perdite finanziarie reali se non rispettano le regole del protocollo o adottano comportamenti disonesti. Senza questo meccanismo, lo staking si riduce a una farsa di «staking fine a sé stesso», senza alcuna utilità pratica.

Chiediti: qual è il vero scopo dello staking? Non è gonfiare i dati sul TVL o compiere gesti simbolici, ma proteggere la sicurezza del protocollo attraverso meccanismi di slashing.

Questo ricorda la dolorosa lezione di FTX. Nel collasso di FTX, la discrepanza tra le cifre dichiarate (IOU) e le riserve reali (asset riscattabili) ha portato infine al completo crollo della fiducia degli utenti. Se un protocollo gonfia i dati sul proprio TVL, puoi davvero credere che non utilizzerà impropriamente le tue riserve dietro le quinte? Un protocollo che distorce i fatti anche su questioni fondamentali come le riserve si è probabilmente allontanato dai principi trustless incarnati da Bitcoin.

Questi dati sul TVL gonfiati sollevano una questione più ampia: i Bitcoin dichiarati come «messi in staking» sono davvero bloccati? O si tratta soltanto di uno stratagemma per attirare l’attenzione e gonfiare una metrica digitale falsa?

Il rischio di un TVL falso

In teoria, i Liquidity Staking Token (LST) sono concepiti per rappresentare Bitcoin messi in staking in protocolli come Babylon, consentendo ai possessori di ottenere ricompense di staking mantenendo al contempo la liquidità degli asset. Il presupposto di questo meccanismo è che ogni LST sia interamente garantito da riserve reali di Bitcoin con un rapporto di 1:1.

Tuttavia, alcuni accordi di staking che puntano a raggiungere cifre elevate di TVL possono minare queste garanzie. Se parte dei BTC messi in staking resta sotto il controllo del proprietario originario mentre il protocollo li dichiara interamente bloccati, viene messo direttamente a rischio il presupposto fondamentale su cui si basano gli LST. Le conseguenze potrebbero essere:

Le garanzie effettivamente bloccate sono inferiori all’importo dichiarato.

Il modello di staking non offre le garanzie di sicurezza previste.

Esiste una notevole discrepanza tra il TVL dichiarato e l’importo effettivo di BTC che partecipa allo staking.

In definitiva, queste pratiche mettono in dubbio che gli LST siano davvero garantiti da riserve verificabili e sollevano preoccupazioni sulla sicurezza economica che questi token possono offrire, per esempio:

1. Mancanza della garanzia di copertura 1:1

Poiché il protocollo conteggia come «messi in staking» Bitcoin che in realtà non sono bloccati o messi in staking, non può garantire che gli asset a garanzia degli LST esistano davvero o siano sotto il suo controllo. Chi detiene questi token può fare affidamento soltanto sulla dichiarazione unilaterale del protocollo. Inoltre, se questi asset non esistono, gli utenti rischiano perdite finanziarie reali al momento del riscatto degli asset sottostanti.

2. Ricompense di staking non verificabili

Le ricompense di staking dovrebbero derivare da contributi effettivi alla sicurezza della rete o al consenso Proof of Stake (PoS). Ma se i Bitcoin sottostanti non partecipano davvero allo staking, da dove provengono queste ricompense? Sono sostenibili?

Ciò rappresenta un rischio sistemico per l’intero ecosistema BTCFi. Con l’indebolirsi della fiducia, la liquidità può svanire rapidamente, compromettendo non solo un singolo protocollo, ma potenzialmente anche la stabilità dell’intero ecosistema BTCFi basato sullo staking di Bitcoin.

Cosa succede quando un protocollo di staking di Bitcoin non è più diverso da un’entità centralizzata? In uno scenario del genere, gli utenti non possono verificare le riserve e devono fare affidamento esclusivamente sulle dichiarazioni dell’operatore. Questa situazione minaccia gravemente l’affidabilità di BTCFi.

La situazione attuale mette a rischio la sopravvivenza stessa della credibilità di BTCFi. Per non cadere nella stessa trappola dei sistemi centralizzati e del TVL falso, dobbiamo affrontare la causa alla radice: la mancanza di un meccanismo trustless e verificabile che dimostri le riserve e le attività di staking.

È qui che entra in gioco Proof of TVL (PoTVL). Solo stabilendo uno standard di verifica delle riserve scientifico, trasparente e basato sulla crittografia potremo ricostruire la fiducia negli LST di Bitcoin e garantire la sostenibilità a lungo termine dell’ecosistema.

Soluzione principale: calcolo trasparente del TVL

Nel contesto dello staking di Bitcoin, gli indirizzi Taproot svolgono un ruolo cruciale nell’implementazione degli script di blocco dello staking (per esempio, Babylon). Questi script definiscono regole esplicite per lo staking, il monitoraggio e il successivo prelievo dei BTC. Babylon è un esempio emblematico, poiché collega direttamente il comportamento di staking a regole verificabili a livello di protocollo nel modello UTXO di Bitcoin.

Quando i partecipanti aderiscono al protocollo di staking, creano transazioni specifiche per inviare BTC all’indirizzo Taproot designato dal protocollo. Queste transazioni includono in genere:

1. Output di staking: un UTXO utilizzato per inviare BTC all’indirizzo Taproot per lo staking.

2. Output della prova di proprietà: un secondo UTXO contenente le chiavi pubbliche del partecipante allo staking e del protocollo. Queste chiavi pubbliche dimostrano la proprietà dei BTC messi in staking.

Prendendo come esempio la specifica del protocollo di staking di Babylon:

La specifica richiede ai partecipanti allo staking (o al protocollo LST) di costruire le transazioni nel modo seguente:

· Il primo UTXO invia BTC all’indirizzo Taproot associato allo script di blocco dello staking di Babylon.

· Il secondo UTXO contiene la chiave pubblica del partecipante allo staking e quella di Babylon per garantire la verifica della proprietà.

Questo design garantisce che l’attività di staking sia interamente tracciabile on-chain, con prove di proprietà chiare e regole trasparenti.

Caso di studio: Lombard Finance

Per dimostrare l’applicazione pratica di questo approccio, abbiamo utilizzato lo strumento open source Proof of TVL per convalidare Lombard Finance.

Ecco la procedura completa di verifica:

1. Individuare il wallet di deposito degli utenti

La procedura parte dal deposito degli utenti di BTC nel wallet di Lombard. Questi wallet rappresentano il flusso iniziale di fondi nel sistema.

2. Tracciare le transazioni fino al wallet di staking

Tracciare i BTC dai wallet di deposito al wallet di staking controllato da Lombard. In base alla specifica di staking di Babylon, individuare tutte le transazioni di staking.

3. Verificare la proprietà

Utilizzare le regole del protocollo di Babylon per confermare che le transazioni di staking includano la chiave pubblica richiesta per la verifica della proprietà. Assicurarsi che le transazioni rispettino lo script di blocco dello staking.

4. Calcolare il TVL effettivo

Aggregare gli importi degli output in BTC nelle transazioni di staking convalidate per calcolare le garanzie on-chain. Confrontare le garanzie con l’offerta totale di LBTC e calcolare il rapporto di collateralizzazione.

Seguendo i passaggi descritti, abbiamo calcolato il TVL degli LST di Lombard come segue:

· Garanzie BTC on-chain: 16,580.9220 (15,028.3565 BTC / 90,64% in staking)

· Offerta totale di LBTC: 16,386.4157 (101,19% di sovracollateralizzazione)

· Data e ora dell’ultima convalida: 04/01/2025 19:30 PST

· Stato: sicuro (101,19% di sovracollateralizzazione)

Dettagli della convalida:

· 90,64% in staking

Su un totale di garanzie on-chain pari a 16,580.9220 BTC, 15,028.3565 BTC sono attivamente in staking secondo lo standard Babylon.

· 101,19% di sovracollateralizzazione

L’offerta totale di LBTC è pari a 16,386.41, mentre le garanzie on-chain ammontano a 16,599 BTC.

· Piena trasparenza on-chain

Ogni transazione di staking può essere ricondotta direttamente all’indirizzo di deposito del protocollo Lombard e la verifica della proprietà è conforme alle regole dello staking.

La procedura di convalida è stata completata il 04/01/2025, alle 19:30 ora del Pacifico (al momento della stesura), e questi dati sono completamente riproducibili senza alcun intervento manuale. Grazie al nostro strumento open source Proof of TVL, chiunque può verificare in modo indipendente i dati sul TVL di LBTC in tempo reale.

Questa è la vera trasparenza.

Sebbene questa soluzione offra un elevato livello di trasparenza, presenta un limite importante: si affida a un protocollo trustless per calcolare e dichiarare accuratamente il TVL.

Esiste quindi un modo per eliminare questa dipendenza e consentire a chiunque di verificare i risultati in modo indipendente e con piena fiducia? Le prove a conoscenza zero (ZKP) offrono una possibile soluzione.

Utilizzare le prove a conoscenza zero per verificare il TVL

Uno dei principali vantaggi delle prove a conoscenza zero (ZKP) è il loro meccanismo di fiducia crittografico, con costi di convalida estremamente bassi, che consente agli utenti di verificare direttamente le ZKP su dispositivi client come smartphone o browser. Ciò riduce sensibilmente gli ostacoli e le ipotesi di fiducia nella verifica del TVL. Ora gli utenti non devono neppure fidarsi di terze parti che eseguono il protocollo di verifica del TVL.

La prova a conoscenza zero progettata specificamente per convalidare il TVL degli LST è espressa come segue:

Prova delle riserve: BTC + wallet LST su Babylon superiori all’offerta totale di LST

Prova delle riserve: BTC su Babylon superiori agli LST

· Secondo la specifica delle transazioni di Babylon, perché una transazione sia considerata una transazione di staking valida, devono essere soddisfatte le seguenti condizioni:

· La transazione deve avere un output Taproot con la spesa tramite percorso della chiave disabilitata e un impegno verso un albero di script composto da tre script: uno script di blocco temporale, uno script di svincolo e uno script di slashing. Questo output è denominato staking_output e il suo valore è denominato staking_amount.

· La transazione deve includere un output OP_RETURN contenente quanto segue: global_parameters.tag, version, staker_pk (chiave pubblica del fornitore dello staking), finality_provider_pk (chiave pubblica del fornitore di finalità), staking_time (durata dello staking).

Per verificare gli LST su Babylon rispetto ai BTC, dobbiamo innanzitutto convalidare la transazione di staking. Per esempio, verificare che l’output Taproot e OP_RETURN contengano la stessa chiave pubblica.

Prova delle riserve del wallet LST

Possiamo adottare un protocollo standard per la prova delle riserve, come quello proposto da Vitalik Buterin: Protocollo Proof of Solvency.

Inoltre, Shumo e altri hanno proposto una versione leggermente migliorata.

Approfondimento: SNARKed Merkle Sum Tree: un protocollo pratico Proof of Solvency basato sulla proposta di Vitalik.

L’unico dettaglio tecnico è che dobbiamo sostituire l’algoritmo di firma utilizzato da Ethereum con quello utilizzato da Bitcoin. Per esempio, sebbene Bitcoin ed Ethereum utilizzino entrambi ECDSA, Bitcoin ha scelto SHA al posto di Keccak come algoritmo di hash sicuro.

Offerta totale di LST

Si tratta di un input pubblico fornito dall’utente.

Utilizzando le prove a conoscenza zero per verificare il TVL, è possibile ridurre efficacemente il rischio di controparte e abbassare la barriera all’ingresso per gli utenti che vogliono verificare i risultati.

La roadmap futura di BTCFi

Bitcoin ha sempre rappresentato fiducia, decentralizzazione e trasparenza. Tuttavia, la diffusione di dati falsi sul TVL nel settore dello staking di Bitcoin rischia di erodere questi principi fondamentali.

La soluzione è molto chiara: la verifica del TVL attraverso prove a conoscenza zero offre un percorso concreto per raggiungere una vera responsabilità.

Eliminando la dipendenza dalla fiducia e consentendo a chiunque di verificare le riserve, possiamo ricostruire la fiducia degli utenti negli LST di Bitcoin e garantire che BTCFi prosperi su basi «reali».

Partecipazione continua

Crediamo nella forza del progresso collettivo. Ecco come puoi contribuire a portare avanti questo processo:

· Fornire ulteriori analisi di verifica del TVL: aiutare ad ampliare l’applicabilità dello strumento e contribuire con analisi trasparenti su altri protocolli BTCFi. La trasparenza è uno sforzo collettivo dell’intero ecosistema.

· Contribuire con PR: migliorare lo strumento o proporre nuove funzionalità (per esempio, l’implementazione di prove zk).

· Sviluppare standard di settore: collaborare con noi per creare standard di trasparenza BTCFi aperti e verificabili.

· Diffondere il messaggio: condividere questo articolo per sensibilizzare sull’importanza della verifica trustless del TVL.

Allegato: link al report completo e allo strumento di verifica open source

Link GitHub di Proof of TVL

ReportLink all’articolo originale