Gate.io est une bourse de crypto-monnaies de premier plan qui compte plus de 13 millions d'utilisateurs et plus de 1 700 paires d'échange. Gate.io, l'une des plus anciennes et des plus importantes plateformes de négociation au monde, respecte strictement les réglementations du secteur et ne participe à aucune manipulation du marché. L'ouverture, la transparence, l'égalité et la collaboration ont toujours été notre mission. Nous adoptons une variété de méthodes centralisées et décentralisées pour assurer la sécurité des actifs des utilisateurs.

Dès mai 2020, Gate a été la première à proposer une preuve de réserve (PoR) et a invité le célèbre cabinet d'audit américain Armanino LLP à vérifier ses actifs. C'est l'une des premières bourses du secteur à proposer une preuve de réserve. Le 23 novembre 2023, Gate a officiellement annoncé qu'elle avait mis à jour son PoR grâce à la technologie de preuve de l'absence de connaissance, permettant aux utilisateurs de bénéficier d'une meilleure protection de la vie privée et d'une meilleure sécurité des données. Elle est devenue l'une des premières bourses du secteur à adopter le PoR à preuve de connaissance nulle. Cet article vous guidera sur la façon d'utiliser la preuve de réserve de Gate pour vérifier la sécurité de vos fonds sur Gate.io.

Description

Qu'est-ce que la preuve de réserve ?

Dans les bourses centralisées (CEX), les actifs de chaque utilisateur sont enregistrés dans le grand livre de la base de données de la plateforme, ce qui rend difficile pour les utilisateurs de confirmer si leurs actifs ont été transférés et si la bourse dispose d'actifs suffisants pour couvrir les actifs déposés par les utilisateurs. Les bourses ont donc besoin d'une méthode pour prouver qu'elles disposent de suffisamment d'actifs de réserve pour rembourser intégralement les fonds des utilisateurs, ce qui implique que la valeur des actifs de réserve de la bourse soit supérieure à la valeur des actifs déposés par les utilisateurs. Cette preuve d'actifs disponibles publiquement s'appelle la preuve de réserve (Proof-of-Reserve). La donnée liée à la preuve de réserve est le taux de réserve, qui est le rapport entre les actifs détenus par la bourse et les actifs déposés par l'utilisateur, multiplié par 100 %. Lorsque le taux de réserve est supérieur à 100 %, les actifs de la bourse peuvent répondre aux besoins normaux de retrait des utilisateurs. Plus le taux de réserves est élevé, plus la capacité à résister aux risques de liquidité est forte.

Le taux de réserve est généralement divisé en taux de réserve de change et taux de réserve de monnaie unique. Le taux de réserves de change correspond au rapport entre l'ensemble des actifs de la bourse et le total des dépôts des utilisateurs, multiplié par 100 %. Le taux de réserve de la monnaie unique correspond au rapport entre le nombre d'une monnaie spécifique détenue dans le portefeuille d'échange et le montant de cette monnaie déposé par les utilisateurs, multiplié par 100 %.

Pour en savoir plus, veuillez _cliquer sur Comment zk-SNARK améliore Gate.io Proof of Reserves._.

Qu'est-ce que la preuve par zéro connaissance ?

La preuve à connaissance nulle (ZKP) est une méthode de cryptage qui permet à une partie (appelée le prouveur) de prouver à une autre partie (appelée le vérificateur) qu'une certaine déclaration est vraie sans révéler d'informations supplémentaires qui dévoileraient la base de la preuve. Ce processus protège non seulement la vie privée du prouveur, mais garantit également que le vérificateur ne peut pas reproduire le processus de preuve ou obtenir des informations supplémentaires à partir de celui-ci.

Pour comprendre cette technologie, prenons un exemple simple : L'utilisateur A connaît le numéro de téléphone de l'utilisateur B. Lorsque l'utilisateur C demande à l'utilisateur A s'il connaît le numéro de téléphone de l'utilisateur B, l'utilisateur A peut prouver qu'il possède effectivement le numéro de téléphone en composant le numéro de B sur-le-champ, sans le révéler à l'utilisateur C. Ce processus préserve la vie privée de l'utilisateur tout en fournissant la réponse, et c'est ce que nous appelons la "preuve à connaissance nulle".

Pour en savoir plus, veuillez cliquer sur Une explication détaillée des preuves à connaissance nulle.

Combinaison de preuves à connaissance nulle et de preuves de réserves

zk-SNARK est une technologie de preuve succincte et non interactive à connaissance nulle. Il effectue une "configuration de confiance" à l'avance pour générer une chaîne de référence commune (CRS), qui permet à tous les prouveurs d'y accéder directement. Ce système est similaire à un système de notation dans un examen, où zk-SNARK télécharge directement les bonnes réponses et permet aux candidats de vérifier leurs réponses (en envoyant leurs solutions au système dorsal, qui fournira le résultat final de l'exactitude). Il est très efficace.

L'arbre de Merkle est une structure de données semblable à un "arbre". Les données situées au niveau le plus bas sont appelées "nœuds feuilles" et les données situées au milieu peuvent être appelées "nœuds intermédiaires". Les valeurs des nœuds intermédiaires sont calculées en hachant les valeurs des deux nœuds enfants (toute valeur d'entrée est traitée d'une manière spécifique pour produire une valeur spécifique). Les nœuds intermédiaires de gauche et de droite sont ensuite hachés pour obtenir une valeur de sortie unique pour le nœud intermédiaire de niveau supérieur. Après le traitement à chaque niveau, on obtient un nœud racine unique (Root) de l'arbre de Merkle.

Gate.io combine la technologie zk-SNARK avec l'arbre Merkle pour placer tous les dépôts des utilisateurs dans l'arbre Merkle. Ensuite, zk-SNARK est utilisé pour prouver que tous les soldes de l'arbre sont non négatifs (c'est-à-dire que l'échange n'a pas falsifié de comptes pour interférer avec la sortie de l'arbre de Merkle). Enfin, l'arbre de Merkle est généré et les hachages des nœuds concernés ainsi que le hachage de la racine sont rendus publics pour vérification par l'utilisateur.

Tutoriel d'utilisation

Interface utilisateur frontale

Cliquez sur le lien ou allez sur le site web de Gate.io et faites défiler jusqu'en bas. Cliquez sur le bouton 100% Proof of Reserves pour accéder à la page d'accueil Gate Reserves.

Informations de base sur les réserves

Après avoir accédé à la page d'accueil de Gate.io Proof-of-Reserves, les utilisateurs peuvent directement consulter la dernière heure de mise à jour de la réserve. Dans l'exemple ci-dessous, l'audit le plus récent a été réalisé le 10 novembre 2023, en utilisant l'arbre de Markle + zk-SNARKs comme méthode d'audit. Les utilisateurs ont déposé des actifs d'une valeur d'environ 2,77 milliards de dollars, et les actifs détenus dans le portefeuille Gate dépassent les dépôts des utilisateurs de 434 millions de dollars, pour un total de 3,206 milliards de dollars. Le taux de réserve global est de 115,69 %.

Ratio de réserve pour une crypto-monnaie unique

En faisant défiler la page, vous verrez les montants spécifiques et les taux de réserve pour les différentes crypto-monnaies. En prenant la première crypto, BTC, comme exemple, au 8 décembre 2023, les utilisateurs ont déposé 13,85K BTC, tandis que le portefeuille de Gate détient 17,10K BTC, ce qui donne un ratio de réserve de 123,52% pour BTC.

Cliquez sur l'icône de la page dans le coin inférieur droit de l'image pour afficher le taux de réserve de 112 jetons sur Gate. Cliquez sur le bouton "Vérifier maintenant" dans l'image pour afficher le tutoriel de vérification. En suivant le tutoriel, vous pouvez vérifier si le solde de votre compte est inclus dans le calcul, confirmant ainsi que le taux de réserve reflète les résultats avec vos fonds correctement comptabilisés.

Autres pages d'affichage du frontend

Il existe un autre moyen de vérifier l'état d'avancement de l'audit de vos actifs, qui consiste à se rendre sur la page Mon compte et à naviguer jusqu'à la section Audits. Vous pouvez y consulter l'historique de vos audits et la situation globale des réserves de Gate.

Le processus de vérification

1. Téléchargez le programme de vérification

Les utilisateurs peuvent télécharger le programme de vérification via Github ou le lien de téléchargement fourni sur la page de réserve, et le renommer [main] :

L'utilisateur doit choisir le système correspondant à son appareil pour le téléchargement.

2. Téléchargez les données de vérification des actifs

Entrez dans la page d'audit personnel, trouvez le lot qui doit être vérifié et cliquez sur "Download Merkle Tree" et "Download User Config" respectivement pour télécharger les données.

Après le téléchargement, vous obtiendrez un fichier compressé nommé zkmerkle_cex_xxx.tar.gz. Placez le programme principal (le fichier du programme de vérification mentionné plus haut) dans le dossier, et placez le fichier user_config.json dans le dossier config. Une fois que tout est terminé, la structure du fichier sera comme indiqué dans le diagramme suivant :

Une fois cette étape franchie, tous les préparatifs nécessaires ont été effectués et la validation formelle peut commencer.

3. Vérifier les actifs de l'échange

Les utilisateurs peuvent directement entrer [cmd] ou entrer la commande [cd ~/Downloads/zkmerkle_cex_xxx] dans [terminal] pour accéder au fichier zkmerkle_cex_xxx précédemment configuré mentionné ci-dessus.

Puis entrez :

Texte brut
./main vérifier cex

Si la vérification est réussie, le message s'affiche :

Texte en clair
Toutes les épreuves ont été vérifiées !!!

4. Vérifiez vos propres actifs

Veuillez saisir la commande suivante pour vérifier vos propres actifs :

Texte brut
./main vérifier l'utilisateur

Si les avoirs de l'utilisateur sont calculés correctement, les données relatives au compte et au solde seront un nœud feuille de l'arbre de Merkle. Par conséquent, une vérification réussie sera émise.

Texte en clair
merkle leave hash : 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce
verify pass!!!

Si vous souhaitez obtenir plus de détails techniques, vous pouvez cliquer sur le lien pour accéder à Github et consulter le code source ouvert.

Conclusion

L'activation de zk-SNARK est une amélioration importante de la preuve de réserves de Gate.io et une étape significative dans la protection de la sécurité des actifs des utilisateurs. Grâce à des mesures de sécurité et de protection de la vie privée exceptionnelles, il renforce la confiance des utilisateurs et établit une nouvelle norme pour l'ensemble du secteur des crypto-monnaies.