A Binance, a maior bolsa de criptomoedas do mundo, divulgou seu relatório de reservas de agosto de 2023, mostrando que as taxas de reserva para todos os seus principais ativos em criptomoedas estão bem acima de 100%.
A divulgação faz parte do compromisso contínuo da Binance de manter um sistema de Prova de Reservas (PoR), fornecendo evidências de que possui fundos suficientes para cobrir todos os depósitos de clientes. O relatório é baseado em uma auditoria da altura do bloco BTC 801130 (dados agregados atualizados até 1º de agosto de 2023).
Prova de Reservas (PoR) é um protocolo transparente para confirmar a solvência de bolsas de criptomoedas. Sua função é provar que a exchange tem fundos suficientes para cobrir os ativos do usuário na proporção de 1:1. Basicamente, quando um usuário deposita Bitcoin, as reservas da Binance são aumentadas em pelo menos um Bitcoin, garantindo que todos os fundos do cliente sejam totalmente garantidos. Esses números não incluem as participações corporativas da Binance, que são separadas.
O relatório PoR da Binance mostra que as reservas da exchange são significativamente maiores do que os saldos líquidos dos clientes para todas as criptomoedas relatadas, incluindo Bitcoin, Ethereum, Binance Coin, Tether, BUSD e USDC, com taxas de reserva variando de 101,62% a 117,99%. Isso sugere que a empresa tem reservas suficientes para atender a todos os potenciais saques de clientes.
O PoR visa melhorar a transparência, a segurança e a proteção do usuário no ecossistema de criptomoedas. Dessa forma, evita-se que as exchanges utilizem indevidamente os fundos dos usuários e promove-se a confiança entre eles. Com isso, os usuários da Binance podem verificar por si mesmos se suas contas foram incluídas na última validação do PoR, enfatizando ainda mais o compromisso da exchange com a transparência e a confiança do usuário.
Como a Prova de Reserva (PoR) funciona com árvores Merkle
Para garantir que todos os ativos do usuário sejam mantidos em uma proporção de 1:1, a Binance implementou um sistema que utiliza árvores Merkle. Uma árvore Merkle é uma ferramenta criptográfica que ajuda a compactar grandes quantidades de dados em um único valor de hash, chamado de raiz Merkle. Essa raiz atua como um "selo" criptográfico que resume todos os dados de entrada. Além disso, as árvores Merkle permitem que os usuários verifiquem o conteúdo específico contido em um conjunto particular de dados selados.
No contexto do PoR, a Binance usa as propriedades das Árvores Merkle para verificar se as contas de usuários individuais estão incluídas nos relatórios de responsabilidade revisados pelos auditores. Cada usuário pode verificar seus ativos usando seu ID de registro/hash Merkle gerado exclusivamente.
Aqui está uma análise passo a passo do processo:
Verificar a propriedade do endereço: a Binance primeiro verifica se a propriedade das carteiras (carteiras frias e quentes) usadas no processo de PoR pertence à exchange.
Instantâneo do saldo do usuário: tira um instantâneo dos ativos de cada conta do cliente em uma data e hora específicas.
Geração da Árvore Merkle: a Binance gera os blocos de dados subjacentes vinculando o ID do usuário com hash e o saldo de cada usuário. Em seguida, crie uma árvore Merkle com base nos dados de todos os usuários. Se qualquer ID de conta ou saldo em um nó folha for alterado, a raiz Merkle também será alterada. Dessa forma, cada usuário pode verificar se seus ativos estão incluídos nos nós folha.
zk-SNARKs no processo de verificação
Além da árvore Merkle, a Binance também usa zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) no processo de verificação. zk-SNARKs são um protocolo de prova que permite que as pessoas provem que conhecem um valor sem revelar qual é esse valor.
Tomando a Binance como exemplo, a exchange usa o zk-SNARK para provar que o conjunto de saldos de todos os nós folha (ou seja, saldos de contas de usuários) contribui para o saldo total de ativos do usuário reivindicado pela exchange. Cada usuário pode acessar facilmente seu nó folha para ver se ele está incluído no processo.
O uso de zk-SNARKs segue os seguintes passos:
Verificar a propriedade do endereço: assim como no processo anterior, a Binance verifica a propriedade das carteiras (frias e quentes) usadas no processo de PoR.
Visão geral do saldo do usuário: obtenha novamente uma visão geral dos ativos em cada conta do cliente.
Gerar prova zk-SNARKs: Gere arquivos de prova zk-SNARKs para cada usuário. Isso permite que cada usuário acesse facilmente seu nó folha e verifique se o saldo líquido total do usuário é maior ou igual a zero.
Além desses métodos de autoverificação, a Binance também utiliza auditores terceirizados para fornecer relatórios de auditoria para aumentar ainda mais a segurança e a transparência do processo de verificação.