Comment vérifier un arbre Merkle sur Kraken ? (Preuve de réserves)

Comprendre la vérification de l'arbre Merkle

1. Un Merkle Tree est une structure de données cryptographiques utilisée par Kraken pour démontrer la conservation des actifs sans révéler les soldes des utilisateurs individuels.

2. Chaque nœud feuille représente un solde utilisateur haché, et les nœuds internes contiennent les hachages de leurs nœuds enfants, aboutissant à un seul hachage racine.

3. Kraken publie la racine Merkle en chaîne ou via des attestations signées, permettant une vérification indépendante par des tiers et des utilisateurs.

4. Les utilisateurs reçoivent une preuve Merkle personnalisée contenant leur hachage de feuille, les hachages frères et sœurs le long du chemin vers la racine et la position de l'index.

5. La preuve permet la reconstruction du hachage racine en utilisant uniquement les données fournies : toute incohérence indique une falsification ou une incohérence.

Validation étape par étape côté client

1. Téléchargez votre fichier d'audit personnel à partir du tableau de bord Preuve de réserves de Kraken, qui comprend votre solde crypté, votre hachage feuille et votre chemin de preuve.

2. Décryptez votre solde à l'aide de la clé privée que vous avez générée lors du processus d'inscription à l'audit : Kraken ne détient jamais cette clé.

3. Hachez le solde déchiffré avec SHA-256 pour produire la valeur de votre nœud feuille.

4. Parcourez le chemin Merkle en hachant de manière itérative chaque valeur frère avec le hachage calculé actuel, en alternant gauche/droite en fonction de la séquence de bits d'index.

5. Comparez le hachage final calculé avec la racine Merkle publiée publiquement : une correspondance confirme que votre solde est inclus dans l'instantané de la réserve globale .

Rôle des signatures cryptographiques

1. Kraken signe la racine Merkle à l'aide d'une paire de clés ECDSA, et la clé publique est publiée sur son site Web et vérifiée via DNSSEC.

2. La signature couvre à la fois le hachage racine et l'horodatage de l'instantané, empêchant ainsi les attaques par relecture ou les preuves obsolètes.

3. Les utilisateurs peuvent vérifier la signature à l'aide d'OpenSSL ou de bibliothèques comme elliptic en JavaScript, garantissant que la racine a été émise par la clé autorisée de Kraken.

4. La validation de la signature est obligatoire avant d'accepter une racine Merkle comme faisant autorité .

5. Kraken effectue périodiquement une rotation des clés de signature, et toutes les rotations sont annoncées et ancrées cryptographiquement dans les attestations précédentes.

Points de défaillance courants lors de la vérification

1. Gestion incorrecte de l'ordre des octets lors du hachage des soldes : Kraken utilise le codage big-endian pour les valeurs numériques avant le hachage.

2. Désalignement des bits d'index conduisant à un mauvais ordre de concaténation des frères et sœurs : le hachage doit suivre une stricte priorité gauche-droite par bit.

3. Utilisation d'un solde brut au lieu d'une représentation sous forme de chaîne complétée et codée : les soldes sont sérialisés sous forme de chaînes décimales de longueur fixe, complétées de zéros.

4. Ignorer la sensibilité à la casse dans les hachages codés en hexadécimal : les sorties SHA-256 sont en minuscules dans les preuves de Kraken et doivent le rester pendant le recalcul.

5. Ne pas valider d'abord la signature peut entraîner une vérification par rapport à une racine falsifiée ou périmée .

Foire aux questions

Q : La vérification Merkle confirme-t-elle que Kraken détient 100 % des actifs des utilisateurs ? R : Non. Cela confirme uniquement l’inclusion dans l’ensemble de données publié. Cela ne prouve pas la solvabilité, la ségrégation des actifs ou l’absence de passif.

Q : Puis-je vérifier le solde de quelqu'un d'autre à l'aide de sa preuve Merkle ? R : Non. Chaque preuve contient uniquement le chemin correspondant à cette feuille spécifique. Sans la valeur du solde d'origine, la reconstruction échoue.

Q : Pourquoi Kraken utilise-t-il SHA-256 au lieu de SHA-3 ou BLAKE2 ? R : SHA-256 offre une large prise en charge de bibliothèques, une accélération matérielle sur toutes les plates-formes et un alignement avec la pile cryptographique de Bitcoin, ce qui est essentiel pour l'interopérabilité entre les écosystèmes.

Q : L'arbre Merkle est-il trié ? Si oui, comment ? R : Oui. Les feuilles sont classées lexicographiquement par hachage d'identifiant utilisateur, garantissant ainsi une construction d'arbre déterministe à travers des vérifications indépendantes.