Binance dąży do zapewnienia każdemu użytkownikowi pełnej przejrzystości w zakresie bezpieczeństwa i ochrony jego aktywów. Przy użyciu zk-SNARKs i Drzewa Merkle można dokładnie zweryfikować Proof of Reserves Binance oraz saldo swojego konta.
Jak zweryfikować stan konta za pomocą zk-SNARKs i Drzewa Merkle?
1. Wejdź na oficjalną stronę na GitHubie i pobierz narzędzie weryfikatora z repozytorium.
| Wersja narzędzia weryfikującego | Cykl weryfikacji PoR |
| 1.1.0 | od 1 paź 2024 do dzisiaj |
| 1.0.2 | od 1 lis 2023 do 1 wrz 2024 |
| 1.0.1 | Od 1 marca 2023 r. do 1 października 2023 r. |
| 1.0.0 | Od 1 lutego 2023 r. do 1 lutego 2023 r. |
| Weryfikacja drzewa Merkle | Od 22 listopada 2022 r. do 22 grudnia 2022 r. |
2. Wejdź na stronę Binance.com i zaloguj się na konto. Przejdź do menu [Profil] – [Portfel] – [Weryfikacja]. Następnie kliknij strzałkę, aby rozwinąć dane weryfikacyjne.
3. Poszukaj samoweryfikacyjnych wpisów Drzewa Merkle i sprawdź, czy opcja [Rodzaj Weryfikacji] to „Merkle Tree + Zksnarks”. Pojawią się dane Twojego konta. Kliknij opcję [Pobierz Drzewo Merkle] i zapisz je na swoim komputerze.
Należy pamiętać, że raport stanowi snapshot, a nie odzwierciedlenie bieżących aktywów. Może nie pasować do Twojej obecnej liczby aktywów.
4. Przejdź do folderu narzędzi weryfikatora. Aby sprawdzić korzeń (root hash), uruchom "./verifier_darwin_amd64" na MacOS, "./verifier_linux_amd64" na Linuksie lub "./verifier_windows_amd64.exe" na Windowsie.
Warunek wstępny:
Umieść pliki „config.json”, „proof.csv” oraz „zkpor864.vk.save” w pliku zip i umieść w folderze „PathToVerifierTool/config”.
Konfiguracja:
- Ustaw parametr „ProofTable” tak, aby odwoływał się do pliku z danymi potwierdzenia zk-SNARKs wygenerowanego przez przeprowadzającego dowód;
- Ustaw parametr „ZkKeyName” tak, aby wskazywał na klucz weryfikujący pobrany w ramach pakietu;
- Parametr „CexAssetInfo” odnosi się do całkowitego salda klienta we wszystkich tokenach notowanych na Binance (łącznie ze wszystkimi aktywami weryfikowalnymi i nieweryfikowalnymi). Można to sprawdzić za pomocą podanego potwierdzenia zk-SNARKs. Można dokonać kontroli porównawczej z weryfikowalnym aktywem w Dowodzie rezerw Binance. Wszystkie salda i ceny wynoszą 10^8 z wyjątkiem BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS i NEIRO (10^2).
5. Aby zweryfikować informacje o koncie, uruchom "./verifier_darwin_amd64 -user" w systemie MacOS lub "./verifier_linux_amd64 -user" w systemie Linux, "./verifier_windows_amd64.exe -user" w systemie Windows.
Warunek wstępny:
Pobierz/Ustaw plik „user_config.json”. Jest on generowany konkretnie na podstawie danych konta użytkownika podczas snapshota. Można go znaleźć w pobranym pliku zip. Umieść go w folderze „PathToVerifierTool/config”.
Konfiguracja:
- „AccountIndex”: Lokalizacja Liścia Merkle w ramach Drzewa Merkle;
- „AccountIdHash” - „Record ID”: identyfikacja konta każdego użytkownika w ramach platformy Binance. Informacje na temat swojego konta można znaleźć na stronie [Weryfikacja].
- „TotalEquity”: Całkowita wartość udziału użytkownika (w USD); Wartości podane są w 10^16
- „TotalDebt”: Całkowita wartość zaciągniętych pożyczek użytkownika (w USD); Wartości podane są w 10^16
- „Assets”: aktywa użytkownika w snapshocie. Można się odwołać do aktywów odpowiadających indeksom w ramach listy szablonów aktywów pobranej w kroku 2 (patrz: „Asset_List.csv” w celu zidentyfikowania tokena po indeksie). Salda aktywów wynoszą 10^8 z wyjątkiem BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS i NEIRO (10^2).
- „Root”: Korzeń Merkle ćwiczenia weryfikacyjnego. Służy do porównywania informacji o użytkowniku z informacjami o ścieżce Merkle z tych samych korzeni.
- „Proof”: Ścieżka Merkle, która należy do użytkownika.
Więcej informacji na temat działania zk-SNARKs, patrz:
- Poprawa Przejrzystości Krypto Dzięki Dowodowi z Wiedzą Zerową
- Jak zk-SNARKs Polepszają System Proof-of-Reserves Binance
Wszelkie opinie można przesyłać tutaj.