(Proof of TVL) zpráva se zaměřuje na neprůhlednou situaci v oblasti BTCFi a vyzývá k vytvoření vyšších standardů pro ověřování transparentnosti aktiv, zároveň navrhuje open-source nástroje pro ověřování TVL, které silně podpoří transparentnost bitcoinového ekosystému.
Autor: Alex Tang
V ekosystému Bitcoinů je celková uzamčená hodnota (TVL) klíčovým ukazatelem měřícím rozsah a bezpečnost projektů BTCFi (Bitcoin Finance). Nicméně s expanzí BTCFi se zvyšují spory ohledně pravdivosti dat TVL. Falešná statistika, duplicitní počty a falšované zajištění erodují důvěru uživatelů a tím ohrožují transparentnost a důvěryhodnost bitcoinového ekosystému.
Na tento jev reagovaly přední projekty Bitcoin ekosystému jako Nubit, Nebra, Bitcoin Layers a Alpen Labs, které 5. ledna 2025 publikovaly zprávu (Proof of TVL), která se zaměřila na neprůhlednou situaci v oblasti BTCFi a vyzvala k vytvoření vyšších standardů pro ověřování transparentnosti aktiv, zároveň navrhly open-source nástroje pro ověřování TVL, které silně podpoří transparentnost bitcoinového ekosystému.
Níže je uveden původní text zprávy:
Zvláštní poděkování Bitcoin Layers a Alpen Labs za recenzi a cennou zpětnou vazbu k tomuto článku.
Evoluce BTCFi a likvidních stakovacích tokenů (LSTs)
Bitcoin byl dlouhodobě základem digitálního aktivního ekosystému.
Nicméně, po mnoho let bylo jeho využití převážně omezeno na uchovávání hodnoty a výměnné médium. Až do roku 2023 protokoly jako Babylon představily koncept stakování Bitcoinů, což uživatelům umožnilo uzamknout jejich BTC samosprávně a účastnit se mechanismu konsensu důkaz o podílu (Proof-of-Stake) za účelem získání odměn.
Tento inovativní přístup otevřel Bitcoinům novou éru, kterou nyní obvykle označujeme jako BTCFi. Tento pohyb dal Bitcoinům bezprecedentní schopnosti. Od té doby Bitcoin již není pouze pasivně drženým aktivem, ale může aktivně participovat v decentralizovaném finančním (DeFi) ekosystému.
Aby se zvýšila použitelnost a likvidita stakovaných Bitcoinů, vznikla vlna likvidních stakovacích tokenů (Liquid Staking Tokens, LSTs). Tyto protokoly fungují jako správci, které uživatelům umožňují stakovat jejich BTC a získávat tokenizované certifikáty jako odměnu. Tyto LSTs lze volně použít pro DeFi aplikace, včetně půjčování, obchodování, a yield farming. Tento model umožňuje stakerům Bitcoinů 'mít oboje': vydělávat stakovací odměny a zároveň se účastnit široké škály příležitostí DeFi.
Tyto protokoly LST rychle získaly uznání uživatelů, přičemž celková zpráva o uzamčené hodnotě (TVL) dosáhla miliard dolarů. TVL je obvykle považováno za důležitý standard pro měření uživatelské aktivity a úspěšnosti protokolu.
Nicméně, chceme klást klíčovou otázku pro průmysl: Jak důvěryhodná jsou vlastně data TVL, která protokoly Bitcoin LST uvádějí?
Konkrétně, měly by být tyto aktiva zahrnuty do TVL, pokud BTC, které protokol nemůže skutečně kontrolovat nebo snížit?
Pokud jsou data TVL nadhodnocena, může to uživatelům a investorům poskytnout falešný pocit bezpečí. Nadhodnocená data TVL mohou skrýt skutečnou likviditu a rizikovou situaci protokolu, což může vést k chybným rozhodnutím všech zúčastněných stran a potenciálním ztrátám.
Proč je těžké sledovat TVL protokolů pro likvidní stakování Bitcoinů?
V kontextu stakování Bitcoinů zvyšuje specifický model UTXO Bitcoinů složitost, což ztěžuje přesné vyhodnocení dat TVL (celkový uzamčený objem). Tato složitost oslabuje důvěru v protokoly likvidního stakování Bitcoinů (LST) a vyvolává obavy o udržitelnost celého ekosystému BTCFi.
Podívejme se podrobně na důvody.
Bitcoin používá model UTXO (nevyužité výstupy transakcí), kde každá transakce vytváří nezávislou 'jednotku Bitcoin' s konkrétními podmínkami použití. Například:
Některé UTXO mohou vyžadovat podpis soukromým klíčem, aby byly použity.
Složitější UTXO mohou zahrnovat požadavky na multisig nebo časové zámky.
Na rozdíl od modelu účtů Ethereum, model UTXO Bitcoinů nesčítá zůstatky, což ztěžuje sledování a uzamknutí prostředků - ačkoliv to není zcela nemožné. Proto jsou data TVL protokolu LST často skutečně hlášena protokolem samotným. Abychom ověřili tato hlášená data, musíme začít jednoduchou otázkou:
Jak by měl být vypočítán TVL protokolu pro likvidní stakování Bitcoinů?
Cílem protokolu Bitcoin LST je poskytnout ekonomickou bezpečnost aplikačním protokolům (jako jsou Rollups, vrstvy dostupnosti dat (DAs) atd.). Z tohoto pohledu je tato ekonomická bezpečnost efektivní pouze tehdy, když je stakovaný Bitcoin spravován protokolem stakování a může být snížen (slashable). Je tedy jasné, že:
BTC, které není stakováno protokolem nebo není možné snížit, by nemělo být zahrnuto do TVL.
Jak se falšuje TVL z opakovaného stakování Bitcoinů?
Mnoho protokolů pro likvidní stakování Bitcoinů se snaží za každou cenu dosáhnout vysokého TVL (celkového uzamčeného objemu) tím, že se dohodnou s velkými držiteli (velrybami), pokoušejí se uměle zvýšit svá čísla TVL 'pročištěním dat'.
Zde je, jak fungují:
Whale stakování: Velcí držitelé Bitcoinů (tj. velryby) jsou motivováni převádět své BTC na adresu, kterou společně kontrolují velryby a protokol, aby se zapojili 'stakování'.
Kontrola velryb se nezměnila: Po dokončení stakování má velryba stále konečnou kontrolu nad UTXO (nevyužité výstupy transakcí). Protokol nemůže vynutit vyplacení nebo provést tresty (včetně trestů za snížení, slashing), což znamená, že tyto prostředky nikdy nebyly skutečně v riziku.
Falešné zahrnutí do TVL: Protokol zahrnuje tyto UTXO do svého TVL, i když tyto prostředky nejsou skutečně uzamčeny a velryby je mohou kdykoliv vybrat nebo znovu použít.
Skutečnost je taková:
Uživatel (velryba) má nad prostředky plnou kontrolu: Velryba může kdykoliv utratit tyto BTC nebo je stakovat do jiných protokolů.
Pseudo-stakování bez trestů za snížení: Tento 'stakovací' proces nemá žádné závazné podmínky snížení, což je v podstatě bezvýznamné.
Jádrem stakování je zajištění bezpečnosti sítě prostřednictvím motivace pozitivního chování a trestání zlého chování. Tresty za snížení (slashing) zajišťují, že účastníci nesou skutečné riziko finanční ztráty, pokud nedodržují pravidla protokolu nebo se dopouštějí nepoctivého chování. Bez tohoto mechanismu se stakování stává „stakováním pro stakování“, což nemá žádný skutečný účel.
Zamyslete se nad tím: Co vlastně znamená stakování? Není to pro nadhodnocení dat TVL nebo symbolické vyjádření, ale pro zajištění bezpečnosti protokolu prostřednictvím mechanismu snížení.
To připomíná bolestnou lekci FTX. V kolapsu FTX vedl rozdíl mezi hlášenými čísly (tokeny příjmu) a skutečnými rezervami (vybíratelnými aktivy) k úplnému kolapsu důvěry uživatelů. Pokud protokol nadhodnocuje svá data TVL, opravdu mu můžete věřit, že nezneužije vaše rezervy? Protokol, který zkresluje fakta ohledně rezerv, by mohl být už dávno vzdálen principům bez důvěry, které Bitcoin představuje.
Tato nadhodnocená data TVL vyvolávají větší otázku: Jsou Bitcoin stakované v těchto zprávách skutečně uzamčeny? Nebo je to jen atraktivní, falešný ukazatel pro zvýšení čísla?
Riziko falešného TVL
Teoreticky, likvidní stakovací tokeny (Liquid Staking Tokens, zkráceně LST) mají za cíl reprezentovat BTC stakované v protokolech jako Babylon, umožňující držitelům vydělávat stakovací odměny při zachování likvidity aktiv. Tento mechanismus předpokládá, že každý LST je plně podporován skutečnými rezervami BTC v poměru 1:1.
Nicméně, některé stakování, které usiluje o vysoká TVL data, může tyto závazky oslabit. Pokud část stakovaného BTC stále plně kontroluje původní držitel, zatímco protokol ho zároveň uvádí jako zcela uzamčený, to přímo ohrožuje základní předpoklady existence LST.
Skutečné zajištění je nižší než hlášené množství.
Stakovací model nedokáže poskytnout očekávanou úroveň zabezpečení.
Existuje obrovská propast mezi hlášeným TVL a skutečným množstvím BTC, které se skutečně účastní stakování.
Koneckonců, tyto činy zpochybňují, zda jsou LST skutečně plně podporovány ověřitelnými rezervami a vyvolávají pochybnosti o ekonomické bezpečnosti těchto tokenů, jako například:
Nedostatek záruk 1:1. Protože protokol počítá s BTC, které nebylo skutečně uzamčeno nebo stakováno, jako s 'stakovaným', nelze zaručit, že aktiva podporující LST skutečně existují nebo jsou pod kontrolou protokolu. Uživatelé, kteří tyto tokeny drží, se mohou spolehnout pouze na jednostranná prohlášení protokolu. Navíc, pokud tato aktiva neexistují, uživatelé čelí skutečnému riziku finanční ztráty při vyplacení základních aktiv.
Neověřitelné stakovací odměny. Stakovací odměny by měly pocházet ze skutečného příspěvku k bezpečnosti sítě nebo konsensu Proof-of-Stake (PoS). Nicméně, odkud pocházejí tyto odměny, když základní Bitcoin není skutečně zapojen do stakování? Mají nějakou udržitelnost?
To představuje systémové riziko pro celý ekosystém BTCFi. Jak se důvěra snižuje, likvidita může rychle zmizet, což může otřást nejen určitým protokolem, ale také ovlivnit stabilitu celého ekosystému BTCFi založeného na stakování Bitcoinů.
Co se stane, když se protokol stakování Bitcoinů stane stejný jako centralizované entity? V takovém případě uživatelé nemohou auditovat rezervy a mohou pouze důvěřovat prohlášením operátora. Tato situace vážně ohrožuje důvěryhodnost BTCFi.
Současná situace představuje hrozbu pro důvěryhodnost BTCFi. Abychom se vyhnuli opakování chyb centralizovaných systémů a falešného TVL, musíme řešit kořenový problém: nedostatek mechanismu bez důvěry a ověřitelného mechanismu pro prokázání rezerv a stakovací činnosti.
To je klíč k důkazu TVL (Proof of TVL, zkráceně PoTVL). Pouze vytvořením vědeckého, transparentního a kryptografického standardu pro ověřování rezerv můžeme obnovit důvěru v Bitcoin LST a zajistit dlouhodobou udržitelnost ekosystému.
Základní řešení: transparentní výpočet TVL
V kontextu stakování Bitcoinů hraje adresa Taproot klíčovou roli při realizaci skriptů pro stakování (například Babylon). Tyto skripty definují jasná pravidla pro stakování BTC, sledování a konečné vyzvednutí. Babylon je typickým příkladem, protože spojuje stakovací činnost přímo s ověřitelnými pravidly na úrovni protokolu nad modelem UTXO Bitcoinů.
Když se stakerové zapojí do stakovacího protokolu, vytvářejí specifické transakce, které posílají BTC na protokolem určenou adresu Taproot. Tyto transakce obvykle zahrnují následující:
Stakovací výstup: jeden UTXO, který se používá k odesílání BTC na adresu Taproot pro stakování.
Výstup ověření vlastnictví: druhý UTXO, který obsahuje veřejné klíče stakera a protokolu. Tyto veřejné klíče dokazují vlastnictví stakovaného BTC.
Příklad standardů stakování Babylon:
Tento standard vyžaduje, aby stakerové (nebo protokol LST) vytvořili následující transakci:
První UTXO odešle BTC na adresu Taproot spojenou se skriptem pro stakování Babylon.
Druhý UTXO obsahuje veřejné klíče stakera a Babylonu pro zajištění ověření vlastnictví.
Tento design zajišťuje, že stakovací činnost může být plně sledována na blockchainu, přičemž existují jasné důkazy o vlastnictví a transparentní pravidla.
Případová studie: Lombard Finance
Abychom demonstrovali aplikaci této metody v praxi, použili jsme open-source nástroj Proof of TVL k ověření Lombard Finance.
Zde je kompletní ověřovací proces:
Identifikovat uživatelské peněženkové vklady. Začít s peněženkou, která vkládá BTC do Lombardu. Tyto peněženky představují počáteční tok financí do systému.
Sledovat transakce do stakovací peněženky. Sledovat BTC z vkladové peněženky do stakovací peněženky pod kontrolou Lombardu. Identifikovat všechny stakovací transakce podle stakovacích standardů Babylon.
Ověřit vlastnictví. Potvrdit pomocí pravidel protokolu Babylon, zda stakovací transakce obsahuje požadované veřejné klíče pro ověření vlastnictví. Zajistit, aby transakce splňovaly skripty pro stakování.
Vypočítat skutečné TVL. Shrnout množství BTC v ověřených stakovacích transakcích pro výpočet zajištění na blockchainu. Porovnat zajištění s celkovou nabídkou LBTC a vypočítat poměr zajištění.
Pomocí výše uvedených kroků vypočítáme LST TVL Lombardu následovně:
Zajištění na BTC blockchainu: 16,580.9220 (15,028.3565 BTC / 90.64% již stakováno)
Celková nabídka LBTC: 16,386.4157 (101.19% nadměrné zajištění)
Nejnovější čas ověření: 4. ledna 2025, 19:30 tichomořského času
Stav: bezpečné (101.19% nadměrné zajištění)
Ověřit detaily:
90.64% již bylo stakováno. Z 16,580.9220 BTC na blockchainu je 15,028.3565 BTC aktivně stakováno podle standardů Babylon.
101.19% nadměrné zajištění. Celková nabídka LBTC je 16,386.41, zatímco zajištění na blockchainu je 16,599 BTC.
Úplná transparentnost na blockchainu. Každá stakovací transakce může být přímo sledována zpět k depozitní adrese protokolu Lombard a ověření vlastnictví odpovídá pravidlům stakování.
Ověřovací proces byl dokončen 4. ledna 2025 v 19:30 tichomořského času (když byl tento článek napsán), tato data jsou zcela reprodukovatelná a nevyžadují lidský zásah. Pomocí našeho open-source nástroje Proof of TVL může kdokoliv nezávisle a v reálném čase ověřit data TVL LBTC.
To je skutečná transparentnost.
I když toto řešení nabízí vysokou úroveň transparentnosti, má jeden klíčový nedostatek: spoléhá se na důvěru, že protokol dokáže přesně vypočítat a hlásit TVL.
Existuje způsob, jak eliminovat tuto závislost a umožnit komukoli nezávisle ověřit výsledky s důvěrou? Důkazy s nulovými znalostmi (ZKPs) poskytují potenciální cestu k řešení.
Ověření TVL prostřednictvím důkazů s nulovými znalostmi
Jednou z velkých výhod důkazů s nulovými znalostmi (Zero-knowledge proofs, ZKPs) je jejich kryptografický mechanismus důvěry, zatímco náklady na ověřování jsou extrémně nízké, což umožňuje uživatelům přímo ověřovat důkazy s nulovými znalostmi na mobilních telefonech nebo v prohlížečích. To výrazně snižuje tření a předpoklady důvěry v ověřování TVL. Nyní uživatelé dokonce nemusí důvěřovat třetí straně, která provozuje protokol pro ověřování TVL.
Důkazy s nulovými znalostmi používané k ověření LST TVL se konkrétně vyjadřují takto:
BTC z LST na Babylonu + důkaz rezervy z LST peněženky ≥ celková nabídka LST
BTC z LST na Babylonu
Podle obchodních standardů Babylon: Aby byla transakce považována za platnou stakovací transakci, musí splnit následující podmínky:
Transakce musí mít výstup Taproot a cesta pro výdaje klíčů musí být zakázána a odeslána do skriptového stromu složeného z následujících tří skriptů: skript časového zámku (timelock script), skript pro odpojení (unbonding script) a skript pro snížení (slashing script). Tento výstup se nazývá staking_output a jeho hodnota se nazývá staking_amount.
Transakce musí obsahovat výstup OP_RETURN, který obsahuje následující: global_parameters.tag, version, staker_pk (veřejný klíč stakera), finality_provider_pk (veřejný klíč poskytovatele konečnosti), staking_time (čas stakování).
Abychom ověřili BTC LST na Babylonu, musíme nejprve zkontrolovat platnost stakovací transakce. Například ověřit, zda výstup Taproot a OP_RETURN obsahují stejný veřejný klíč.
Důkaz rezervy z LST peněženky
Můžeme použít standardní protokol pro ověřování rezerv, například protokol pro ověřování solventnosti, který navrhl Vitalik Buterin: https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html. Kromě toho Shumo a další navrhli mírně vylepšenou verzi. Jediným technickým detailem je, že musíme nahradit podpisový algoritmus používaný Ethereem algoritmem používaným Bitcoinem. Například, ačkoliv Bitcoin a Ethereum používají ECDSA, Bitcoin zvolil SHA místo Keccak jako bezpečný hash algoritmus.
Celková nabídka LST. Toto je veřejný vstup poskytnutý uživateli.
Ověření TVL prostřednictvím důkazů s nulovými znalostmi může efektivně minimalizovat riziko protistrany a zároveň snížit překážky pro ověření výsledků jakýmikoli uživateli.
Budoucnost BTCFi
Bitcoin dlouhodobě představoval důvěru, decentralizaci a transparentnost. Nicméně, s nárůstem falešných TVL dat v oblasti stakování Bitcoinů, jsou tyto základní principy vystaveny riziku eroze.
Řešení je velmi jasné: Ověření TVL prostřednictvím důkazů s nulovými znalostmi poskytuje jasnou cestu k dosažení skutečné odpovědnosti.
Eliminací závislosti na důvěře a umožněním, aby rezervy mohly být ověřovány kýmkoliv, jsme schopni obnovit důvěru uživatelů v Bitcoin LST a zajistit, aby BTCFi prosperovalo na 'reálném' základě.
Nepřetržitá účast
Věříme v sílu kolektivního pokroku. Zde jsou způsoby, jak můžete pomoci přispět k tomuto procesu:
Poskytnout více analýz ověření TVL: Pomoci rozšířit dosah nástrojů a přispět k transparentní analýze pro další protokoly BTCFi. Transparentnost je společným úsilím celého ekosystému.
Přispět PR: Zlepšit nástroje nebo navrhnout nové funkce (například implementaci zk-důkazů).
Vytvořit průmyslové standardy: Spolupracovat s námi na vytvoření veřejných, ověřitelných standardů transparentnosti BTCFi.
Šířit informace: Sdílet tento článek a zvýšit povědomí o potřebě ověřování TVL bez důvěry.
