Comprovativo de Reservas

Verifica se todos os saldos de conta na Binance estão totalmente apoiados numa proporção de 1:1.

Audit Time

Mecanismo de Verificação:

Hash da Raíz de Merkle:

O que é o Comprovativo de Reservas (CdR)?

Quando indicamos Comprovativo de Reservas, estamos a referir-nos especificamente aos ativos que detemos em custódia para os utilizadores. Isto significa que estamos a mostra evidências e comprovativos de que a Binance tem fundos que cobrem todos os ativos dos nossos utilizadores num rácio de 1:1, bem como algumas reservas.

Quando um utilizador deposita um Bitcoin, as reservas da Binance aumentam em um Bitcoin para garantir que os fundos dos clientes estão totalmente apoiados.

Isto significa que a Binance mantém todos os ativos dos utilizadores numa proporção de 1:1, incluindo as reservas. A Binance não tem qualquer dívida na nossa estrutura de capital e temos um fundo de emergência (fundo SAFU) para casos extremos, como ataques de hackers ou violações de segurança.

Lê mais para encontrares informações adicionais sobre o que desenvolvemos para permitir que os utilizadores verifiquem que os seus fundos estão seguros na Binance.

O nosso compromisso para com a nossa comunidade mantém-se igual ao que sempre foi

Transparência

Seremos sempre transparentes com os nossos utilizadores

Segurança

A segurança dos fundos dos nossos utilizadores é uma prioridade para nós

Protegido

Os teus fundos estão protegidos

Árvore de Merkle

O que construímos?

Para demonstrar que a Binance mantém todos os ativos dos utilizadores com cobertura 1:1, desenvolvemos e implementámos uma Merkle Tree (árvore de Merkle) (apresentada abaixo) para permitir que os utilizadores verifiquem se os seus ativos estão incluídos no saldo líquido agregado da conta. O nosso objetivo é que cada utilizador possa verificar autonomamente a cobertura 1:1 dos seus ativos, utilizando o seu próprio hash de Merkle/ID de registo gerado.

O que é uma Árvore de Merkle?

Uma Merkle Tree é uma ferramenta criptográfica que permite consolidar grandes volumes de dados num único hash. Este hash único, chamado Merkle Root, funciona como um selo criptográfico que “resume” todos os dados inseridos. Além disso, as Merkle Trees permitem aos utilizadores verificar se conteúdos específicos foram incluídos num determinado conjunto de dados “selados”. Utilizamos estas propriedades das Merkle Trees nas nossas avaliações de Comprovativo de reservas para verificar se contas individuais estão incluídas no relatório de passivos, validado pelo nosso mecanismo zk-SNARKs.

zk-SNARKs

O que construímos?

Ao ser utilizado um zk-SNARK, uma exchange de criptomoedas pode provar que todos os conjuntos de saldos dos nós de folha das árvores de Merkle (ou seja, os saldos de conta dos utilizadores) contribuem para o saldo total de ativos dos utilizadores reivindicados pela plataforma. Cada utilizador pode aceder facilmente aos seus nós de folha como tendo sido incluídos no processo. Para cada conjunto de saldo dos utilizadores (nó de folha da árvore de Merkle), o nosso circuito garante que:

Os saldos de conta de um utilizador são incluídos no cálculo da soma dos saldos líquidos totais das contas na Binance.

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

3. A alteração da raiz da árvore Merkle é válida (ou seja, não utiliza informações falsificadas) após atualizar as informações da conta para o hash do nó folha.

Aqui encontras alguns recursos úteis:

blogue

especificações técnicas

e o

nosso código fonte

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

O que é um zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) é um protocolo comprovativo que segue os princípios de conhecimento zero anteriormente delineados. Através de um

zk-SNARK

, podes provar que conheces o valor de hash original (discutido abaixo com maior profundidade) sem que o valor seja revelado. Também podes provar a validade de uma

transação

sem revelar quaisquer informações acerca dos montantes, valores ou endereços envolvidos específicos.

Como funciona

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

Inicia sessão no sítio Web da Binance

-> Clica em “Carteira”

-> Clica em “Verificação”

Poderás encontrar a tua Folha de Merkle e ID de Registo dentro da página.

Seleciona a data da verificação que pretendes consultar. Depois encontrarás a confirmação do tipo de verificação, o teu ID de Registo (específico para a tua conta e para esta auditoria em particular), os ativos que foram cobertos e os teus saldos de ativos no momento da verificação.

O ID de registo/Merkle Leaf permite que verifique de forma independente que o teu saldo foi incluído no relatório de responsabilidades através do nosso método de autoverificação.

Processo de Verificação

1. Verificar a Titularidade do Endereço

Para os ativos que são utilizados para verificar as reservas, devemos garantir que a Binance é titular da carteira (incluindo as carteiras offline e online).

2. Instantâneo dos Saldos dos Utilizadores

O valor do instantâneo é calculado com base nas participações em ativos incluídos nos saldos da conta do cliente à data e hora do instantâneo.

3. Gerar Comprovativo de zk-SNARK

Geramos ficheiros de comprovativos de zk-SNARK para os utilizadores para que cada utilizador possa aceder facilmente ao respetivo nó da folha, oferecendo transparência a todos os utilizadores.

4. Criação de uma Árvore de Merkle

Geramos o bloco de dados subjacente ao associar o UID com hash e o saldo de cada utilizador. Em seguida, geramos uma árvore de Merkle com base nos dados de todos os utilizadores. A raiz de Merkle mudará se qualquer ID ou saldo da conta no nó da folha mudar. Cada utilizador pode verificar se os seus ativos estão incluídos no nó da folha.