Binance a mis en œuvre la mise à niveau basée sur la suggestion de Vitalik Buterin pour accroître la transparence du système de preuve de réserve.

Binance a mis à niveau son système de preuve de réserve (PoR) avec la vérification zk-SNARK, une forme de preuve sans connaissance qui protège la confidentialité et la sécurité des informations sensibles des utilisateurs.

Changpeng Zhao, PDG de Binance, a déclaré que les améliorations avaient été mises en œuvre sur la base des suggestions du co-fondateur d'Ethereum, Vitalik Buterin. En novembre dernier, Buterin a proposé l'idée de promouvoir les échanges centralisés sans confiance grâce à un système transparent de preuve de réserve.

Binance a lancé son système PoR pour la première fois en novembre 2022, alors que les utilisateurs ont commencé à exiger plus de transparence de la part de l'échange après le crash de FTX. À l’époque, Binance utilisait la cryptographie arborescente Merkle pour permettre aux utilisateurs de vérifier leurs avoirs.

Ce système présente cependant deux inconvénients majeurs. Premièrement, les nœuds feuilles de l'arborescence Merkle représentent les hachages détenus par l'utilisateur pour protéger la confidentialité, ce qui signifie que la racine Merkle ne peut pas refléter la somme des informations de solde de ses nœuds feuilles.

Deuxièmement, une entité malveillante pourrait ajouter un solde négatif sous un faux compte quelque part dans l’arborescence pour réduire la taille des réserves requises.

Binance affirme que les zk-SNARK résolvent ces défis. Un système de vérification sans connaissance garantit que tous les nœuds feuilles de l'arborescence Merkle contribuent au solde total de l'utilisateur pour chaque crypto-monnaie réclamée par Binance. Cela garantira également qu’il n’y a aucun utilisateur avec des soldes négatifs dans l’arborescence.

Binance générera et publiera des preuves zk-SNARK utilisées pour construire des arbres Merkle afin de prouver leurs réserves. En validant les preuves Merkle, les utilisateurs de Binance peuvent vérifier si leur solde est contenu dans la racine de l'arborescence Merkle. Les utilisateurs peuvent vérifier les preuves zk-SNARK pour s'assurer que l'arborescence Merkle a été construite sans aucune falsification.

Étant donné que Binance compte des millions d’utilisateurs, il est impossible d’obtenir une seule preuve de la construction de l’arbre Merkle. Par conséquent, Binance divisera les utilisateurs en 864 lots. La génération de preuves zk pour un lot d'utilisateurs prend 110 secondes. La preuve peut être vérifiée en moins d’une milliseconde.

Binance prend 2 heures pour générer des preuves pour tous les comptes et coûte environ 1 000 $. La bourse travaille à la mise en œuvre de la solution proposée par Buterin pour rendre le processus de génération de preuves plus efficace, ce qui réduira les coûts et lui permettra de fournir des preuves plus fréquemment.

Le système PoR de Binance prend actuellement en charge 13 crypto-monnaies, dont 4 récemment ajoutées, et il est prévu d'ajouter davantage de jetons dans les semaines à venir.

Binance a également ouvert le code de son système PoR dans le but de fournir plus de transparence à ses utilisateurs.