Binance s’engage à assurer à chaque utilisateur une transparence totale sur la sûreté et la sécurité de ses actifs. Vous pouvez désormais utiliser les zk-Snarks et l’Arbre de Merkle pour vérifier avec précision la Preuve de Réserves de Binance et le solde de votre compte.
Comment vérifier le solde de votre compte en utilisant les zk-Snarks et l’Arbre de Merkle ?
1. Rendez-vous sur le site Web officiel de GitHub et téléchargez l’outil de vérification depuis le répertoire.
| Version de l’outil de vérification | Cycle de vérification POR |
| 1.0.2 | du 01/11/2023 à aujourd’hui |
| 1.0.1 | du 01/03/2023 au 01/10/2023 |
| 1.0.0 | du 01/02/2023 au 01/02/2023 |
| Vérification de l’arbre de Merkle | du 22/11/2022 au 22/12/2022 |
2. Rendez-vous ensuite sur Binance.com et connectez-vous à votre compte. Cliquez sur [Profil] - [Portefeuille] - [Vérification]. Cliquez ensuite sur la flèche pour afficher les données de vérification.
3. Recherchez les entrées auto-vérifiées de l’arbre de Merkle et assurez-vous que le [Type de Vérification] est bien sur « Merkle Tree + Zksnarks ». Vous verrez alors les données de votre compte. Cliquez sur [Télécharger l’Arbre de Merkle] pour le sauvegarder sur votre ordinateur.
Veuillez remarquer que le rapport est un instantané et non un affichage des actifs en temps réel. Il se peut donc que celui-ci ne corresponde pas à votre nombre actuel d’actifs.
4. Rendez-vous sur le dossier de l’outil de vérification. Pour vérifier le hachage de la racine, exécutez « ./verifier_darwin_amd64 » sous MacOS, « ./verifier_linux_amd64 » sous Linux, ou « ./verifier_windows_amd64.exe » sous Windows.
Pré-requis :
Créez les fichiers « config.json », « proof.csv » et « zkpor864.vk.save » dans le fichier zip et placez-les dans le dossier « PathToVerifierTool/config ».
Configuration :
- Configurer la « ProofTable » pour faire référence au fichier de données de preuve zk-SNARKs généré par le vérificateur ;
- Configurez le fichier « ZkKeyName » pour qu’il pointe vers la clé de vérification téléchargée dans le paquet ;
- « CexAssetInfo » fait référence au solde total du client de tous les tokens répertoriés sur Binance (y compris tous les actifs vérifiables et non vérifiables). Ce solde peut être vérifié en utilisant la preuve zk-Snarks listée. Vous pouvez vérifier l’actif vérifiable avec la Preuve de Réserves de Binance. Tous les soldes et les prix sont à une échelle 10^8 sauf pour le BTTC, le SHIB, le LUNC, le XEC, le WIN, le BIDR, le SPELL, le HOT et le DOGE (10^2).
5. Pour vérifier les informations de votre compte, utilisez « ./verifier_darwin_amd64 -user » sur MacOS ou « ./verifier_linux_amd64 -user » sur Linux, ou « ./verifier_windows_amd64.exe -user » sur Windows.
Pré-requis :
Téléchargez/Créez le fichier « user_config.json ». Ce fichier est spécifiquement généré sur la base des données du compte d’un utilisateur lors de l’instantané. Vous pouvez le trouver dans le fichier zip que vous avez téléchargé. Placez-le dans le dossier « PathToVerifierTool/config ».
Configuration :
- « AccountIndex » : emplacement de la Feuille de Merkle dans l’Arbre de Merkle ;
- « AccountIdHash » - « Record ID » : identifie le compte de chaque utilisateur au sein de Binance. Vous pouvez trouver les informations relatives à votre compte sur la page [Vérification].
- « TotalEquity » : la valeur totale du solde de l’utilisateur (en USD) ; selon une échelle 10^16
- « TotalDebt » : la valeur totale des emprunts de l’utilisateur (en USD) ; selon une échelle 10^16
- « Assets » : les actifs de l’utilisateur dans l’instantané. Vous pouvez vous référer aux actifs équivalents aux indices dans la liste de modèles d’actifs téléchargée à l’étape 2 (voir le fichier « Asset_List.csv » pour identifier le token par l’indice). Les soldes des actifs sont à une échelle 10^8 sauf pour le BTTC, le SHIB, le LUNC, le XEC, le WIN, le BIDR, le SPELL, le HOT et le DOGE (10^2);
- « Root » : le hachage de la Racine de Merkle de l’exercice de vérification. Le hachage est utilisé pour vérifier les informations de l’utilisateur avec les informations du chemin de Merkle à partir des hachages des racines.
- « Proof » : le chemin de Merkle qui appartient à l’utilisateur.
Pour plus d’informations sur le fonctionnement des zk-SNARKs, veuillez vous référer à :
- Améliorer la transparence des cryptomonnaies grâce à la preuve Zero-Knowledge
- Comment les zk-SNARKs améliorent le système de Preuve de Réserves de Binance ?
Si vous avez des suggestions, n’hésitez pas à nous les partager.