Proof of Reserves

Verifique se todos os saldos das contas Binance estão totalmente atrelados na proporção de 1:1.

Audit Time

Mecanismo de verificação:

Merkle Root Hash:

O que é Proof of Reserves (PoR)?

Quando dizemos Proof of Reserves, estamos nos referindo especificamente aos ativos que mantemos sob custódia para os usuários. Isso significa que estamos mostrando evidências e provas de que a Binance possui fundos que cobrem todos os ativos dos nossos usuários em uma proporção 1:1, bem como algumas reservas.

Quando um usuário deposita um Bitcoin, as reservas da Binance aumentam em um Bitcoin para garantir que os fundos dos clientes estejam totalmente atrelados.

Isso significa que a Binance mantém todos os ativos dos usuários na proporção de 1:1, incluindo reservas. A Binance não possui dívidas em sua estrutura de capital e conta com um fundo de emergência (Secure Asset Fund for Users - SAFU) para casos extremos, como invasões ou falhas de segurança.

Continue lendo para encontrar informações adicionais sobre o que desenvolvemos para permitir que os usuários verifiquem que seus fundos estão seguros na Binance.

Nosso compromisso com a nossa comunidade continua o mesmo de sempre

Transparência

Seremos sempre transparentes com nossos usuários

Segurança

A segurança dos fundos dos usuários é prioridade para nós

Protegido

Seus fundos estão seguros

Árvore de Merkle

O que nós construímos?

Para mostrar que a Binance possui todos os ativos dos usuários atrelados 1:1, desenvolvemos e implementamos uma Árvore de Merkle (exibida abaixo) para permitir que os usuários verifiquem se seus ativos estão incluídos no saldo líquido agregado da conta. Nosso objetivo é que cada usuário possa verificar o lastreamento 1:1 de seus ativos utilizando seu próprio hash de Merkle/ID de registro gerado.

O que é uma Árvore de Merkle?

Uma Árvore de Merkle é uma ferramenta criptográfica que permite consolidar grandes volumes de dados em um único hash. Esse hash único, chamado de Raiz de Merkle, funciona como um selo criptográfico que “resume” todos os dados inseridos. Além disso, as Árvores de Merkle oferecem aos usuários a capacidade de verificar se determinados conteúdos foram incluídos em um conjunto específico de dados “selados”. Utilizamos essas propriedades das Árvores de Merkle em nossas avaliações de Prova de Reservas para verificar se contas individuais estão incluídas no relatório de passivos, validadas pelo nosso mecanismo de zk-SNARKs.

zk-SNARKs

O que nós construímos?

Ao usar um zk-SNARK, uma corretora de criptomoedas pode provar que todos os conjuntos de saldo dos nodes leaf da Merkle tree (ou seja, saldos das contas dos usuários) contribuem para o saldo total de ativos do usuário reivindicado pela corretora. Cada usuário pode acessar facilmente seu node leaf como tendo sido incluído no processo. Para o conjunto de saldo de cada usuário (node leaf da Merkle tree), nosso circuito garante que:

1. Os saldos de conta do usuário são incluídos no cálculo da soma do saldo líquido total das contas na Binance.

2. O saldo líquido total da conta é maior ou igual a zero.

3. A alteração do root (raiz) da Árvore de Merkle é válida (ou seja, não utiliza informações falsificadas) após a atualização das informações da conta para o hash do node leaf (folha).

Aqui estão alguns recursos úteis:

blog

especificação técnica

nosso código-fonte

para o circuito (restrições) para saber os detalhes de implementação.

O que é um zk-SNARK?

zk-SNARK

(Zero-Knowledge Succint Non-Interactive Argument of Knowledge) é um protocolo de prova que segue os princípios de conhecimento zero descritos anteriormente. Com um

zk-SNARK

, você pode provar que conhece o valor de hash original (discutido mais abaixo) sem revelar qual é esse valor. Você também pode provar a validade de uma

transação

sem revelar qualquer informação sobre os valores ou endereços específicos envolvidos.

Como funciona

Como posso verificar minhas próprias transações?

Faça o login no Site da Binance

-> Clique em "Carteira"

-> Clique em “Verificação”

Você poderá encontrar seu Merkle Leaf e ID de registro na página.

Selecione a data de verificação desejada. Você encontrará a confirmação do tipo de verificação, seu ID de Registro (específico para a sua conta e essa verificação), os ativos que foram cobertos e os saldos de seus ativos no momento da verificação.

O ID de registro/Folha de Merkle permite que você verifique de forma independente se o saldo da sua conta foi incluído no relatório de passivos por meio do nosso método de autoverificação.

Processo de Verificação

1. Verifique a Propriedade do Endereço

Para ativos usados para verificar reservas, devemos garantir que a propriedade da carteira pertença à Binance (incluindo cold e hot wallet).

2. Snapshot dos Saldos do Usuário

The snapshot value is calculated based on the asset holding within the customer's account balances at the date and time of the snapshot.

3. Gerar prova zk-SNARKs

Geramos arquivos de prova zk-SNARKs para os usuários, para que cada um deles possa acessar facilmente seu leaf node, proporcionando transparência a todos os usuários.

4. Geração da Árvore de Merkle

Geramos o bloco de dados subjacente vinculando o ID de Usuário e o saldo de cada usuário ao hash. Em seguida, geramos uma árvore de Merkle com base nos dados de todos os usuários. A Merkle root será alterada se qualquer ID de conta ou saldo no leaf node for alterado. Cada usuário pode verificar se seus ativos estão incluídos no leaf node.