Kraken でマークル ツリーを確認するにはどうすればよいですか? （準備金の証明）

マークル ツリー検証について

1. マークル ツリーは、個々のユーザーの残高を明らかにすることなく資産の保管を実証するために Kraken によって使用される暗号化データ構造です。

2. 各リーフ ノードはハッシュされたユーザー残高を表し、内部ノードには子ノードのハッシュが含まれ、最終的に単一のルート ハッシュになります。

3. Kraken は、マークル ルートをオンチェーンまたは署名された証明書経由で公開し、第三者やユーザーによる独立した検証を可能にします。

4. ユーザーは、リーフ ハッシュ、ルートへのパスに沿った兄弟ハッシュ、インデックス位置を含むパーソナライズされたマークル証明を受け取ります。

5. この証明により、提供されたデータのみを使用してルート ハッシュを再構築できます。不一致は改ざんまたは不一致を示します。

段階的なクライアント側の検証

1. Kraken の Proof of Reserves ダッシュボードから個人監査ファイルをダウンロードします。これには、暗号化された残高、リーフ ハッシュ、証明パスが含まれます。

2. 監査登録プロセス中に生成した秘密キーを使用して残高を復号化します。Kraken がこのキーを保持することはありません。

3. 復号化された残高を SHA-256 でハッシュして、リーフ ノード値を生成します。

4. 現在計算されたハッシュを使用して各兄弟値を繰り返しハッシュし、インデックス ビット シーケンスに基づいて左/右を交互にハッシュし、マークル パスをたどります。

5. 最終的に計算されたハッシュを、公開されているマークル ルートと比較します。一致する場合、残高が集計リザーブ スナップショットに含まれていることを確認します。

暗号署名の役割

1. Kraken は ECDSA キー ペアを使用してマークル ルートに署名し、公開キーは Web サイトで公開され、DNSSEC 経由で検証されます。

2. 署名はルート ハッシュとスナップショットのタイムスタンプの両方をカバーし、リプレイ攻撃や古い証明を防ぎます。

3. ユーザーは、OpenSSL または JavaScript のellipticなどのライブラリを使用して署名を検証し、ルートが Kraken の承認されたキーによって発行されたことを確認できます。

4. Merkle ルートを権限のあるものとして受け入れる前に、署名の検証が必須です。

5. Kraken は署名キーを定期的にローテーションし、すべてのローテーションは発表され、以前の証明書に暗号的に固定されます。

検証中の一般的な失敗ポイント

1. 残高をハッシュする際のバイト順序の処理が正しくない - Kraken は、ハッシュする前に数値にビッグエンディアン エンディアンを使用します。

2. インデックス ビットの不整合により、兄弟連結順序が間違ってしまいます。ハッシュは、ビットごとの左右の優先順位に厳密に従う必要があります。

3. 埋め込みおよびエンコードされた文字列表現の代わりに生の残高を使用します。残高は、固定長のゼロ埋め込み 10 進数文字列としてシリアル化されます。

4. 16 進数でエンコードされたハッシュの大文字と小文字の区別を無視する - Kraken の証明では SHA-256 出力は小文字であり、再計算中も小文字のままでなければなりません。

5.最初に署名を検証しないと、偽造または古いルートに対して検証が行われる可能性があります。

よくある質問

Q: マークル証明の検証により、Kraken がユーザー資産の 100% を保持していることが確認されますか? A: いいえ。公開されたデータセットに含まれていることを確認するだけです。支払い能力、資産の分離、または負債の不在を証明するものではありません。

Q: マークル証明を使用して他人の残高を確認できますか? A: いいえ。各プルーフには、その特定のリーフに関連するパスのみが含まれています。元のバランス値がないと、再構築は失敗します。

Q: Kraken はなぜ SHA-3 や BLAKE2 ではなく SHA-256 を使用するのですか? A: SHA-256 は、広範なライブラリ サポート、プラットフォーム間でのハードウェア アクセラレーション、および Bitcoin の暗号スタックとの調整を提供します。これは、エコシステム間の相互運用性に不可欠です。

Q: マークル ツリーはソートされていますか?もしそうなら、どのようにして？ A: はい。リーフはユーザー識別子のハッシュによって辞書順に並べられ、独立した検証全体で決定的なツリー構築が保証されます。