Binance, la plus grande bourse de cryptomonnaies au monde, a publié son rapport de réserves d'août 2023, présentant un taux de réserve bien supérieur à 100 % pour tous ses principaux avoirs en cryptomonnaies.

Cette divulgation fait partie de l'engagement continu de Binance à maintenir un système de preuve de réserves (PoR), fournissant la preuve qu'elle détient suffisamment de fonds pour couvrir tous les dépôts des clients. Le rapport est basé sur un audit pour BTC Block Height 801130 à partir de données agrégées mises à jour au 1er août 2023.

Proof of Reserves (PoR) est un protocole de transparence qui confirme la solvabilité d'un échange de crypto-monnaie. Cela sert de preuve que la bourse possède suffisamment de fonds pour couvrir les actifs des utilisateurs dans un rapport de 1:1. Essentiellement, lorsqu'un utilisateur dépose un Bitcoin, les réserves de Binance augmentent d'au moins un Bitcoin, garantissant ainsi que tous les fonds des clients sont entièrement garantis. Ces chiffres n'incluent pas les participations de Binance, qui sont séparées.

Le rapport PoR de Binance démontre que les réserves de la bourse sont bien supérieures au solde net du client pour toutes les crypto-monnaies déclarées, notamment Bitcoin, Ethereum, Binance Coin, Tether, BUSD et USDC, avec des taux de réserve allant de 101,62 % à 117,99 %. Cela montre que l’entreprise dispose de réserves plus que suffisantes pour faire face à tous les retraits potentiels de clients.

PoR vise à accroître la transparence, la sécurité et la protection des utilisateurs dans l’écosystème des cryptomonnaies. En tant que tel, il décourage les échanges d’utiliser à mauvais escient les fonds des utilisateurs et favorise la confiance entre les utilisateurs. Dans cette optique, les utilisateurs de Binance peuvent vérifier eux-mêmes l'inclusion de leur compte dans la dernière vérification PoR, soulignant ainsi l'engagement de la bourse en faveur de la transparence et de la confiance des utilisateurs.

Comment fonctionne la preuve de réserves (PoR) avec Merkle Trees

Pour garantir qu'il détient tous les actifs des utilisateurs 1:1, Binance a mis en place un système qui exploite les arbres Merkle. Un arbre Merkle est un outil cryptographique qui facilite la condensation de grands volumes de données en un seul hachage, appelé racine Merkle. Cette racine agit comme un « sceau » cryptographique qui résume toutes les données d’entrée. De plus, Merkle Trees permet aux utilisateurs de vérifier des contenus spécifiques inclus dans un ensemble particulier de données scellées.

Dans le contexte du PoR, Binance utilise les propriétés de Merkle Trees pour vérifier que les comptes d'utilisateurs individuels sont intégrés dans le rapport de passif inspecté par un auditeur. Chaque utilisateur peut vérifier ses avoirs en utilisant son identifiant de hachage/enregistrement Merkle unique généré.

Voici une description étape par étape du processus :

Vérifier la propriété de l'adresse : Binance vérifie d'abord que la propriété des portefeuilles (portefeuilles froids et chauds) utilisés dans le processus PoR appartient à l'échange.

Aperçu des soldes des utilisateurs : un instantané des actifs détenus dans le compte de chaque client est pris à une date et une heure spécifiques.

Génération de Merkle Tree : Binance génère un bloc de données sous-jacent en reliant l'ID utilisateur haché et le solde de chaque utilisateur. Sur la base des données de tous les utilisateurs, un arbre Merkle est ensuite créé. Si un identifiant de compte ou un solde dans le nœud feuille change, la racine Merkle changera également. Par conséquent, chaque utilisateur peut vérifier si ses actifs sont inclus dans le nœud feuille.

zk-SNARK dans le processus de vérification

Outre Merkle Trees, Binance utilise également des zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) dans le processus de vérification. Un zk-SNARK est un protocole de preuve qui permet de prouver qu'il connaît une valeur sans révéler quelle est cette valeur.

Dans le cas de Binance, l'échange utilise un zk-SNARK pour démontrer que tous les ensembles de soldes des nœuds feuilles (c'est-à-dire les soldes des comptes utilisateurs) contribuent au solde total des actifs utilisateur revendiqué par l'échange. Chaque utilisateur peut facilement accéder à son nœud feuille pour voir qu'il a été inclus dans le processus.

L'utilisation des zk-SNARK suit quelques étapes :

Vérifier la propriété de l'adresse : comme dans le processus précédent, Binance vérifie la propriété des portefeuilles (portefeuilles froids et chauds) utilisés dans le processus PoR.

Aperçu des soldes des utilisateurs : encore une fois, un instantané des actifs détenus dans le compte de chaque client est pris.

Générer une preuve zk-SNARKs : des fichiers de preuve zk-SNARKs sont générés pour chaque utilisateur. Cela permet à chaque utilisateur d'accéder facilement à son nœud feuille et de vérifier que le solde net total de l'utilisateur est supérieur ou égal à zéro.

En plus de ces méthodes d'auto-vérification, Binance utilise également des audits tiers pour fournir des rapports d'audit, renforçant ainsi la sécurité et la transparence du processus de vérification.

Avertissement : cet article est fourni à titre informatif uniquement. Il n’est pas proposé ni destiné à être utilisé comme conseil juridique, fiscal, d’investissement, financier ou autre.