S pádem FTX v kryptosvětě v posledních několika dnech po incidentu FTX z 9. listopadu hlavní centralizované burzy (CEX) uvedly, že brzy oznámí nebo přímo zveřejní rezervní certifikát burzy Merkel (merkle -strom proof-of-reserves), v naději, že zprůhlední původně neprůhledné rezervy aktiv CEX prostřednictvím důkazu Merkle, čímž prokáže rezervy aktiv své vlastní centralizované burzy CEX a prokáže, že prostředky nebyly zpronevěřeny nebo mobilní.
Není pochyb o tom, že pád FTX vrhl stín na ovládací mechanismus černé skříňky celého CEX a je dokonce nesmazatelnou skvrnou, a zdá se, že osvědčení o rezervě stromu Merkelové vnáší do odvětví záblesk naděje. Pokud jde o toto technické řešení, bylo navrženo a aplikováno již před několika lety. Takže co přesně je "Merkel Důkaz" a jak prokázat, že uživatelská aktiva na burze nebyla zpronevěřena. Může to prokázat, že jejich aktiva jsou bezpečně uchovávána?
Merkle strom je datová struktura kryptoměn, jako je bitcoin a ethereum, je to kryptografická technika, která dokáže komprimovat data. Použitím stromů Merkle lze sloučit více dat do jednoho data a uložit souhrnné výsledky dat ve větším měřítku. Současně lze použít kryptografii k prokázání, že odpovídající data jsou v souhrnných výsledcích komprimována. Navíc ověřením integrity dat kořene Merkleho stromu lze prokázat integritu všech dat tvořících Merkleho strom.
Listy Merkleho stromu jsou tvořeny hash hodnotou každé položky v sadě dat. Konstrukce listové části konkrétně spočívá ve zřetězení dvou sousedních hašovacích hodnot, jejich zabalení do jednoho bloku a jejich opětovném hašování, aby se vytvořila rodičovská hašovací hodnota. Hodnota hash, která je nakonec zabalena do horní vrstvy, se nazývá kořen stromu Merkle, hodnota hash root (Merkle Root). Hodnota hash kořene stromu Merkle obsahuje hašovací charakteristiky všech dat. To znamená, že ve kterém uzlu jsou data zmanipulována, bude představovat zcela jinou hodnotu, to znamená, že hash zaznamenaný ve stromu Merkle nelze manipulovat. .
Za předpokladu, že naše informace o účtu a zůstatku jsou zaznamenány v Merkle kořeni jako data A, můžeme použít následující data jako důkaz k ověření, zda jsou data A zaznamenána v Merkle stromu:
Data A (informace o účtu a zůstatku)
Hash hodnota B
Hash hodnota CD
root hash
Obrázek 1: Schematický diagram stromu Merkel ukládající data
Dále vypočítáme hash A přes data A a poté vypočítáme hash AB spolu s hashem B. Nakonec použijeme hash AB a hash CD k výpočtu kořenového hashe a použijeme kořenový hash vypočítali jsme a Získané kořenové hashe jsou porovnány, a pokud jsou stejné, je ověřeno, že A je zaznamenáno ve stromu Merkle.
Pokud jsou aktiva všech uživatelů centralizované burzy zaznamenána na stromě Merkel a je prokázáno, že je to pravda, může burza každému uživateli prokázat, že „datové záznamy byly ve výchozím nastavení smazány bez zveřejnění dalších uživatelských informací“. , majetek uživatele je skutečný."
Jak se tento důkazní systém používá v praxi? Důvěra v tento systém je postavena na stromech Merkle (dynamické odstrašování) a auditu (profesionální odpovědnost třetí strany). Dynamické odstrašování je založeno na skutečnosti, že každý uživatel může sloužit jako detekční uzel a prokázat, že není ve stromu Merkel, aby odhalil, že kořen stromu poskytovaný burzou je falešný například kořen stromu nezobrazuje rovnováhu všech uživatelů a funkcí. Tyto dva jsou nepostradatelné. Neznamená to, že všechny problémy lze dokázat spoléháním se pouze na metody kryptografického důkazu. Praxe je mnohem složitější než teorie a existuje mnoho bodů, se kterými lze manipulovat.
Ve srovnání s předchozím CEX, který měl pouze monitorování auditu, však přidání stromu Merkle ve skutečnosti dává uživatelům právo odpálit, což umožňuje do určité míry decentralizované monitorování rezerv aktiv CEX, což je velké zlepšení současný silný nedostatek důvěry v trh je dobrá věc.
Může však použití důkazu o rezervě stromů Merkle prokázat, že uživatelská aktiva jsou bezpečná? Ačkoli prostřednictvím důkazu Merkle můžeme ověřit, že naše aktiva jsou zaznamenána v neměnném hash, může to plně prokázat, že finanční prostředky nebyly zpronevěřeny nebo přesunuty?
Centralizované burzy mají velké množství transakcí každou sekundu a je nemožné aktualizovat kořen stromu každou sekundu, takže kořen stromu, který vidíme, s největší pravděpodobností není nejnovější. Ale z jiného pohledu se výpočet Merkleho stromu skládá hlavně z výpočtu řady hašovacích funkcí a rychlost výpočtu hašovacích funkcí je relativně rychlá, takže v tomto smyslu nebude frekvence aktualizací příliš pomalá.
Kromě výše uvedených problémů s frekvencí aktualizací se ukázalo, že rezervace stromu Merkle má následující důležité problémy:
Problém s podvodem na front-endu: Data stromu Merkle jsou uložena na vlastním serveru burzy Front-endová stránka, kde uživatelé komunikují s burzou, je zcela možné, aby burza vracela falešné stránky, aby oklamala uživatele existuje možnost front-endového podvodu. Tento problém je třeba vyřešit pomocí dohledu nad softwarem třetích stran.
Úvěrové problémy auditů třetích stran: Podobně v tradičních financích dochází často k chybám auditu nebo dokonce k nezákonnému chování. I když toto nebylo v oblasti kryptoměn široce používáno, audity nejsou vždy objektivní a spravedlivé.
Související transakce, závazkové vztahy, maržové transakce atd. nelze promítnout do rezerv.
Trh s kryptoměnami potřebuje otevřenější a transparentnější informace, které se certifikací stromových rezerv Merkle staly standardem na krypto burzách, pomůže vytvořit průmyslové normy a znovu vybudovat důvěru uživatelů.
Ať už jde o investory nebo uživatele, zajištění bezpečnosti finančních prostředků je vždy Damoklovým mečem visícím nad hlavou každého praktikujícího. Na tomto medvědím trhu, bez ohledu na to, kdo padne nebo kdo nakonec zbude, se kola Web3 nezastaví a nezastaví se vpřed.