Proof of Reserves

Zweryfikuj, że wszystkie salda kont Binance są w pełni wspierane w stosunku 1:1.

Audit Time

Mechanizm weryfikacji:

Hash Merkle Root:

Czym jest Proof of Reserves (PoR)?

Kiedy mówimy Proof of Reserves, mamy na myśli w szczególności te aktywa, które przechowujemy dla użytkowników. Oznacza to, iż przedstawiamy dowody na to, że Binance posiada środki, które pokrywają wszystkie aktywa naszych użytkowników 1:1, a także niektóre rezerwy.

Gdy użytkownik wpłaca jeden Bitcoin, rezerwy Binance zwiększają się o jeden Bitcoin, zapewniając pełne wsparcie środków klientów.

Oznacza to, że Binance przechowuje wszystkie aktywa użytkowników w stosunku 1:1, łącznie z rezerwami. Binance nie posiada żadnych zobowiązań w naszej strukturze kapitałowej oraz dysponuje funduszem awaryjnym (fundusz SAFU) na wypadek ekstremalnych sytuacji, takich jak włamania lub naruszenia bezpieczeństwa.

Przeczytaj więcej, aby znaleźć dodatkowe informacje o tym, co stworzyliśmy, aby Użytkownicy mogli zweryfikować, że ich środki są bezpieczne w Binance.

Nasze zaangażowanie na rzecz naszej społeczności pozostaje takie samo, jak zawsze

Przejrzystość

Zawsze będziemy transparentni dla naszych użytkowników

Bezpieczeństwo

Bezpieczeństwo środków naszych użytkowników jest dla nas priorytetem

Chronione

Twoje fundusze są chronione

Drzewo Merkle'a

Co zbudowaliśmy?

Aby pokazać, że Binance posiada wszystkie aktywa użytkowników wspierane w stosunku 1:1, zbudowaliśmy i wdrożyliśmy drzewo Merkle (pokazane poniżej), dzięki któremu użytkownicy mogą zweryfikować, czy ich aktywa są uwzględnione w zagregowanym saldzie konta netto. Naszym celem jest, aby każdy użytkownik mógł samodzielnie zweryfikować wsparcie 1:1 swoich aktywów za pomocą wygenerowanego przez siebie hashu Merkle/ID rekordu.

Czym jest Drzewo Merkle?

Drzewo Merkle’a to narzędzie kryptograficzne umożliwiające konsolidację dużych ilości danych do pojedynczego hasha. Ten pojedynczy hash, nazywany korzeniem Merkle’a, stanowi kryptograficzną pieczęć, która „podsumowuje” wszystkie wprowadzone dane. Dodatkowo Drzewa Merkle’a pozwalają użytkownikom zweryfikować, czy określone elementy zostały uwzględnione w danym zestawie „zapieczętowanych” danych. Wykorzystujemy te właściwości Drzew Merkle’a podczas naszych ocen Dowodu rezerw, aby potwierdzić, że indywidualne konta są uwzględniane w raporcie zobowiązań, weryfikowanym przez nasz mechanizm zk-SNARKs.

Zk-SNARKs

Co zbudowaliśmy?

Używając zk-SNARK, giełda krypto może udowodnić, że wszystkie zestawy sald węzłów liścia drzewa Merkle (tj. salda kont użytkowników) przyczyniają się do deklarowanego przez giełdę całkowitego salda aktywów użytkownika. Każdy użytkownik może łatwo uzyskać dostęp do swojego węzła liścia, jako włączonego do procesu. Dla każdego zbioru salda użytkownika (węzła liścia drzewa Merkle'a) nasz układ zapewnia, że:

1. Salda kont Użytkownika są uwzględniane przy obliczaniu sumy całkowitych sald netto kont w Binance.

2. Łączne saldo netto konta jest większe lub równe zero.

3. Zmiana korzenia drzewa Merkle jest ważna (tj. nie wykorzystuje fałszywych informacji) po zaktualizowaniu informacji o koncie do skrótu węzła liścia.

Oto kilka przydatnych źródeł:

blog

specyfikacja techniczna

nasz kod źródłowy

dla obwodu (ograniczenia) dla szczegółów implementacji.

Czym jest zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) jest protokołem dowodowym, który przestrzega przedstawionych wcześniej zasad zerowej wiedzy. Dzięki

zk-SNARK

, możesz udowodnić, że znasz oryginalną wartość hashowaną (omówioną dalej poniżej) bez ujawniania, jaka jest ta wartość. Można również udowodnić ważność

transakcji

bez ujawniania jakichkolwiek informacji o konkretnych kwotach, wartościach czy adresach biorących w niej udział.

Jak to działa

Jak mogę zweryfikować własne transakcje?

Zaloguj się na stronę Binance

-> Kliknij „Portfel”

-> Kliknij "Weryfikacja"

Na stronie będzie można znaleźć swój Merkle Leaf i ID Rekordu.

Wybierz datę weryfikacji, którą chcesz sprawdzić. Następnie znajdziesz potwierdzenie typu weryfikacji, ID Rekordu (specyficzny dla Twojego konta i tego konkretnej weryfikacji), aktywa, które zostały objęte weryfikacjom, oraz saldo Twoich aktywów w czasie weryfikacji.

Identyfikator rekordu/Merkle Leaf umożliwia samodzielną weryfikację, że saldo Twojego konta zostało uwzględnione w raporcie zobowiązań poprzez naszą metodę samodzielnej weryfikacji.

Proces Weryfikacji

1. Weryfikacja Własności Adresu

W przypadku aktywów, które służą do weryfikacji rezerw, musimy upewnić się, że portfel jest własnością Binance (w tym do portfela cold i hot).

2. Snapshot Salda Użytkownika

Wartość snapshota jest obliczana na podstawie środków zgromadzonych na koncie klienta w dniu i godzinie snapshota.

3. Generowanie dowodu zk-SNARKs

Generujemy pliki dowodowe zk-SNARKs dla użytkowników, aby każdy użytkownik mógł łatwo uzyskać dostęp do swojego węzła liścia, zapewniając przejrzystość dla wszystkich użytkowników.

4. Generowanie Drzewa Merkle

Podstawowy blok danych generujemy, łącząc zaszyfrowany identyfikator UID i saldo każdego użytkownika. Następnie generujemy drzewo Merkle na podstawie danych wszystkich użytkowników. Korzeń Merkle zmieni się, jeśli zmieni się jakikolwiek identyfikator konta lub saldo w węźle liścia. Każdy użytkownik może sprawdzić, czy jego aktywa znajdują się w węźle liścia.