Основной принцип Binance — прозрачность. В этом духе вы можете проверить баланс своего счета с помощью zk-SNARK и дерева Меркла. Вот что вам нужно сделать;
Перейдите на официальный сайт GitHub и загрузите инструмент проверки из репозитория программного обеспечения.
Инструмент проверки: https://github.com/binance/zkmerkle-proof-of-solvency/releases/tag/v1.0.0
Перейдите на Binance.com и войдите в свою учетную запись. Нажмите [Профиль] — [Кошелек] — [Верификация]. Затем щелкните стрелку, чтобы развернуть данные проверки.
3. Найдите самопроверяемые записи дерева Меркла и убедитесь, что [Тип проверки] — «Дерево Меркла + Zksnarks». Вы увидите данные своей учетной записи. Нажмите [Загрузить Merkle Tree], чтобы сохранить его на свой компьютер.
Обратите внимание, что отчет представляет собой моментальный снимок и не отражает состояние активов в реальном времени. Оно может не соответствовать текущему количеству активов.

4. Перейдите в папку «Инструмент проверки». Чтобы проверить корневой хеш, введите и запустите «./verifier_darwin_amd64» на MacOS, «./verifier_linux_amd64» на Linux или «./verifier_windows_amd64.exe» на Windows.
Предварительное условие:
Установите файлы «config.json», «proof.csv» и «zkpor864.vk.save» в zip-файл и поместите их в папку «PathToVerifierTool/config».
Настраивать:
Настройте файл «ProofTable» для проверки файла данных проверки zk-SNARK, созданного реставратором.
Установите файл «ZkKeyName», чтобы отобразить проверочный ключ, загруженный в пакете. «CexAssetInfo» относится к общему балансу клиентов по всем токенам, представленным на Binance (включая все проверяемые и непроверяемые активы).
Это можно проверить, используя перечисленные доказательства zk-SNARKs. Вы можете сверить данные с проверяемым активом в разделе «Доказательство резерва» на Binance. Все балансы и цены указаны в формате 10^8, за исключением BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT и DOGE (10^2).


5. Чтобы проверить данные своей учетной записи, используйте формат «./verifier_darwin_amd64 -user» в MacOS, «./verifier_linux_amd64 -user» в Linux или «./verifier_windows_amd64.exe -user» в Windows.
Предварительное условие:
Загрузите/установите файл «user_config.json». Этот файл специально создается на основе данных учетной записи пользователя на момент создания снимка. Вы можете найти его в загруженном вами zip-файле. Поместите файл в папку «PathToVerifierTool/config».
Настраивать:
«AccountIndex»: положение листа Меркла в дереве Меркла.
«AccountIdHash» — «Код учетной записи»: идентифицирует учетную запись каждого пользователя на Binance. Информацию о вашей учетной записи вы можете найти на странице [Проверка].
«TotalEquity»: общая стоимость баланса пользователя (в долларах США); Значения указаны в формате 10^16.
«TotalDebt»: общая сумма, взятая в долг пользователем (в долларах США); Значения указаны в формате 10^16.
«Активы»: Активы пользователя в снимке. Вы можете найти активы, эквивалентные индексам, в списке шаблонов активов, загруженном на шаге 2 (см. файл «Asset_List.csv», чтобы определить токен по индексу). Балансы активов указаны в формате 10^8, за исключением BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT и DOGE (10^2).
«Root»: хеш корня Меркла для транзакции проверки. Он используется для проверки информации о пользователе с помощью информации о пути Меркла из тех же корневых хэшей.
«Доказательство»: Путь Меркла пользователя.


