Merkle Tree Proof of Reserves and Liabilities: podnoszenie poprzeczki dla większej przejrzystości

Udostępnij

Niedawne zamieszanie na FTX skłoniło firmy kryptowalutowe do ujawnienia kryptograficznych dowodów ich funduszy powierniczych w celu zwalczania sceptycyzmu co do zarządzania gotówką. Dowody te pozwalają każdemu zweryfikować, czy środki przechowywane w łańcuchu są wystarczające do pokrycia zobowiązań giełdy wobec jej użytkowników. Odbywa się to za pomocą metody zwanej Merkle Tree Proof of Reserves.

Czym są dowody rezerw i dowody zobowiązań?

W przeciwieństwie do pełnych węzłów, scentralizowane giełdy (CEX) nie zapewniają jednoznacznego potwierdzenia środków. W większości takich przypadków kryptowaluty są po prostu wysyłane do czarnej skrzynki, pozostawiając użytkownikom niewielki wybór, jak tylko trzymać kciuki i ufać, że ich pieniądze nie są niewłaściwie wykorzystywane.

Aby temu zaradzić, CEX coraz częściej tworzą dowody kryptograficzne, aby wykazać, że ich fundusze w łańcuchu są wystarczające do pokrycia zobowiązań użytkowników, zamiast polegać wyłącznie na licencjach i audytach wydanych przez rząd. Ta próba zapewnienia publicznej przejrzystości scentralizowanym rezerwom kryptowalut poprzez weryfikowalną praktykę audytową nosi nazwę Proof of Reserves.

Proof of Reserves to sposób na wykazanie, że platformy lub giełdy są w stanie honorować wypłaty na swoich platformach przez cały czas . Ogólnie rzecz biorąc, składa się z dwóch części : bieżącego rejestru depozytów monet klientów (znanego jako dowód zobowiązań ) oraz puli monet przechowywanych w ramach zestawu adresów wymiany (znanego również jako dowód aktywów ). Jeśli Dowód aktywów > Dowód zobowiązań , wymiana jest wypłacalna i zawsze może honorować żądania wypłaty (Dowód Rezerw) .

Kalendarium koncepcji dowodu odpowiedzialności

Pierwsze próby kryptograficznego udowodnienia, że giełdy nie oszukują swoich klientów, sięgają 2011 roku, kiedy największa wówczas giełda Mt Gox udowodniła, że rzeczywiście posiada wszystkie środki swoich klientów, wysyłając BTC na wcześniej ogłoszony adres.

W 2013 roku pojawiła się nowa koncepcja dowodu, w której giełdy dowodziły, że depozyty klientów są równe X, a także potwierdzały własność kluczy prywatnych X monet. Nazywa się to dowodem wypłacalności, który wymaga od giełd udowodnienia, że posiadają wystarczające środki, aby spłacić wszystkich deponentów.

Najprostszym sposobem udowodnienia wpłat jest opublikowanie listy par (nazwa użytkownika, saldo). Lista pozwala każdemu sprawdzić, czy jego salda pojawiają się na liście, a także sprawdzić, czy (I) żadne saldo nie jest ujemne oraz (II) suma jest zgodna z roszczeniem.

To podejście ma tę wadę, że budzi obawy dotyczące prywatności , chociaż można temu zaradzić, publikując listę par (hash(nazwa użytkownika, salt), saldo) i wysyłając wartość salt prywatnie do każdego użytkownika. Jednak nadal istnieje możliwość wycieku salda konta przy użyciu tej metody. Chęć zachowania prywatności doprowadziła do kolejnego wynalazku: drzewa dowodu odpowiedzialności Merkle.

Co to jest drzewo Merkle’a?

Drzewo Merkle to struktura danych, która jest tworzona przez połączenie salda klienta i skrótu nazwy użytkownika w strukturę drzewa, w której każdy węzeł reprezentuje parę (hash, saldo). Węzły liści na dole drzewa reprezentują salda poszczególnych klientów i zaszyfrowaną nazwę użytkownika. Węzły znajdujące się wyżej w hierarchii mają saldo równe sumie dwóch sald poniżej, a hash jest sumą dwóch węzłów poniżej.

por. https://vitalik.ca/general/2022/11/19/proof_of_solvency.html

Wszystkie transakcje w drzewie Merkle są ze sobą powiązane i pogrupowane w celu uzyskania skrótu głównego lub „adresu głównego” (żółte pole). Ten główny skrót jest powiązany ze wszystkimi innymi skrótami drzewa. Merkle tree Proof of Liability to duża oszczędność czasu, ponieważ nie trzeba weryfikować każdej transakcji w sieci. Zamiast tego ta metoda opiera się tylko na podzbiorze danych w celu weryfikacji funduszy, dlatego jest uważana za złoty standard branżowy w zakresie weryfikacji funduszy użytkowników.

Jak to działa? Na podstawie powyższego drzewa Merkle załóżmy, że Piotr chce zweryfikować swoje fundusze. W tym celu nie musi znać wszystkich wpisów w drzewie Merkle, tylko te zaznaczone na niebiesko. Tak długo, jak Piotr będzie otrzymywał zahaszowane informacje od Dawida, a także zahaszowane pozostałe dwa niebieskie bloki, będzie w stanie zweryfikować, czy jego środki rzeczywiście znajdują się na giełdzie – bez konieczności posiadania jakichkolwiek innych informacji.

Warto również zauważyć, że jeśli zmieni się hash w drzewie Merkle, zmienią się również wszystkie inne (root hash). W rezultacie autentyczność informacji dla całego drzewa zostanie unieważniona. Dzięki tej funkcji drzewa Merkel zapewniają wysoki poziom bezpieczeństwa, z którego są znane.

Bardzo ważną propozycją jest nieujemny dodatek za urlopy. Gdyby złośliwy węzeł z ujemnym saldem został dodany do drzewa, to sąsiednie węzły i wszystkie węzły powyżej nie przeszłyby weryfikacji. Taki złośliwy atak może odnieść sukces tylko wtedy, gdy nikt po całej stronie drzewa, w którym znajduje się złośliwy węzeł, nie sprawdza i nie weryfikuje swoich sald.

Jakie są zalety drzewka Merkle?

Korzystanie z drzewa Merkle ma kilka zalet. Jedną z kluczowych zalet jest to, że zapewnia użytkownikom wysoki poziom przejrzystości i pewności. Przedstawiając dowód odpowiedzialności, platforma pokazuje, że posiada aktywa, które rzekomo posiada, co pomaga budować zaufanie użytkowników i zapewnia wypłacalność platformy.

Kolejną zaletą jest to, że jest wydajny i bezpieczny. Wykorzystanie drzewa Merkle pozwala na sprawną weryfikację całej listy aktywów, bez konieczności ujawniania pełnej listy. Chroni to prywatność giełdy i jej użytkowników, jednocześnie umożliwiając weryfikację rezerw giełdy.

Co więcej, dokładność całego drzewa można zweryfikować bez badania każdego węzła z osobna. W związku z tym dowód zobowiązań Merkle można postrzegać jako dowody kontroli przeprowadzonych przez użytkowników.

Ponadto dowody Merkle są odporne na manipulacje. Ponieważ skróty w drzewie są połączone ze sobą w określonej kolejności, każda próba zmiany listy zasobów skutkowałaby utworzeniem innego skrótu. Utrudnia to atakującemu zmianę dowodu rezerw bez wykrycia.

Ogólnie rzecz biorąc, Merkle tree Proof of Liabilities jest użytecznym narzędziem dla giełd kryptowalut, aby wykazać wypłacalność i przejrzystość ich operacji. Dostarczając dowód odpowiedzialności, giełda lub powiernik może budować zaufanie swoich użytkowników i zapewnić bezpieczeństwo ich funduszy.

Przewodnik krok po kroku: Jak zweryfikować środki w Cake DeFi

W Cake DeFi przejrzystość i bezpieczeństwo to nie tylko obowiązki, to konieczność i żyją nimi każdego dnia. Platforma przoduje w ujawnianiu ilości monet, które przechowują w adresach (Proof of Assets) od czasu jej uruchomienia w 2019 r., kiedy nikt inny tego nie robił. Niezależnie od tego, czy jesteś klientem, czy nie, możesz łatwo uzyskać dostęp do informacji dotyczących dowodu posiadania aktywów na stronie przejrzystości .

Ale teraz chcą pójść o krok dalej i udostępnić narzędzie, dzięki któremu każdy może łatwo sprawdzić również drugą stronę równania – Merkle tree Proof of Liabilities. Jest to część ich ciągłej inicjatywy mającej na celu przedstawienie opinii publicznej pełnego obrazu i umożliwienie klientom sprawdzenia, czy ich fundusze są u nich bezpiecznie przechowywane. Sprawdź sam tutaj .

Aby ustalić, czy saldo Twojego konta jest uwzględnione w strukturze drzewka drzewa Merkle Proof of Liabilities, wymagane są następujące kroki:

Zaszyfruj saldo konta i swój unikalny identyfikator

Ten krok został bardzo uproszczony, aby każdy mógł to zrobić bez żadnej wiedzy! Aby ułatwić Ci życie, przygotowali już wszystko i zahaszowali Twoje saldo oraz unikalny identyfikator. Aby znaleźć swój identyfikator skrótu, zaloguj się na swoje konto i spójrz na dół strony.

Sprawdź, czy ten skrót faktycznie został uwzględniony w końcowym haszu ogólnego drzewa Merkle Proof of Liabilities

Możesz teraz otrzymać drzewko Merkle ze swoimi funduszami, wprowadzając skopiowany wcześniej identyfikator skrótu w polu wejściowym na stronie Proof of Reserves . Jako wynik otrzymasz następującą strukturę:

Obejmuje to dwa zestawy danych: pierwszy to korzeń Merkle, który działa jak pieczęć kryptograficzna podsumowująca wszystkie imputowane dane (bieżące saldo środków posiadanych przez Cake DeFi), a drugi to zweryfikowany liść, który pokazuje podział Twoich funduszy.

Samodzielnie przeprowadzić dowód

Zgodnie z ich mottem „Zaufaj, ponieważ możesz zweryfikować”, możesz również samodzielnie przeprowadzić weryfikację dowodu zobowiązań w drzewie Merkle, wykonując następujące kroki:

Krok 1: Zainstaluj narzędzie do weryfikacji, korzystając z informacji podanych w Github.

Krok 2: Skopiuj swój osobisty identyfikator skrótu

Krok 3: Pobierz plik drzewa Merkle

Krok 4: Wykonaj następujące polecenie na swoim terminalu: npm run verify — — <paste-the-name-of-your-merkle-tree-file-here> –hash=<paste-your-personal-hash-here>

Dzięki drzewku Merkle Proof of Liabilities, Cake DeFi podniosło poprzeczkę w zakresie przejrzystości i będzie nadal wyznaczać standardy branżowe przez wiele lat. Zaloguj się na swoje konto i odwiedź stronę Proof of Reserves, aby sprawdzić swoje środki.

Życzymy dużych nagród oraz przyjemnych wrażeń z korzystania z CakeDefi, Midas Investments i NEXO!

Jeśli szukasz ogólnych informacji na temat kryptowaluty, wiadomości kryptograficznych, wskazówek, przewodników, strategii, fintech, nowych technologii, przestrzeni handlowej, inwestycji w krypto i wielu innych? CryptoMining.com.pl to miejsce, do którego należy się wracać. Odwiedzaj naszą stronę oraz nasze media społecznościowe, również zapisz się do naszego newslettera, abyśmy mogli wspólnie wywierać wpływ na rozwijającą się technologie blockchain.