Depuis l'incident FTX, « Ne faites pas confiance, vérifiez » (Don't Trust, Verify) est devenu la règle d'or de l'industrie de la cryptomonnaie. Les échanges centralisés ont-ils détourné les actifs des utilisateurs ? La meilleure façon de le prouver est la Preuve de réserves (Proof of Reserves, PoR).

Gate a été l'un des premiers échanges au monde à adopter une preuve de réserves à 100 % et a récemment introduit la technologie avancée zk-SNARKs (Zero-Knowledge Proofs). Cet article vous guidera pas à pas sur la façon de vérifier indépendamment la sécurité de vos actifs, sans dépendre d'aucun tiers.

1. La logique fondamentale de la preuve de réserves (PoR)

cover

Pour prouver qu'elle n'a pas détourné de fonds, une plateforme doit prouver deux choses au public :

  1. Total des passifs (Liabilities) : Quel est le montant total des fonds sur tous les comptes d'utilisateurs de la plateforme.
  2. Total des actifs (Assets) : Quel est le montant total des fonds dans les portefeuilles froids et chauds réellement contrôlés par la plateforme sur la blockchain.

Tant que le Total des actifs ≥ Total des passifs, cela signifie que la plateforme dispose de 100 % de réserves et n'a pas détourné les actifs des utilisateurs.

2. Pourquoi avons-nous besoin de l'« Arbre de Merkle » et des « Preuves à divulgation nulle de connaissance » ?

Si la plateforme publiait directement la liste des soldes de tous les utilisateurs, bien que cela puisse prouver le total des passifs, cela divulguerait gravement la vie privée des utilisateurs. Par conséquent, Gate utilise des technologies cryptographiques :

  • Arbre de Merkle (Merkle Tree) : Les données de solde de tous les utilisateurs sont hachées et cryptées, fusionnées couche par couche vers le haut, pour finalement générer une « Racine de Merkle » unique. Les utilisateurs peuvent utiliser leur propre valeur de hachage pour vérifier s'ils se trouvent sur un nœud « feuille » de cet arbre.
  • zk-SNARKs : La technologie de preuve à divulgation nulle de connaissance garantit que, sans révéler les soldes des autres utilisateurs, le calcul de cet arbre de Merkle est prouvé comme étant totalement honnête et précis, éliminant ainsi la possibilité pour la plateforme de falsifier ses passifs.

3. Tutoriel pratique : Vérifiez vos actifs indépendamment

Voici les étapes pour vérifier si vos actifs sur Gate sont garantis à 100 % :

Étape 1 : Obtenez votre valeur de hachage exclusive

  1. Connectez-vous à votre compte Gate (sur le Web).
  2. Faites défiler vers le bas de la page et cliquez sur « 100% Proof of Reserves ».
  3. Sur la page des réserves, trouvez « Mes données d'audit » ou « Vérifier mon compte ».
  4. Le système affichera le solde de votre compte lors du dernier instantané d'audit, ainsi qu'une valeur de hachage (Hash) exclusive. Veuillez copier cette valeur de hachage.

Étape 2 : Téléchargez l'outil de vérification open source

Pour garantir l'objectivité de la vérification, vous ne devez pas utiliser le bouton de vérification sur la page Web de la plateforme, mais plutôt utiliser un outil open source.

  1. Sur la page des réserves de Gate, trouvez et téléchargez le programme de vérification open source officiel (généralement hébergé sur GitHub).
  2. En même temps, téléchargez le package de données complet de l'arbre de Merkle contenant les valeurs de hachage de tous les utilisateurs anonymes (généralement un fichier CSV ou JSON volumineux).

Étape 3 : Exécutez la vérification localement

  1. Extrayez l'outil de vérification open source téléchargé sur votre ordinateur.
  2. Ouvrez le terminal de ligne de commande (CMD pour Windows ou Terminal pour Mac).
  3. Exécutez le script de vérification et entrez votre valeur de hachage exclusive copiée à l'étape 1.
  4. Résultat de la vérification : Si le programme affiche Verification Successful ou un message similaire, et que la racine de Merkle calculée correspond exactement au hachage racine publié par la plateforme, cela prouve mathématiquement à 100 % que : Vos actifs ont été comptabilisés avec précision dans le total des passifs de la plateforme, et la plateforme n'a pas caché vos fonds.

🔒 Choisissez la transparence, choisissez la sécurité

La transparence est la bouée de sauvetage des échanges de cryptomonnaies. Gate a entièrement confié le pouvoir de supervision aux utilisateurs grâce au code open source et aux preuves à divulgation nulle de connaissance.

Inscrivez-vous sur Gate et profitez d'une transparence des actifs à 100 %

4. Conclusion

La vérification indépendante des actifs via l'arbre de Merkle et les zk-SNARKs, bien qu'elle nécessite un peu d'esprit geek, est actuellement le mécanisme de confiance le plus solide et le plus fiable dans le monde du Web3. En maîtrisant cette compétence, vous ne ferez plus aveuglément confiance à aucune institution, mais vous ferez confiance aux mathématiques et au code.