Gate.io PoR
Heure du dernier audit:
(UTC+0)
Valeur excédentaire de la réserve:
$ B
Algorithme :
Merkle Tree + zk-SNARKs
Taux de réserve total:
Merkle Root Hash:
Solde net du client
$
Solde du Portefeuille Gate
$
Valeur excédentaire de la réserve
$
Not Data
Qu'est-ce que la preuve de réserves à 100% ?
Une plateforme d'échange centralisée gère un registre qui enregistre les actifs des utilisateurs dans une base de données. En tant que telles, les plateformes doivent prouver qu'elles disposent pleinement de tous les actifs des utilisateurs.
Gate.io propose 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 de l'arbre de Merkle. Chaque utilisateur peut vérifier le montant total des actifs des utilisateurs stockés dans les nœuds de l'arbre de Merkle et vérifier si ses fonds sont répertoriés par le biais d'une agence d'audit tierce partie qualifiée.
Si les actifs répertorié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 de 100 % pour les actifs des utilisateurs.
Pourquoi la preuve des réserves à 100% est-elle si importante ?
Comment parvenons-nous à maintenir un niveau de réserves à 100 % ?
Si le nombre total de jetons gérés par l'échangeur sur la blockchain atteint ou dépasse le solde global de tous les comptes d'utilisateurs, tel que capturé dans un snapshot, la plateforme maintient une marge de 100 % pour ces jetons.
Propriété sur le portefeuille
Lorsque vous utilisez des portefeuilles hot ou cold, vous transférez un montant désigné de manière aléatoire aux adresses désignées par la société d'audit afin de prouver votre propriété sur le portefeuille.
La société d'audit additionnera le solde des adresses concernées pour calculer le montant total de la transaction (y compris les actifs des utilisateurs et les actifs propres de la plateforme).
Comment construire l'arbre de Merkle avec le hash de l'ID de l'utilisateur et du solde du compte ?
L'identifiant haché de l'utilisateur (UID) et les soldes des utilisateurs sont d'abord exportés depuis la base de données de Gate.
Chaque paire d'UID et de soldes d'utilisateurs hachés sera rehachée respectivement, puis concaténée pour former un bloc de données sous-jacent.
Pour chaque bloc de données, la même fonction de hachage sera appliquée pour générer les nœuds de feuilles de l'arbre de Merkle. Les données hachées résultantes sont ensuite hachées ensemble par paires pour créer les nœuds parents des nœuds feuilles.
Ce processus se poursuit jusqu'à ce qu'il aboutisse à un hachage unique appelé racine de Merkle. Veuillez vous référer au diagramme ci-dessous pour l'illustration.
Veuillez vous référer au diagramme ci-dessous pour l'illustration. Une fois l'arbre de Merkle construit avec succès, les nœuds de feuilles seront exportés dans un fichier de texte brut, qui sera publié avec le hachage de la racine de Merkle par l'auditeur.
Qu'est-ce qu'un arbre de Merkle ?
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ûre du contenu de grandes structures de données.
Comment utiliser un arbre de Merkle pour fournir une preuve de réserves ?
Nous enregistrons la valeur de hachage de l'actif du compte de chaque utilisateur en tant que nœud de feuille dans l'arbre de Merkle. Ensuite, nous utilisons la technologie zk-SNARK pour confirmer que nous détenons l'intégralité des avoirs des utilisateurs. Tout au long de ce processus, aucune donnée relative aux avoirs n'est divulguée. Les étapes de la vérification sont les suivantes :
1. zk-SNARK aide à vérifier que le solde total des actifs des utilisateurs est stocké sous forme de nœuds de feuilles dans l'arbre de Merkle (c'est-à-dire le solde du compte de l'utilisateur). Pour chaque nœud de feuille, nous confirmons les points suivants :
a. Le montant total des actifs gérés par la plateforme comprend le solde total des actifs de tous les utilisateurs.
b. Le solde net de chaque utilisateur est supérieur ou égal à zéro.
c. La modification des actifs d'un utilisateur entraînera une modification de la valeur de hachage de la racine Merkle.
2. Vérification par l'utilisateur : Les utilisateurs peuvent vérifier l'authenticité de la preuve en vérifiant la valeur de hachage de la racine Merkle à l'aide de zk-SNARK. Cette technologie nous permet de réaliser l'audit de la réserve à 100 % de manière efficace et sûre, tout en évitant les risques de fuite de confidentialité ou de secret commercial, ce qui nous aidera à respecter notre engagement de transparence des opérations et à renforcer la confiance des clients.
Que sont les zk-SNARKs ?
zk-SNARK, qui signifie Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, c'est un outil révolutionnaire basé sur la cryptographie. Utilisant des algorithmes mathématiques avancés, il peut valider efficacement le montant de la réserve sans divulguer les détails spécifiques de l'actif. zk-SNARK facilite non seulement la vérification rapide de l'actif, mais élimine également les risques d'atteinte à la vie privée. Grâce à ces avantages, associés à sa nature non interactive et à sa grande évolutivité, il trouve de nombreuses applications dans des domaines tels que la vérification des transactions on-chain, la protection de la confidentialité des données et l'authentification de l'identité.
Processus de vérification.
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 nécessaires :
Accédez à la page d'audit et localisez le lot que vous souhaitez vérifier. Cliquez sur[Télécharger Merkle Tree] et [Télécharger User Config] pour télécharger les données.
Unzip the zkmerkle_cex_xxx.tar.gz compressed file, place the mainprogram inside this folder, and put the user_config.json file inside the config folder.
Le dossier du programme est désormais
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Vérification des actifs :
À partir de cmd ou du terminal, utilisez la commande cd pour naviguer dans le dossier téléchargé, par exemple cd ~/Downloads/zkmerkle_cex_xxx.
(Avant d'exécuter le programme, vous devrez peut-être exécuter chmod 777 main pour accorder des autorisations ou définir des éléments de sécurité).
Exécutez la commande suivante pour commencer la vérification.
./main verify cex
Lorsque la vérification est réussie, le message suivant s'affiche.
All proofs verify passed!!!
Pour une documentation technique détaillée et les principes de vérification, veuillez consulter le projet GitHub open-source .
Implémentation du PoR de Gate.io
HACKEN
Cabinet d'auditDate de l'audit
January 3, 2024
Auditeur
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Référentiels
Rapport de l'audit
Gate.io PoR Implementation
