Comment vérifier le solde de votre compte sur Binance ?

2023-02-10 09:00

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érificationCycle de vérification POR
1.1.0du 1 oct. 2024 au présent
1.0.2du 1 nov. 2023 au 1 sept. 2024
1.0.1du 01/03/2023 au 01/10/2023
1.0.0du 01/02/2023 au 01/02/2023
Vérification de l’arbre de Merkledu 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 une capture 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 listé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-SNARK 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 de 10^8 sauf pour le BTTC, le SHIB, le LUNC, le XEC, le WIN, le BIDR, le SPELL, le HOT, le DOGE, le PEPE, le FLOKI, l’IDRT, le BONK, le DOGS, le 1000SATS et le NEIRO (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 la capture. 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
  • « TotalCollateral » : la valeur totale des avoirs de l’utilisateur placée en garantie (en USD) ; selon une échelle 10^16
  • « Assets » : les actifs de l’utilisateur dans la capture. 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 de 10^8 sauf pour le BTTC, le SHIB, le LUNC, le XEC, le WIN, le BIDR, le SPELL, le HOT, le DOGE, le PEPE, le FLOKI, l’IDRT, le BONK, le DOGS, le 1000SATS et le NEIRO (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 en savoir plus sur le fonctionnement des zk-SNARKs, veuillez vous référer aux articles suivants :

Si vous avez des suggestions, n’hésitez pas à nous les partager.