CZ affronte SBF, le marché se lamente et la foi s'effondre. L'échange centralisé traditionnel CEX est souvent remis en question en raison de ses opérations opaques et a une mauvaise réputation. Afin de prouver leur innocence, le major CEX a annoncé qu'il utiliserait les arbres Merkel pour la certification des réserves. Cet article essaie donc de vous aider à comprendre ce qu’est un arbre de Merkel, et comment pouvez-vous croire que CEX a rendu son innocence ?

En tant que petit poireau, je ne connais que le nom de mon propre compte et combien d'argent se trouve sur mon compte. Comment puis-je savoir si CEX a détourné nos fonds ? S'il vous plaît, prouvez-le-moi.

1. Qu'est-ce qu'un arbre Merkle ?

L'arbre Merkle, également appelé arbre de hachage (arbre Merkle), est une structure de données arborescente en cryptographie et en informatique. Les arbres de hachage permettent une vérification efficace et sécurisée du contenu de grandes structures de données.

Le concept d'arbre de hachage a été breveté par Rafe Merkle en 1979, c'est pourquoi on l'appelle aussi arbre Merkle.

2. Comment vérifier

• Démonstration de vérification

Supposons qu'il y ait N utilisateurs dans un échange et que chaque utilisateur ait un montant différent d'ETH dans son portefeuille, X. Chaque utilisateur connaît son propre identifiant et le montant d'argent dans son portefeuille, mais ne connaît pas le montant d'argent dans celui des autres. portefeuilles. Je ne sais même pas combien de personnes il y a dans l’échange, alors comment puis-je croire que l’échange n’a pas détourné un centime de notre argent durement gagné ?

Nous voyons que cet arbre de Merkel a un total de quatre couches de structure. La couche inférieure est l'utilisateur. Il y a deux données, représentant l'utilisateur (N) et le Xn ETH dans le portefeuille. le portefeuille;chacun Les deux données de l'utilisateur constituent chacune une valeur de hachage. Par exemple, user1 et user2 correspondent respectivement à Hash1 et Hash2 puis itèrent vers le haut et deviennent Hash(1,2), qui finira par former un. Les nœuds de hachage (1,2,3 ... N-1, N) sont appelés racines d'arbre de hachage. La racine de l'arbre de hachage contient toutes les informations sur l'utilisateur et le solde de l'échange ;

Comme nous l'avons mentionné précédemment, en tant qu'utilisateur 1, il vous suffit de connaître votre identifiant et votre solde, ainsi que Hash2 et Hash(N-1,N) (ces deux hachages sont fournis par l'échange) pour vérifier si vous êtes à la racine. de l'arbre. [User1,Hash2,Hash(N-1,N)] est appelé la preuve d'arbre Merkle ou le chemin Merkle. L'utilisateur peut alors vérifier si la valeur de la racine de l'arbre correspond.

3. Prouver les conditions d'une réserve à 100 %

Ci-dessus, nous savons comment un utilisateur peut vérifier si les informations de son compte et le solde de son compte sont inclus dans le hachage racine. Lorsque l'échange divulgue la racine de l'arborescence Merkle, tout utilisateur peut vérifier que le solde de son portefeuille et l'UID des informations de son compte utilisateur sont dans l'ID. racine de l'arbre ?

Parallèlement, la bourse peut également faire appel à une société d'audit tierce :

1. Résumez les soldes de tous les utilisateurs dans l'arborescence d'audit ;

2. Examinez la somme des soldes de toutes les adresses de portefeuille sur la bourse.

4. Conclusion

Si les méthodes ci-dessus prouvent que le solde de l'échange est cohérent avec la somme des soldes de tous les utilisateurs ou adresses, et que tout utilisateur a également vérifié les informations et le solde de son compte ainsi que les informations sur la valeur de hachage à la racine de l'arbre, alors le La conclusion est qu’au moment où la valeur de la racine de l’arbre de Merkel a été annoncée, la bourse disposait de réserves à 100 %.

Si l'échange maintient une fréquence élevée de mise à jour de la racine Merkle du certificat de réserve, nous pouvons vérifier fréquemment et dynamiquement pour nous assurer que l'argent durement gagné n'est pas détourné, c'est aussi simple que cela !