A Binance atualizou seu sistema de prova de reservas (PoR) com verificações zk-SNARK, uma forma de prova de conhecimento zero que preserva a privacidade e a segurança das informações confidenciais do usuário.
CEO da Binance Changpeng Zhao disse a melhoria foi implementada de acordo com a sugestão do co-fundador da Ethereum, Vitalik Buterin. Buterin expôs suas ideias sobre a promoção de trocas centralizadas sem confiança por meio de sistemas transparentes de comprovação 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 do FTX. Na época, a Binance usava a criptografia de árvore Merkle para permitir que os usuários verificassem suas participações.
No entanto, o sistema tinha duas grandes desvantagens. Em primeiro lugar, os nós de folha na árvore Merkle representavam o hash das propriedades dos usuários para proteger a privacidade, o que significava que a raiz Merkle não podia refletem a soma das informações de saldo de seus 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 o tamanho das reservas necessárias parecer 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 de folha na árvore Merkle tenham contribuído para o saldo total do usuário reivindicado pela Binance para cada criptomoeda. 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 do zk-SNARK para garantir que a construção da árvore Merkle esteja 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 bolsa 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 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 de seu sistema PoR de código aberto com o objetivo de fornecer mais transparência aos seus usuários.
source – cryptoslate.com
