Como verificar a prova de reservas: as três checagens que realmente provam algo

2026-09-20

Uma prova de reservas vale exatamente o que você consegue conferir, e conferíveis são exatamente três coisas: se o seu próprio saldo entrou na fotografia, se a raiz que você calcula a partir do seu arquivo de prova bate com a publicada pela corretora, e se a cobertura de reservas de cada ativo alcança 100%. Cada uma fecha um caminho diferente de engano, e uma plataforma que não deixa você rodar as três publicou uma afirmação, não uma prova.

As três checagens de uma prova de reservas: presença na árvore, coincidência da raiz e cobertura por ativo

O que uma prova de reservas de fato afirma

Uma prova de reservas é uma afirmação sobre um instante. A corretora tira uma fotografia de todos os saldos de usuários, constrói sobre eles uma estrutura criptográfica, publica um único hash que resume o conjunto inteiro e, à parte, mostra quanto mantém on-chain diante desses saldos.

A afirmação tem duas metades, e elas falham de formas diferentes. A metade do usuário diz que o seu saldo foi contado. A metade das reservas diz que existem ativos suficientes para cobrir o total contado. Separadas, servem de pouco, porque uma corretora pode contar todo mundo com honestidade e ainda assim ficar curta, ou manter de sobra e omitir em silêncio algumas contas grandes do total.

É por isso que as checagens são três e não uma. Cada uma fecha uma porta que as outras duas deixam aberta.

As três checagens e o que cada uma descarta

Checagem	O que você compara	O que ela descarta
Presença	Seu saldo e a folha do seu arquivo de prova	Que a corretora deixe sua conta fora do total
Coincidência da raiz	Seu hash calculado e a raiz publicada	Que a corretora altere a fotografia após publicar
Cobertura	Ativos on-chain diante dos passivos por moeda	Que conte com honestidade mas mantenha pouco demais

Nenhuma das três é opcional e nenhuma substitui outra. Se uma plataforma publica cobertura mas não dá prova por usuário, você não tem como saber se a sua conta estava no denominador. Se dá prova sem raiz, você tem aritmética sem nada com que confrontá-la.

Se o seu saldo está na árvore

A primeira checagem é a de presença, e é a única que só você pode fazer, porque só você sabe qual era o seu saldo. Entre na conta, abra o relatório de ativos, escolha o período de divulgação e rode a verificação que a plataforma oferece.

O que acontece por baixo vale entender, mesmo que o botão faça por você. A sua folha é um registro dos seus próprios saldos no instante da fotografia, passado por uma função hash. O seu arquivo de prova contém os hashes irmãos necessários para subir daquela folha até a raiz, nível a nível. A verificação refaz esse caminho.

Uma implementação bem feita faz isso localmente no seu navegador, usando apenas os dados que já estão na sua máquina e sem devolver os dados de verificação ao servidor. Essa propriedade importa: o sentido do exercício é conferir a corretora, então uma checagem que a corretora faz por você e cujo resultado ela informa não é a mesma coisa. A implementação da Bitbase e como rodá-la estão em como verificar a prova de reservas da Bitbase.

Se a raiz que você calcula bate com a publicada

A segunda checagem transforma a primeira em evidência. Recalcular o seu caminho dá uma raiz. Esse número precisa bater com duas coisas: a raiz registrada no seu próprio arquivo de prova e a raiz que a corretora publica na sua página pública de divulgação.

As duas comparações são necessárias. Bater só com o arquivo prova apenas que o arquivo é coerente consigo mesmo, algo que uma plataforma desonesta arranjaria sem esforço entregando um arquivo construído em torno de outra árvore. Bater com a raiz pública é o que amarra a sua conta ao conjunto mostrado a todo mundo.

Isso funciona por uma propriedade da estrutura, não por uma promessa. Mude qualquer saldo da árvore, acrescente uma conta ou remova uma, e a raiz sai completamente diferente. A corretora, portanto, não consegue editar a fotografia depois de publicar a raiz sem que a checagem de todos os usuários falhe ao mesmo tempo. A estrutura em si é explicada em o que é prova de reservas.

Se a cobertura chega a 100%

A terceira checagem sai da sua conta e vai para a plataforma inteira. A cobertura de reservas é o que está on-chain dividido pelos passivos com usuários, e 100% é a linha: nela ou acima, os ativos cobrem os saldos daquela moeda.

Leia por moeda, não em agregado. Uma corretora pode estar folgada numa moeda e curta em outra, e um número agregado esconde exatamente isso. Uma divulgação que reduz tudo o que custodia a um número só diz menos do que parece.

Leia também a lista de cobertura. Uma divulgação que abrange quatro ativos nada diz sobre o quinto: é limite de escopo, não defeito, mas só se você reparar. O que a cobertura estabelece e o que não estabelece do lado do passivo está em prova de reservas e passivos.

Fazer isso de forma independente e offline

A checagem de um clique é conveniente e mesmo assim roda dentro da página da própria corretora. Para uma checagem que, no momento em que você a executa, não dependa de nada que a corretora controle, baixe os dados de verificação e use um verificador de código aberto na sua própria máquina.

Um verificador aberto é a parte que transforma o exercício de cooperativo em adversarial. Você pode ler o que ele faz, rodá-lo sem rede e confirmar que a aritmética é a aritmética descrita. A Bitbase publica uma ferramenta assim e o formato de folha sobre o qual ela opera, o que significa que o caminho offline existe de fato, não em teoria.

Faça isso pelo menos uma vez. Depois de ver com os próprios olhos que o resultado offline bate com o da página, o botão conveniente é uma escolha razoável para os períodos seguintes.

O que uma checagem reprovada significa e o que não significa

Leia os resultados em ordem, porque a falha mais comum não é falha. Um aviso de que os seus ativos não estão na fotografia costuma significar que naquele instante você não tinha saldo nos ativos cobertos, o que acontece se o cadastro ou o depósito vieram depois; esses recursos entram no período seguinte.

Uma raiz que não bate é outra coisa, e é séria. Antes de escalar, confirme que comparou com a raiz publicada para o mesmo período, porque as divulgações são periódicas e as raízes diferem de um período para o outro. Se período, arquivo e raiz publicada estão alinhados e os hashes ainda diferem, a checagem está fazendo o trabalho dela.

Uma cobertura abaixo de 100% numa moeda é um terceiro tipo de achado, e fala da plataforma, não da sua conta. Diz que naquele instante os ativos não cobriam os saldos daquela moeda, que é exatamente a situação que a divulgação existe para tornar visível.

Em resumo

Verificar uma prova de reservas significa rodar três checagens e não aceitar nenhuma como substituta das outras. Confirme que o seu saldo está na árvore, que a raiz que você calcula bate com a publicada para aquele período, e que a cobertura de cada ativo coberto é de pelo menos 100%.

A pré-condição das três é que a corretora publique o que você precisa: um caminho de prova por usuário, uma raiz pública, coberturas por moeda e, de preferência, um verificador de código aberto para que o último passo não dependa do código dela. Faltando qualquer um, o que você tem diante de si é uma asserção. Com todos presentes, você resolve a questão sozinho em alguns minutos. Continue lendo os conteúdos da Bitbase Academy.

Leituras relacionadas

Outros artigos da Bitbase sobre este tema:

Aviso: Este artigo é conteúdo educacional da Bitbase Academy, fornecido apenas para fins informativos. Não constitui aconselhamento de investimento, negociação, tributário ou financeiro. Criptoativos são voláteis; avalie seu próprio risco. Escrito em setembro de 2026; consulte as informações oficiais mais recentes.