A Binance está empenhada em garantir que cada usuário tenha total transparência sobre a segurança de seus ativos. Você agora pode usar zk-SNARKs e Merkle Tree para verificar com precisão o Proof of Reserves da Binance e o saldo da sua conta.
Como verificar o saldo da sua conta usando zk-SNARKs e Merkle Tree?
1. Visite o site oficial da GitHub e baixe a ferramenta de verificação do repositório.
| Versão da ferramenta de verificação | Ciclo de verificação POR |
| 1.1.0 | 1º de outubro de 2024 até o momento |
| 1.0.2 | 1º de novembro de 2023 até 1º de setembro de 2024 |
| 1.0.1 | 1º de março de 2023 a 1º de outubro de 2023 |
| 1.0.0 | 1º de fevereiro de 2023 a 1º de fevereiro de 2023 |
| Verificação da Árvore de Merkle | 22 de novembro de 2022 a 22 de dezembro de 2022 |
2. Acesse a Binance.com e faça login em sua conta. Clique em [Perfil] - [Carteira] - [Verificação]. Em seguida, clique na seta para expandir os dados de verificação.
3. Procure as entradas da Merkle Tree e autoverificação e certifique-se de que o [Tipo de Verificação] é “Merkle Tree + Zksnarks”. Você verá os dados da sua conta. Clique em [Baixar a Merkle Tree] para salvar em seu computador.
Observe que o relatório é uma snapshot e não exibe os ativos em tempo real. Ele pode não corresponder à sua contagem atual de ativos.
4. Acesse a pasta da ferramenta de verificação. Para verificar o root hash, execute “./verifier_darwin_amd64” no MacOS, “./verifier_linux_amd64” no Linux, ou “./verifier_windows_amd64.exe” no Windows.
Pré-requisito:
Configure “config.json”,“proof.csv” e “zkpor864.vk.save” com o arquivo no formato zip e os coloque na pasta “PathToVerifierTool/config”.
Configuração:
- Configure o “ProofTable” para se referir ao arquivo de dados de prova zk-SNARKs gerado pelo verificador;
- Configure o “ZkKeyName” para mostrar a chave de verificação baixada dentro do pacote;
- “CexAssetInfo'' refere-se ao saldo total do cliente de todos os tokens listados na Binance (incluindo todos os ativos verificáveis e não verificáveis). Pode ser verificado usando a prova zk-SNARKs listada. Você pode fazer uma verificação cruzada dos ativos na Proof of Reserves da Binance. Todos os saldos e preços são 10^8 exceto para BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS e NEIRO (10^2).
5. Para verificar as informações da sua conta, utilize “./verifier_darwin_amd64 -user” no MacOS ou “./verifier_linux_amd64 -user” no Linux, “./verifier_windows_amd64.exe -user” no Windows.
Pré-requisito:
Baixe/Configure “user_config.json”. Ele é gerado especificamente com base nos dados da conta do usuário durante o snapshot. Você pode encontrá-lo no arquivo zip que você baixou. Coloque-o na pasta “PathToVerifierTool/config”.
Configuração:
- “AccountIndex”: Localize a Merkle Leaf com a Merkle Tree;
- “AccountIdHash” - “Record ID”: Identifica a conta de cada usuário na Binance. Você pode encontrar as informações da sua conta na página [Verificação].
- “TotalEquity”: O valor total dos holdings do usuário (em USD); Os Valores estão em 10^16
- “TotalDebt”: O valor total do empréstimo do usuário (em USD); O Valor está em 10^16
- “Assets”: Os ativos do usuário no snapshot. Você pode consultar os ativos equivalentes aos índices baixando a lista de modelos de ativos na etapa 2 (consulte “Asset_List.csv” para identificar o token pelo índice). Os saldos dos ativos são 10^8 exceto para BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS e NEIRO (10^2).
- “Root”: Merkle root hash do exercício de verificação. Ele é usado para verificar as informações do usuário com as informações do Merkle path dos mesmos root hashes.
- “Proof”: O Merkle path que pertence ao usuário.
Para obter mais informações sobre como funciona o zk-SNARKs, consulte:
- Melhorando a Transparência das Criptomoedas com Zero-Knowledge Proof
- Como os zk-SNARKs melhoram o sistema de Proof-of-Reserves da Binance
Se você tiver alguma sugestão, pode enviar seu feedback aqui.