PoR de Gate.io

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

0

Pas de Données

Qu'est-ce que la Preuve de Réserves à 100% ?

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.

Pourquoi la Preuve de Réserves à 100% est-elle si importante ?

La plateforme fournit une Preuve de Réserves à 100%

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

Sans l'engagement de preuve de réserves à 100%

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

Comment parvenons-nous à maintenir un niveau de réserves de 100% ?

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

Ownership over the wallet - Gate.io

Propriété sur le portefeuille

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).

Comment construire l'arbre de Merkle avec l'ID utilisateur haché et le solde utilisateur ?

L'ID utilisateur haché (UID) et les soldes des utilisateurs sont d'abord exportés de la base de données de Gate.
Chaque paire d'UID haché et de soldes d'utilisateurs sera hachée respectivement puis concaténée pour former le 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 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 continue jusqu'à ce qu'il aboutisse à un seul hachage connu sous le nom de racine de Merkle.

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.

Merkle tree - Gate.io

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.

Comment utilisons-nous un Arbre de Merkle pour fournir une Preuve de Réserves ?

1. zk-SNARK aide à auditer que le solde total des actifs des utilisateurs est stocké comme nœuds feuilles dans l'Arbre de Merkle (c'est-à-dire, le solde du compte utilisateur). Pour chaque nœud feuille, nous confirmons les points suivants :

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.

2. Vérification de l'utilisateur : Les utilisateurs peuvent vérifier l'authenticité de la preuve en vérifiant la valeur de hachage racine de Merkle en utilisant zk-SNARK. La technologie nous permet de compléter l'audit de réserves à 100% de manière efficace et sécurisée tout en évitant les risques de fuite de confidentialité ou de secrets commerciaux, ce qui aidera à tenir notre engagement envers des opérations transparentes et à renforcer la confiance des clients.

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é

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 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

Gate.io PoR Implementation

Entreprise d'audit

HACKEN

Heure d'audit

January 3, 2024

Auditeur

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate.io app
Communauté