Binance, największa na świecie giełda kryptowalut, opublikowała swój raport o rezerwach za sierpień 2023 r., pokazujący, że jej współczynnik rezerw dla wszystkich głównych holdingów kryptowalut wynosi znacznie ponad 100%.
Ujawnienie informacji jest częścią ciągłego zaangażowania Binance w utrzymanie systemu Proof of Reserves (PoR), stanowiącego dowód, że posiada wystarczające środki na pokrycie wszystkich depozytów klientów. Raport opiera się na audycie wysokości bloku BTC 801130 (zaktualizowany do danych zbiorczych na dzień 1 sierpnia 2023 r.).
Proof of Reserves (PoR) to przejrzysty protokół służący do potwierdzania wypłacalności giełd kryptowalut. Jej rolą jest udowodnienie, że giełda posiada wystarczającą ilość środków, aby pokryć aktywa użytkownika w stosunku 1:1. Zasadniczo, gdy użytkownik wpłaca Bitcoin, rezerwy Binance zwiększają się o co najmniej jeden Bitcoin, zapewniając pełne zabezpieczenie wszystkich środków klienta. Liczby te nie obejmują holdingów korporacyjnych Binance, które są niezależne.
Raport PoR Binance pokazuje, że rezerwy giełdy są znacznie wyższe niż salda klientów netto wszystkich zgłoszonych kryptowalut, w tym Bitcoin, Ethereum, Binance Coin, Tether, BUSD i USDC, przy współczynniku rezerw wahającym się od 101,62% do 117,99%. Oznacza to, że firma posiada wystarczające rezerwy, aby pokryć wszystkie potencjalne wypłaty klientów.
PoR ma na celu zwiększenie przejrzystości, bezpieczeństwa i ochrony użytkowników w ekosystemie kryptowalut. Dlatego zapobiega niewłaściwemu wykorzystywaniu środków użytkowników przez giełdy i promuje zaufanie wśród użytkowników. Dzięki temu użytkownicy Binance mogą samodzielnie sprawdzić, czy ich konta zostały uwzględnione w ostatniej weryfikacji PoR, co dodatkowo podkreśla zaangażowanie giełdy w przejrzystość i zaufanie użytkowników.
Jak dowód rezerwy (PoR) współpracuje z drzewami Merkle
Aby mieć pewność, że wszystkie zasoby użytkownika są utrzymywane w stosunku 1:1, Binance wdrożyło system wykorzystujący drzewa Merkle. Drzewo Merkle to narzędzie kryptograficzne, które pomaga kompresować duże ilości danych w jedną wartość skrótu, zwaną korzeniem Merkle. Ten katalog główny działa jak kryptograficzna „pieczęć”, która podsumowuje wszystkie dane wejściowe. Dodatkowo drzewa Merkle umożliwiają użytkownikom weryfikację określonej treści zawartej w określonym zestawie zapieczętowanych danych.
W kontekście PoR Binance wykorzystuje właściwości Merkle Trees w celu sprawdzenia, czy indywidualne konta użytkowników są uwzględnione w raportach odpowiedzialności sprawdzanych przez audytorów. Każdy użytkownik może zweryfikować swoje zasoby, korzystając z unikatowo wygenerowanego skrótu/identyfikatora rekordu Merkle.
Oto opis procesu krok po kroku:
Zweryfikuj własność adresu: Binance najpierw weryfikuje, czy własność portfeli (zimnych i gorących portfeli) używanych podczas procesu PoR należy do giełdy.
Migawka salda użytkownika: Zrób migawkę zasobów aktywów na każdym koncie klienta w określonym dniu i godzinie.
Generowanie drzewa Merkle: Binance generuje bazowy blok danych, łącząc zaszyfrowany identyfikator użytkownika i saldo każdego użytkownika. Następnie utwórz drzewo Merkle na podstawie danych wszystkich użytkowników. Jeśli jakikolwiek identyfikator konta lub saldo w węźle liścia ulegnie zmianie, korzeń Merkle również ulegnie zmianie. W ten sposób każdy użytkownik może sprawdzić, czy jego zasoby znajdują się w węzłach-liście.
zk-SNARK podczas weryfikacji
Oprócz drzew Merkle, Binance wykorzystuje w procesie weryfikacji również zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge). zk-SNARK to protokół sprawdzający, który pozwala ludziom udowodnić, że znają wartość, bez ujawniania, jaka to wartość.
Biorąc Binance za przykład, giełda wykorzystuje zk-SNARK, aby udowodnić, że zestaw sald wszystkich węzłów liści (tj. sald kont użytkowników) składa się na całkowite saldo aktywów użytkownika, o które ubiega się giełda. Każdy użytkownik może łatwo uzyskać dostęp do swojego węzła liścia, aby sprawdzić, czy jest on objęty procesem.
Użycie zk-SNARK przebiega w następujący sposób:
Zweryfikuj własność adresu: Podobnie jak w poprzednim procesie, Binance zweryfikuje własność portfeli (portfeli zimnych i gorących) używanych w procesie PoR.
Migawka salda użytkownika: ponownie wykonaj migawkę zasobów aktywów na każdym koncie klienta.
Generuj certyfikaty zk-SNARKs: Generuj pliki certyfikatów zk-SNARKs dla każdego użytkownika. Dzięki temu każdy użytkownik może łatwo uzyskać dostęp do swoich węzłów liściowych i sprawdzić, czy całkowite saldo netto użytkownika jest większe lub równe zero.
Oprócz tych metod samoweryfikacji, Binance wykorzystuje również audyty stron trzecich w celu dostarczenia raportów z audytu, jeszcze bardziej zwiększając bezpieczeństwo i przejrzystość procesu weryfikacji.