Preuve de réserves

Vérifiez que tous les soldes de compte Binance sont entièrement garanties selon un ratio de 1 pour 1.

Audit Time

Mécanisme de vérification:

Hachage de la racine de Merkle :

Qu’est-ce qu’une preuve de réserves (PoR) ?

Lorsque nous parlons de preuve de réserves, nous faisons spécifiquement référence aux actifs que nous gardons en dépôt pour les utilisateurs. Cela signifie que nous apportons la preuve que Binance dispose de fonds qui couvrent tous les actifs de nos utilisateurs selon un ratio 1 pour 1, ainsi que de certaines réserves.

Lorsqu’un utilisateur dépose un bitcoin, les réserves de Binance augmentent d’un bitcoin afin de garantir que les fonds des clients sont entièrement couverts.

Cela signifie que Binance détient tous les actifs des utilisateurs selon un ratio de 1 pour 1, y compris les réserves. Binance n’a aucune dette dans sa structure financière et dispose d’un fonds d’urgence (fonds SAFU) pour les cas extrêmes, comme les piratages ou les failles de sécurité.

Pour en savoir plus, consultez les informations supplémentaires sur les mesures mises en place pour permettre aux utilisateurs de vérifier que leurs fonds sont en sécurité chez Binance.

Notre engagement envers notre communauté reste le même qu’auparavant

Transparence

Nous maintiendrons toujours la transparence avec nos utilisateurs.

Sécurité

La sécurité des fonds de nos utilisateurs est une priorité pour nous.

Protection

Vos fonds sont protégés.

Arbre de Merkle

Qu’avons-nous créé ?

Afin de démontrer que tous les actifs des utilisateurs de Binance sont garanties selon un ratio de 1 pour 1, nous avons développé et implémenté un arbre de Merkle (illustré ci-dessous) permettant aux utilisateurs de vérifier que leurs actifs sont bien inclus dans le solde net global du compte. Notre objectif est que chaque utilisateur puisse vérifier que ses actifs sont garanties selon un ratio de 1 pour 1 à l’aide de ses propres hachage de Merkle et ID de dossier générés.

Qu’est-ce qu’un arbre de Merkle ?

Un arbre de Merkle est un outil cryptographique qui permet de regrouper de grandes quantités de données en un seul hachage. Ce hachage unique, appelé racine de Merkle, agit comme un sceau cryptographique qui « résume » toutes les données saisies. De plus, les arbres de Merkle permettent aux utilisateurs de vérifier que des contenus spécifiques ont bien été inclus dans un ensemble particulier de données « scellées ». Nous utilisons ces propriétés de l’arbre de Merkle lors de nos évaluations de la preuve de réserves pour vérifier que les comptes utilisateur individuels sont inclus dans le rapport des passifs, validé par notre mécanisme zk-SNARK.

zk-SNARKs

Qu’avons-nous créé ?

En utilisant un zk-SNARK, une plateforme d’échange de cryptomonnaies peut prouver que tous les ensembles de soldes des nœuds de feuille de l’arbre de Merkle (c’est-à-dire les soldes des comptes des utilisateurs) contribuent au solde total des actifs des utilisateurs déclaré de la plateforme d’échange crypto. Chaque utilisateur peut facilement accéder à son nœud de feuille comme ayant été inclus dans le processus. Pour chaque ensemble de soldes de l’utilisateur (nœud de feuille de l’arbre de Merkle) notre circuit s’assure que :

1. Les soldes de compte d’un utilisateur sont inclus dans le calcul de la somme des soldes nets totaux de compte auprès de Binance.

2. Le solde net total du compte est supérieur ou égal à zéro.

3. La modification de la racine de l’arbre Merkle est valide (c’est-à-dire qu’elle n’utilise pas d’informations falsifiées) après la mise à jour des informations d’un compte vers le hachage du nœud feuille.

Voici quelques ressources utiles :

blog

spécifications technique

notre code source

pour le circuit (contraintes) pour les détails de mise en œuvre.

Qu’est-ce qu’un zk-SNARK ?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) est un protocole de preuve qui suit les principes de connaissances nulles décrits précédemment. Avec un

zk-SNARK

, vous pouvez prouver que vous connaissez la valeur de hachage originale (indiquée plus loin) sans révéler cette valeur. Vous pouvez également prouver la validité d’une

transaction

sans révéler aucune information sur les montants, valeurs ou adresses spécifiques impliqués.

Fonctionnement

Comment puis-je vérifier mes transactions personnelles ?

Connectez-vous au site Web de Binance.

-> Cliquez sur « Portefeuille ».

-> Cliquez sur « Vérification ».

Vous trouverez votre feuille de Merkle et votre ID de dossier sur la page.

Sélectionnez la date de vérification que vous souhaitez contrôler. Vous trouverez ensuite une confirmation du type de vérification, l’ID de votre dossier (spécifique à votre compte et à cette vérification particulière), les actifs qui ont été couverts et les soldes de vos actifs au moment de la vérification.

L’ID de dossier et la feuille de Merkle vous permettent de vérifier de manière indépendante que le solde de votre compte a bien été inclus dans le rapport des passifs grâce à notre méthode d’auto-vérification.

Processus de vérification

1. Vérification de la propriété de l’adresse

Pour les actifs utilisés pour vérifier les réserves, nous devons nous assurer que la propriété du portefeuille appartient à Binance (y compris les portefeuilles hors ligne et en ligne).

2. Capture des soldes des utilisateurs

La valeur de la capture est calculée en fonction de l’actif détenu sur les soldes du compte du client à la date et à l’heure de la capture.

3. Génération de la preuve zk-SNARK

Nous générons des fichiers de preuves zk-SNARKs aux utilisateurs afin que chacun puisse facilement accéder à son nœud feuille, assurant ainsi la transparence pour tous les utilisateurs.

4. Génération d’un arbre de Merkle

Nous générons le bloc de données sous-jacent en liant l’UID haché et le solde de chaque utilisateur. Nous générons ensuite un arbre de Merkle basé sur les données de tous les utilisateurs. La racine de Merkle changera si un ID de compte ou un solde dans le nœud de la feuille change. Chaque utilisateur peut vérifier si ses actifs sont inclus dans le nœud de la feuille.