Valeur de réserve excédentaire:
$ 0B
Dernière heure d'audit :
(UTC+0)
Taux de réserve total :
Algorithme :
Merkle Tree + zk-SNARKs
Hash Racine de Merkle:
Solde Net du Client
$ 0
Solde du Portefeuille Gate
$ 0
Valeur de réserve excédentaire
$ 0
Pas de Données
Une plateforme de trading centralisée gère un grand livre pour enregistrer les actifs des utilisateurs dans une base de données. En tant que tel, les plateformes sont confrontées au défi de prouver qu'elles ont la garde complète de tous les actifs des utilisateurs en bon état.
Gate.io a mis en œuvre l'arbre de Merkle pour résoudre ce problème, en stockant la valeur de hachage des actifs du compte de chaque utilisateur dans les nœuds feuilles de l'arbre de Merkle. Chaque utilisateur peut auditer le montant total des actifs des utilisateurs stockés dans les nœuds feuilles de l'arbre de Merkle et vérifier si ses fonds sont inclus par l'intermédiaire d'une agence d'audit tierce qualifiée.
Si les actifs stockés dans l'arbre de Merkle sont vérifiés comme étant supérieurs ou égaux à 100%, cela signifie que les actifs des utilisateurs sont conservés en totalité sur la plateforme, c'est-à-dire que la plateforme fournit une Preuve de Réserves à 100% pour les actifs des utilisateurs.
La plateforme est financièrement solide
Renforcer la confiance des utilisateurs
Garantir la sécurité des actifs des utilisateurs
Encaissement à 100% en cas de retrait massif
Les actifs des utilisateurs sont à risque d'être détournés
Retard ou incapacité à encaisser les actifs
La plateforme peut subir une ruée si les utilisateurs se pressent pour demander un retrait
La plateforme est plus susceptible de faire faillite ou de subir une perte d'actifs
Si le nombre total de tokens gérés par l'échange sur la blockchain répond ou dépasse le solde agrégé de tous les comptes utilisateurs, tel que capturé dans un instantané, la plateforme maintient une marge de 100% pour ces tokens
Lorsque vous utilisez des portefeuilles chauds ou froids, vous transférez un montant désigné aléatoirement aux adresses désignées par la société d'audit pour prouver votre propriété sur le portefeuille.
La société d'audit additionnera le solde des adresses pertinentes pour calculer le montant total impliqué dans la transaction (y compris les actifs des utilisateurs et les actifs propres de la plateforme).
Veuillez vous référer au diagramme ci-dessous pour l'illustration. Après que l'arbre de Merkle est construit avec succès, les nœuds feuilles seront exportés dans un fichier texte brut, qui sera publié avec le hachage racine de Merkle par l'auditeur.
En cryptographie et en informatique, un arbre de hachage ou arbre de Merkle est un arbre dans lequel chaque nœud feuille est étiqueté avec le hachage cryptographique d'un bloc de données. Chaque nœud non-feuille est étiqueté avec le hachage des étiquettes de ses nœuds enfants. Les arbres de hachage permettent une vérification efficace et sécurisée du contenu de grandes structures de données.
a. Le montant total des actifs gérés par la plateforme inclut le solde total des actifs de tous les utilisateurs.
b. Le solde net de chaque utilisateur est supérieur ou égal à zéro.
c. Le changement des actifs de tout utilisateur entraînera une altération de la valeur de hachage racine de Merkle.
zk-SNARK, qui signifie Argument de Connaissance Succinct Non-Interactif de Connaissance Zéro, est un outil révolutionnaire ancré dans la cryptographie. Utilisant des algorithmes mathématiques avancés, il peut valider efficacement le montant de la réserve sans divulguer de détails spécifiques sur les actifs. zk-SNARK facilite non seulement la vérification rapide des actifs mais élimine également les risques de violation de la confidentialité. En raison de ces avantages, couplés à sa nature non-interactive et à sa haute évolutivité, il trouve de larges applications dans des domaines tels que la vérification des transactions en chaîne, la protection de la confidentialité des données et l'authentification d'identité
1. Installer le programme et télécharger les données :
1)Télécharger le programme de vérification :
Tout d'abord, téléchargez le programme de vérification via le lien fourni ou accédez à GitHub pour télécharger le programme de vérification. Ensuite, renommez-le en main.
2)Télécharger les données requises :
Accédez à la Page d'Audit et localisez le lot que vous devez vérifier. Cliquez sur [Télécharger l'Arbre de Merkle] et [Télécharger la Configuration Utilisateur] pour télécharger les données.
Décompressez le fichier compressé zkmerkle_cex_xxx.tar.gz, placez le programme main dans ce dossier, et mettez le fichier user_config.json dans le dossier config.
Le dossier du programme est maintenant
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Vérification des actifs :
Depuis cmd ou terminal, utilisez la commande cd pour naviguer dans le dossier téléchargé, tel que cd ~/Downloads/zkmerkle_cex_xxx.
(Avant d'exécuter le programme, vous devrez peut-être exécuter chmod 777 main pour accorder des permissions ou définir des éléments de sécurité.)
Exécutez la commande suivante pour commencer la vérification.
./main verify cex
Après une vérification réussie, le message sera affiché.
All proofs verify passed!!!
Pour une documentation technique détaillée et des principes de vérification, veuillez consulter le projet open-source GitHub
Entreprise d'audit
HACKEN
Heure d'audit
January 3, 2024
Auditeur
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
Rapport d'Audit
Gate.io PoR Implementation