Le principe fondamental de Binance est la transparence. Dans cette optique, voici comment vérifier le solde de votre compte à l'aide de zk-SNARK et de Merkle Tree. Voici ce que vous devez faire ;
Accédez au site Web officiel de GitHub et téléchargez l'outil de vérification à partir du référentiel de logiciels.
Outil de vérification : https://github.com/binance/zkmerkle-proof-of-solvency/releases/tag/v1.0.0
Accédez à Binance.com et connectez-vous à votre compte. Cliquez sur [Profil] - [Portefeuille] - [Vérification]. Cliquez ensuite sur la flèche pour développer les données de vérification.
3. Recherchez les entrées Merkle Tree auto-validées et assurez-vous que [Type de vérification] est « Merkle Tree + Zksnarks ». Vous verrez les données de votre compte. Cliquez sur [Télécharger Merkle Tree] pour l'enregistrer sur votre ordinateur.
Veuillez noter que le rapport est un instantané et ne reflète pas les actifs en temps réel. Il se peut qu'il ne corresponde pas au nombre d'actifs disponibles.
4. Accédez au dossier de l'outil de vérification. Pour vérifier le hachage racine, tapez et exécutez « ./verifier_darwin_amd64 » sur MacOS, « ./verifier_linux_amd64 » sur Linux ou « ./verifier_windows_amd64.exe » sur Windows.
Condition préalable:
Installez les fichiers « config.json », « proof.csv » et « zkpor864.vk.save » dans le fichier zip et placez-les dans le dossier « PathToVerifierTool/config ».
Installation:
Installez le fichier « ProofTable » pour examiner le fichier de données de preuve des zk-SNARK générés par le reste.
Installez le fichier « ZkKeyName » pour représenter la clé de vérification téléchargée dans le package. « CexAssetInfo » fait référence au solde total du client de tous les jetons répertoriés sur Binance (y compris tous les actifs vérifiables et non vérifiables).
Peut être vérifié à l'aide de la preuve des zk-SNARK répertoriés. Vous pouvez effectuer une vérification croisée avec un actif vérifiable dans la section Preuve de réserve de Binance. Tous les soldes et prix sont au format 10^8 sauf BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT et DOGE (10^2).
5. Pour vérifier les informations de votre compte, utilisez les formats « ./verifier_darwin_amd64 -user » sur MacOS, « ./verifier_linux_amd64 -user » sur Linux ou « ./verifier_windows_amd64.exe -user » sur Windows.
Condition préalable:
Téléchargez/installez le fichier « user_config.json ». Ce fichier est créé spécifiquement sur la base des données du compte d'un utilisateur au moment de l'instantané. Vous pouvez le trouver dans le fichier zip que vous avez téléchargé. Placez le fichier dans le dossier « PathToVerifierTool/config ».
Installation:
« AccountIndex » : la position de la feuille Merkle dans l'arbre Merkle.
"AccountIdHash" - "Account ID" : identifie le compte de chaque utilisateur sur Binance. Vous pouvez trouver les informations de votre compte sur la page [Vérification].
« TotalEquity » : valeur totale du solde de l'utilisateur (en USD) ; Les valeurs sont au format 10^16.
« TotalDebt » : valeur totale empruntée par l'utilisateur (en USD) ; Les valeurs sont au format 10^16.
Assets" : Assets de l'utilisateur dans l'instantané. Vous pouvez rechercher des actifs équivalents aux indices dans la liste des modèles d'actifs téléchargés à l'étape 2. (voir le fichier « Asset_List.csv » pour définir le token par index). BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT et les soldes d'actifs sont au format 10^8, sauf DOGE (10^2).
« Root » : le hachage racine Merkle du processus de vérification. Il est utilisé pour vérifier les informations utilisateur avec les informations de chemin Merkle à partir des mêmes hachages racine.
« Preuve » : c'est le chemin Merkle de l'utilisateur.
