A Binance atualizou seu sistema de prova de reservas (PoR) com verificações zk-SNARK, uma forma de provas de conhecimento zero que preserva a privacidade e a segurança de informações confidenciais do usuário.
O CEO da Binance, Changpeng Zhao, disse que a melhoria foi implementada de acordo com a sugestão do cofundador da Ethereum, Vitalik Buterin. Buterin havia exposto suas ideias sobre a promoção de trocas centralizadas sem confiança por meio de sistemas transparentes de prova de reservas em novembro.
A Binance publicou seu sistema PoR pela primeira vez em novembro de 2022, quando os usuários começaram a exigir mais transparência das exchanges após o colapso da FTX. Na época, a Binance usava criptografia de árvore Merkle para permitir que os usuários verificassem seus ativos.
No entanto, o sistema tinha duas grandes desvantagens. Primeiro, os nós folha na árvore Merkle representavam o hash das participações dos usuários para proteger a privacidade, o que significava que a raiz Merkle não conseguia refletir a soma das informações de saldo dos nós folha.
Em segundo lugar, uma entidade maliciosa poderia adicionar um saldo negativo em uma conta falsa em algum lugar da árvore para fazer com que o tamanho das reservas obrigatórias parecesse menor.
A Binance afirma que os zk-SNARKs resolvem esses desafios. O sistema de verificação de conhecimento zero pode garantir que todos os nós folha na árvore Merkle tenham contribuído para o saldo total de usuários reivindicado pela Binance de cada criptomoeda. Ele também garantirá que não haja nenhum usuário com saldo negativo incluído na árvore.
A Binance irá gerar e publicar a prova zk-SNARK para a construção da árvore Merkle para provar suas reservas. Ao verificar a prova Merkle, os usuários da Binance podem verificar se seu saldo está incluído na raiz da árvore Merkle. Os usuários podem verificar a prova zk-SNARK para garantir que a construção da árvore Merkle estava livre de qualquer adulteração.
Como a Binance tem milhões de usuários, não é possível obter uma única prova da construção da árvore Merkle. Portanto, a Binance dividirá os usuários em lotes de 864 cada. Levaria 110 segundos para gerar a prova zk para um único lote de usuários. A prova pode ser verificada em menos de 1 milissegundo.
Levaria 2 horas para a Binance gerar provas para todas as contas ao custo de cerca de US$ 1.000. A exchange está trabalhando na implementação das soluções sugeridas por Buterin para melhorar a eficiência do processo de geração de provas, o que deve reduzir os custos e permitir que ela forneça provas com mais frequência.
O sistema PoR da Binance atualmente suporta 13 criptomoedas, com 4 adições recentes, e planeja adicionar mais tokens nas próximas semanas.
A Binance também está tornando o código do seu sistema PoR de código aberto com o objetivo de fornecer mais transparência aos seus usuários.