Gate.io Proof-of-Reserves Assessment Report

Gate.io PoR

Heure du dernier audit:

2024-12-04 00:00:00(UTC+0)

Valeur excédentaire de la réserve:

$ 1.85B

Algorithme :

Merkle Tree + zk-SNARKs

Taux de réserve total:

123.91%

Merkle Root Hash:

0118925954da77d1a4b241fd163e4373e2265c515cfa60af7fcd28c8cb9ad58a

Solde net du client

$ 7,720,610,808

Solde du Portefeuille Gate

$ 9,566,949,830

Valeur excédentaire de la réserve

$ 1,846,339,021

BTCTaux de réserve

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Solde net du client

16,689.67

Solde du Portefeuille Gate

20,773.00

Solde du Portefeuille Gate USD

$ 1,990,886,397

ETHTaux de réserve

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Solde net du client

225,936.29

Solde du Portefeuille Gate

290,365.00

Solde du Portefeuille Gate USD

$ 1,049,521,388

DOGETaux de réserve

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
0
1
2
3
4
5
6
7
8
9
%

Solde net du client

1,840,512,320.88

Solde du Portefeuille Gate

2,080,735,788.00

Solde du Portefeuille Gate USD

$ 845,444,565

USDTTaux de réserve

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Solde net du client

759,868,501.89

Solde du Portefeuille Gate

830,148,595.00

Solde du Portefeuille Gate USD

$ 830,148,595

ETH2Taux de réserve

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Solde net du client

81,926.25

Solde du Portefeuille Gate

88,183.00

Solde du Portefeuille Gate USD

$ 319,531,100

XRPTaux de réserve

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Solde net du client

72,410,764.25

Solde du Portefeuille Gate

85,321,127.00

Solde du Portefeuille Gate USD

$ 214,293,395

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.

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

Pourquoi la preuve des réserves à 100% est-elle si importante ?

La plateforme fournit une preuve des réserves à 100%

La plateforme est financièrement solide

Renforcer la confiance des utilisateurs

Garantir la sécurité des actifs des utilisateurs

100% d'encaissement en un retrait groupé

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

Les biens des utilisateurs risquent d'être détournés

Retard ou incapacité à retirer les actifs

La plateforme peut subir un bankrun 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 à 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.

Téléchargement local

Mac OS

Téléchargement local

Linux

Téléchargement local

Windows

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

Date de l'audit	Cabinet d'audit	Auditeur	Référentiels	Rapport de l'audit
January 3, 2024	HACKEN	Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski	https://github.com/gateio/proof-of-reserves	Gate.io PoR Implementation

Date de l'audit

Cabinet d'audit

Auditeur

Référentiels

Rapport de l'audit

January 3, 2024

HACKEN

Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski

https://github.com/gateio/proof-of-reserves

Gate.io PoR Implementation

Heure de début et de fin de l'évolution

Couleur de hausse/de baisse

100% de Preuve de Réserve