Podstawową zasadą Binance jest przejrzystość. W tym duchu możesz zweryfikować saldo swojego konta za pomocą zk-SNARK i drzewa Merkle. Oto, co musisz zrobić;
Przejdź na oficjalną stronę GitHub i pobierz narzędzie weryfikacyjne z repozytorium oprogramowania.
Narzędzie do weryfikacji: https://github.com/binance/zkmerkle-proof-of-solvency/releases/tag/v1.0.0
Wejdź na Binance.com i zaloguj się na swoje konto. Kliknij [Profil] - [Portfel] - [Weryfikacja]. Następnie kliknij strzałkę, aby rozwinąć dane weryfikacyjne.
3. Poszukaj samoweryfikujących się wpisów Merkle Tree i upewnij się, że [Typ weryfikacji] to „Merkle Tree + Zksnarks”. Zobaczysz dane swojego konta. Kliknij [Pobierz drzewo Merkle], aby zapisać je na swoim komputerze.
Należy pamiętać, że raport jest migawką i nie odzwierciedla zasobów w czasie rzeczywistym. Może nie odpowiadać liczbie dostępnych zasobów.

4. Przejdź do folderu narzędzia weryfikacyjnego. Aby zweryfikować skrót główny, wpisz i uruchom „./verifier_darwin_amd64” w systemie MacOS, „./verifier_linux_amd64” w systemie Linux lub „./verifier_windows_amd64.exe” w systemie Windows.
Warunek wstępny:
Zainstaluj pliki „config.json”, „proof.csv” i „zkpor864.vk.save” w pliku zip i umieść je w folderze „PathToVerifierTool/config”.
Organizować coś:
Zainstaluj plik „ProofTable”, aby sprawdzić plik danych kontrolnych zk-SNARK wygenerowanych przez rester.
Zainstaluj plik „ZkKeyName” reprezentujący klucz weryfikacyjny pobrany w pakiecie „CexAssetInfo” odnosi się do całkowitego salda klienta wszystkich tokenów wymienionych na Binance (w tym wszystkich weryfikowalnych i nieweryfikowalnych aktywów).
Można zweryfikować za pomocą dowodu znajdującego się na liście zk-SNARK. Możesz sprawdzić krzyżowo weryfikowalne aktywa w sekcji Dowód rezerwy Binance. Wszystkie salda i ceny są w formacie 10^8 z wyjątkiem BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT i DOGE (10^2).


5. Aby zweryfikować informacje o swoim koncie, użyj formatu „./verifier_darwin_amd64 -user” w systemie MacOS, „./verifier_linux_amd64 -user” w systemie Linux lub „./verifier_windows_amd64.exe -user” w systemie Windows.
Warunek wstępny:
Pobierz/zainstaluj plik „user_config.json”. Plik ten jest tworzony specjalnie na podstawie danych konta użytkownika podczas tworzenia migawki. Znajdziesz go w pobranym pliku ZIP. Umieść plik w folderze „PathToVerifierTool/config”.
Organizować coś:
„AccountIndex”: Pozycja Liścia Merkle w Drzewie Merkle.
„AccountIdHash” – „Account ID”: Identyfikuje konto każdego użytkownika na Binance. Informacje o koncie znajdziesz na stronie [Weryfikacja].
„TotalEquity”: Całkowita wartość salda użytkownika (w USD); Wartości są w formacie 10^16.
„TotalDebt”: Całkowita wartość pożyczona przez użytkownika (w USD); Wartości są w formacie 10^16.
Assets": Aktywa użytkownika w migawce. Możesz szukać aktywów odpowiadających indeksom na liście szablonów aktywów pobranej w kroku 2. (patrz plik „Asset_List.csv”, aby zdefiniować token według indeksu). BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT i salda aktywów są w formacie 10^8, z wyjątkiem DOGE (10^2).
„Root”: Główny skrót Merkle procesu weryfikacji. Służy do sprawdzania informacji o użytkowniku za pomocą informacji o ścieżce Merkle z tych samych skrótów głównych.
„Dowód”: Jest to ścieżka Merkle użytkownika.


