Binance ajoute la vérification zk-SNARK à son système de preuve de réserves

Binance a mis à jour son système de preuve de réserves (PoR) avec des vérifications zk-SNARK, une forme de preuves à connaissance nulle qui préserve la confidentialité et la sécurité des informations sensibles des utilisateurs.

Changpeng Zhao, PDG de Binance a dit l’amélioration a été mise en œuvre conformément à la suggestion du co-fondateur d’Ethereum, Vitalik Buterin. Buterin avait exposé ses idées sur la promotion d’échanges centralisés sans confiance grâce à des systèmes transparents de preuve de réserves en novembre.

Binance a publié son système PoR pour la première fois en novembre 2022 alors que les utilisateurs ont commencé à exiger plus de transparence des échanges à la suite de l’effondrement de FTX. À l’époque, Binance utilisait la cryptographie de l’arbre Merkle pour permettre aux utilisateurs de vérifier leurs avoirs.

Pourtant, le système présentait deux inconvénients majeurs. Premièrement, les nœuds feuilles de l’arbre Merkle représentaient le hachage des avoirs des utilisateurs pour protéger la confidentialité, ce qui signifiait que la racine Merkle ne pouvait pas reflètent la somme des informations d’équilibre de ses nœuds feuilles.

Deuxièmement, une entité malveillante pourrait potentiellement ajouter un solde négatif sous un faux compte quelque part dans l’arborescence pour faire apparaître la taille des réserves requises plus petite.

Binance affirme que les zk-SNARK résolvent ces problèmes. Le système de vérification à connaissance nulle peut garantir que tous les nœuds feuilles de l’arbre Merkle ont contribué au solde utilisateur total revendiqué par Binance pour chaque crypto-monnaie. Cela garantira également qu’aucun utilisateur avec un solde négatif n’est inclus dans l’arborescence.

Binance générera et publiera la preuve zk-SNARK pour la construction de l’arbre Merkle afin de prouver ses réserves. En vérifiant la preuve Merkle, les utilisateurs de Binance peuvent vérifier si leur solde est inclus dans la racine de l’arbre Merkle. Les utilisateurs peuvent vérifier la preuve zk-SNARK pour s’assurer que la construction de l’arbre Merkle était exempte de toute altération.

Parce que Binance compte des millions d’utilisateurs, il n’est pas possible d’obtenir une seule preuve de la construction de l’arbre Merkle. Par conséquent, Binance divisera les utilisateurs en lots de 864 chacun. Il faudrait 110 secondes pour générer une preuve zk pour un seul lot d’utilisateurs. La preuve peut être vérifiée en moins de 1 milliseconde.

Il faudrait 2 heures à Binance pour générer une preuve pour tous les comptes au prix d’environ 1 000 $. La bourse travaille à la mise en œuvre des solutions proposées par Buterin pour améliorer l’efficacité du processus de génération de preuves, ce qui devrait réduire les coûts et lui permettre de fournir des preuves plus fréquemment.

Le système PoR de Binance prend actuellement en charge 13 crypto-monnaies, avec 4 ajouts récents, et il prévoit d’ajouter plus de jetons dans les semaines à venir.

Binance rend également le code de son système PoR open-source dans le but d’offrir plus de transparence à ses utilisateurs.

Le message Binance ajoute la vérification zk-SNARK à son système de preuve de réserves est apparu en premier sur CryptoSlate.