Preuve de réserve

Vérifiez que les actifs des utilisateurs de Binance sont entièrement adossés, selon un ratio d’au moins 1:1. Veuillez remarquer que la plupart des actifs de l’entreprise Binance sont stockés dans des portefeuilles qui ne sont pas pris en compte dans le calcul de la preuve de réserves.
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:1, ainsi que de certaines réserves.
Lorsqu’un utilisateur dépose un Bitcoin, les réserves de Binance augmentent d’au moins un Bitcoin pour s’assurer que les fonds des clients sont totalement adossés. Il est important de noter que cela n’inclut pas les avoirs de la société Binance, qui sont conservés dans un registre complètement séparé.
En termes réels, cela signifie que Binance détient tous les actifs des utilisateurs selon un ratio 1:1 (ainsi que certaines réserves), nous n’avons aucune dette dans notre structure de capital et nous nous sommes assurés d’avoir un fonds d’urgence (fonds SAFU) pour les cas extrêmes.
Lisez la suite pour en savoir plus sur ce que nous avons créé, afin de permettre aux gens 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.
Protégé
Vos fonds sont protégés.

Arbre de Merkle

Qu’avons-nous créé ?
Afin de montrer que Binance possède tous les actifs des utilisateurs selon un ratio 1:1, nous avons créé et exécuté l’arbre de Merkle (illustré ci-dessous) pour permettre aux utilisateurs de vérifier leurs actifs au sein de la plateforme. Notre objectif est que chaque utilisateur puisse vérifier ses actifs en utilisant son propre hachage généré par l’arbre de Merkle/ID de dossier. De cette façon, les gens pourront confirmer que leurs fonds sont détenus selon un ratio 1:1 et qu’ils peuvent les faire vérifier par un cabinet d’audit tiers.
Qu’est-ce qu’un arbre de Merkle ?
Un arbre de Merkle est un outil cryptographique qui permet la consolidation 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, l’arbre de Merkle permet aux utilisateurs de vérifier le contenu spécifique 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 inspecté par l’auditeur.

zk-SNARKs

Qu’avons-nous créé ?
En utilisant un zk-SNARK, une plateforme d’échange crypto de cryptomonnaies peut prouver que tous les ensembles de soldes des nœuds de Feuilles de l’Arbre de Merkle (c’est-à-dire les soldes des comptes des utilisateurs et utilisatrices) contribuent au solde total des actifs des utilisateurs et utilisatrices déclaré de la plateforme d’échange crypto. Chaque utilisateur et utilisatrice peut facilement accéder à son nœud de feuille comme ayant été inclus dans le processus. Pour chaque ensemble de soldes de l’utilisateur ou de l’utilisatrice (nœud de Feuille de l’Arbre de Merkle) notre circuit s’assure que :
1. Les soldes des actifs d’un utilisateur ou d’une utilisatrice sont inclus dans le calcul de la somme des soldes nets totaux des utilisateurs et utilisatrices chez Binance.
2. Le solde net total de l’utilisateur ou de l’utilisatrice est supérieur ou égal à zéro.
3. La modification de la racine de l’arbre de Merkle est valide (c’est-à-dire qu’elle n’utilise pas d’informations falsifiées) après la mise à jour des informations d’un utilisateur ou d’une utilisatrice dans le hachage du nœud feuille.
Voici quelques ressources utiles : blog, spécifications technique et notre code source pour le circuit (contraintes) pour les détails de mise en œuvre.
Qu’est-ce qu’un zk-SNARK ?
Un 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 ?
Se connecter au site Web de Binance
-> Cliquer sur « Portefeuille »
-> Cliquer 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 l’enregistrement/la feuille de Merkle vous permet de vérifier de manière indépendante que le solde de votre compte a été inclus dans le rapport d’attestation de l’auditeur tiers.