Proof of Reserves
Verifica se os ativos dos usuários da Binance estão totalmente garantidos por reservas em uma proporção de 1:1. Observe que a grande maioria das participações corporativas (holdings) da Binance está armazenada em carteiras que não são consideradas para os cálculos de comprovação de reservas (proof-of-reserves).
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 pelo menos um Bitcoin para garantir que os fundos do cliente estejam atrelados e totalmente garantidos. É importante notar que isso não inclui os holdings corporativos da Binance, que são mantidos em um ledger totalmente separado.
O que isso significa em termos reais é que a Binance mantém todos os ativos do usuário em uma proporção 1:1 (assim como algumas reservas), temos dívida zero em nossa estrutura de capital e nos certificamos de ter um fundo de emergência (fundo SAFU) para casos extremos.
Continue lendo para ver mais informações sobre o que construímos para permitir que as pessoas verifiquem se seus fundos estão seguros com a Binance.
Quando um usuário deposita um Bitcoin, as reservas da Binance aumentam em pelo menos um Bitcoin para garantir que os fundos do cliente estejam atrelados e totalmente garantidos. É importante notar que isso não inclui os holdings corporativos da Binance, que são mantidos em um ledger totalmente separado.
O que isso significa em termos reais é que a Binance mantém todos os ativos do usuário em uma proporção 1:1 (assim como algumas reservas), temos dívida zero em nossa estrutura de capital e nos certificamos de ter um fundo de emergência (fundo SAFU) para casos extremos.
Continue lendo para ver mais informações sobre o que construímos para permitir que as pessoas verifiquem se seus fundos estão seguros com a 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 tem todos os ativos do usuário 1:1, construímos e implementamos a árvore de Merkle (mostrada abaixo) para permitir que as pessoas verifiquem seus ativos dentro da plataforma. Nosso objetivo é que cada usuário possa verificar seus ativos usando seu próprio ID de hash/registro Merkle gerado. Dessa forma, as pessoas poderão confirmar que seus fundos são mantidos em uma proporção 1:1 e podem ser verificados por uma agência de auditoria terceirizada.
O que é uma Árvore de Merkle?
Uma Árvore de Merkle é uma ferramenta criptográfica que permite a consolidação de grandes quantidades de dados em um único hash. Esse único hash, chamado de Raíz de Merkle (Merkle Root), atua 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 conteúdos específicos que foram incluídos em um determinado conjunto de dados "fechados". Usamos essas propriedades das Árvores de Merkle durante nossas avaliações de Comprovante de Reservas (Proof of Reserves) para verificar se as contas de usuários individuais estão incluídas no relatório de passivos inspecionado pelo auditor.
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 ativos de um usuário são incluídos no cálculo da soma dos saldos líquidos totais do usuário com a Binance.
2. O saldo líquido total do usuário é maior ou igual a zero.
3. A alteração da Merkle tree root é válida (ou seja, não está usando informações falsificadas) após atualizar as informações de um usuário para o hash do node leaf.
Aqui estão alguns recursos úteis: blog, especificação técnica e nosso código-fonte para o circuito (restrições) para saber os detalhes de implementação.
O que é um zk-SNARK?
Um 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 do Registro/Merkle Leaf permite que você verifique de forma independente se o saldo da sua conta foi incluído no relatório de atestado pelo auditor terceirizado.
