Em poucas palavras Para consultar seu saldo no snapshot da Prova de Reservas da Binance, localize o registro em Verificação e baixe os dados da conta. Este guia explica os arquivos, campos e comandos para preparar a verificação; não cobre a obtenção do pacote da prova do relatório nem a interpretação final das saídas do verificador. O snapshot não representa seu saldo atual nem garante proteção dos fundos.
O que a Prova de Reservas permite verificar
A Binance descreve a Prova de Reservas como evidência de cobertura dos ativos sob custódia. No Binance Proof of Reserves, identifique a data e o horário UTC do relatório. O registro individual, os totais de clientes e as reservas publicadas são informações distintas.
O snapshot é um retrato daquele instante. Exemplo hipotético: você tinha 0,10 BTC na captura e depositou 0,02 BTC depois. Sem outras movimentações, o saldo atual seria 0,12 BTC, mas aquele registro continuaria mostrando 0,10 BTC.
Onde encontrar os dados da sua conta
Entre no site oficial e acesse Profile > Wallet > Verification. Expanda os dados pela seta e localize uma entrada com Verification Type igual a “Merkle Tree + Zksnarks”. Clique em Download Merkle Tree para baixar os dados.
O guia How to Verify Your Account Balance on Binance documenta esse caminho na web. Localize também o Record ID, identificador da conta, e associe o registro ao mesmo ciclo do relatório público.
Como identificar os ativos e interpretar suas unidades
No arquivo user_config.json, o campo Assets contém os ativos da conta no snapshot. Use Asset_List.csv para associar cada índice ao token. Essa lista não equivale, por si só, à cobertura de reservas verificáveis exibida no painel público.
Para interpretar os valores, divida os saldos por 10^8; a exceção usa 10^2: BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS e NEIRO. TotalEquity, TotalDebt e TotalCollateral representam, respectivamente, posses, dívida e garantia em USD, com escala de 10^16.
Qual versão do verificador usar
Baixe a ferramenta pelo repositório oficial indicado no guia. Cruze sistema operacional, ciclo do snapshot e versão na tabela de compatibilidade. Por exemplo, ela associa a versão 1.0.2 aos ciclos de novembro de 2023 a setembro de 2024. A versão mais nova não é automaticamente a correta.
As instruções seguem o guia em inglês atualizado em 02/11/2026, não uma execução independente nem garantia de disponibilidade atual. A tabela separa o procedimento legado de novembro e dezembro de 2022 do fluxo combinado; os comandos abaixo são os documentados para este último.
Preparação documental: arquivos da prova do relatório
O guia relaciona config.json, proof.csv e zkpor864.vk.save em um ZIP como pré-requisitos na pasta config do verificador. Em config.json, ProofTable deve apontar para a prova zk-SNARKs e ZkKeyName para a chave de verificação do pacote. Essa é a estrutura a conferir, não um roteiro completo de obtenção da prova de um ciclo.
O campo CexAssetInfo representa os saldos totais de clientes dos tokens, incluindo ativos verificáveis e não verificáveis. Para os ativos verificáveis, compare os totais com o painel do mesmo relatório. Não misture arquivos de ciclos diferentes: a prova e a raiz precisam corresponder ao snapshot escolhido.
Comandos documentados para a prova do relatório
Na pasta da ferramenta, os comandos do guia em inglês são ./verifier_darwin no macOS, ./verifier_linux no Linux ou ./verifier_windows no Windows. Compare a raiz utilizada com a publicada para o mesmo ciclo.
Nota sobre o alcance das instruções: o caminho de download do pacote da prova de cada ciclo e os indicadores de sucesso, prova inválida ou erro de execução não estão detalhados aqui. O download individual não deve ser presumido como esse pacote. Para concluir qualquer validação, é necessário obter essas informações na documentação da versão compatível. Confira também o nome e a arquitetura do binário: o guia em português usa _amd64 e .exe no Windows, inclusive com -user. Executar comandos ou comparar a raiz não basta para declarar prova ou inclusão validada.
A explicação técnica da Binance, datada de 10/02/2023 no cabeçalho do blog, atribui aos zk-SNARKs duas checagens: a contribuição de todas as folhas aos totais declarados por ativo e o saldo líquido total não negativo por conta. Isso não exige saldo positivo em cada token. A árvore de Merkle permite testar a inclusão individual.
Preparação dos dados e comando de inclusão individual
Coloque na pasta config o user_config.json do pacote da sua conta. AccountIndex indica a posição da folha; AccountIdHash corresponde ao Record ID. Root é a raiz do exercício e Proof é o caminho de Merkle da conta. Ambos precisam pertencer ao mesmo relatório.
O guia documenta ./verifier_darwin -user no macOS, ./verifier_linux -user no Linux ou ./verifier_windows -user no Windows, com o nome do binário ajustado à release. Essa é a execução destinada à verificação dos dados individuais. Exemplo hipotético de leitura do arquivo: um saldo BTC codificado como 10000000, dividido por 10^8, representa 0,10 BTC.
O que um resultado válido comprova — e o que não comprova
Inclusão validada significa que os dados verificados correspondem à árvore daquele snapshot. Diferença para o saldo atual pede comparação de datas e movimentações posteriores. Erro pede revisão da versão, dos arquivos e da raiz antes de concluir exclusão. Se a raiz estiver em processamento, falta essa referência para comparação.
A inclusão individual, as restrições criptográficas e os indicadores de reservas respondem a perguntas diferentes. Nenhum deles, isoladamente, garante proteção dos fundos ou saques futuros. Um percentual acima de 100% tampouco mede todo o patrimônio próprio da Binance, como o painel ressalta.
Fontes consultadas
How zk-SNARKs Improve Binance’s Proof of Reserves System | Binance Blog
Conclusão
Comece pelo ciclo desejado: identifique o relatório, baixe os dados da conta e selecione a ferramenta compatível. Os campos e comandos apresentados ajudam a preparar a verificação, mas não encerram a validação da prova ou da inclusão individual. Mantenha arquivos e raiz vinculados ao mesmo snapshot e observe a nota sobre os requisitos para concluir os testes. A evidência se refere àquele instante.
Isenção de Responsabilidade: Conteúdo puramente educacional/informativo, sem aconselhamento de investimento.