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

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

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

Cependant, le système présentait deux inconvénients majeurs. Premièrement, les nœuds feuilles de l'arborescence 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éter la somme des informations de solde 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 réduire la taille des réserves obligatoires.

Binance affirme que les zk-SNARK résolvent ces défis. Le système de vérification sans connaissance peut garantir que tous les nœuds feuilles de l’arborescence 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'arborescence Merkle. Les utilisateurs peuvent vérifier la preuve zk-SNARK pour s'assurer que la construction de l'arbre Merkle était exempte de toute falsification.

Étant donné 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 d’une milliseconde.

Il faudrait 2 heures à Binance pour générer une preuve pour tous les comptes, pour un coût d'environ 1 000 $. La bourse travaille à la mise en œuvre des solutions suggéré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 davantage 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.