マークル証明

マークル証明とは？

マークル証明とは、マークルルートで表される大規模なデータセットに、1つのデータが含まれていることを示す暗号学的証明です。

暗号資産分野では、トランザクション、ウォレットアドレス、トークン残高、アカウント状態、ストレージ値、エアドロップの対象資格、NFTの許可リスト、その他のブロックチェーンデータの検証に使われます。

マークル証明は、マークルツリー内にデータが含まれていることを証明するため、マークルツリー証明とも呼ばれます。

マークル証明の主な目的は、効率的な検証です。

データセット全体をダウンロードまたは保存する代わりに、検証者が必要とするのは対象データ、関連する少数のハッシュ、信頼できるマークルルートだけです。

Bitcoinの開発者向けドキュメントでは、トランザクションハッシュをペアにして繰り返しハッシュ化し、ブロックヘッダーに1つのマークルルートを生成すると説明されています。

この設計により、ブロックチェーンシステムはデータの包含をコンパクトかつ安全に証明できます。

マークル証明の仕組み

マークル証明は、1つのデータ項目からマークルルートまでの経路を再構築することで機能します。

まず、データ項目をハッシュ化してリーフを作成します。

次に、ツリーを上にたどるために必要な兄弟ハッシュが証明によって提供されます。

検証者はリーフのハッシュと最初の兄弟ハッシュを組み合わせ、その結果をハッシュ化します。

次に、その結果と次の兄弟ハッシュを組み合わせ、再びハッシュ化します。

最終的なルートが計算されるまで、このプロセスを続けます。

計算されたルートが信頼できるマークルルートと一致すれば、証明は有効です。

計算されたルートが一致しなければ、証明は無効です。

つまり、マークル証明を使えば、データセット内の他の項目をすべて公開せずに、1つの項目を検証できます。

暗号資産分野でマークル証明が重要な理由

ブロックチェーンでは、すべてのユーザーがデータ全体を直接処理しなくても、大規模なデータセットを検証する必要があるため、マークル証明は重要です。

ブロックチェーンのブロックには、多数のトランザクションが含まれる場合があります。

スマートコントラクトを使ったエアドロップには、対象となるウォレットが数千、数百万含まれる場合があります。

ブロックチェーンの状態データベースには、アカウント、残高、コントラクトコード、ストレージ値などが含まれる場合があります。

マークル証明を使うと、小さな証明で特定の項目を検証できるため、これらのシステムの効率が高まります。

帯域幅、ストレージ、オンチェーンのガス代を削減できる場合があります。

また、ライトクライアント、スマートコントラクト、ブリッジ、ロールアップ、ウォレットアプリケーションが、中央サーバーへの依存を抑えてデータを検証するのにも役立ちます。

マークルルート

マークルルートは、マークルツリーの最上部にある最終ハッシュです。

ツリー内のすべてのデータを表すコンパクトなフィンガープリントとして機能します。

リーフが1つでも変わると、その上位のハッシュが変わり、マークルルートも変化します。

そのため、マークルルートは大規模なデータセットに対するコミットメントとして役立ちます。

ルートだけでは、データセット全体は明らかになりません。

マークル証明を検証する際の基準となる情報を、検証者に提供します。

検証者がルートを信頼しているか、ブロックチェーンのコンセンサスを通じてルートを検証できなければ、マークル証明は意味を持ちません。

マークル証明の例

ウォレットアドレスと請求額が4件登録されたエアドロップリストを考えてみましょう。

ウォレットと請求額の各記録をハッシュ化してリーフを作成します。

リーフ1とリーフ2をハッシュ化して、親ハッシュを作成します。

リーフ3とリーフ4もハッシュ化し、別の親ハッシュを作成します。

この2つの親ハッシュをさらにハッシュ化し、マークルルートを作成します。

ウォレット1が請求する場合、自身のウォレットアドレス、請求額、ルートを再構築するために必要な兄弟ハッシュを送信します。

スマートコントラクトは、保存されたルートに対して証明を検証します。

証明が一致すれば、コントラクトは請求記録が元のデータセットに含まれていることを確認できます。

Bitcoinにおけるマークル証明

Bitcoinは、各ブロック内のトランザクションを要約するためにマークルツリーを使用します。

各トランザクションをハッシュ化し、別のトランザクションハッシュとペアにして再びハッシュ化し、最終的に1つのマークルルートを生成します。

マークルルートはブロックヘッダーに保存されます。

ライトウォレットは、ブロック内のすべてのトランザクションをダウンロードせずに、マークル証明を使ってトランザクションがブロックに含まれているかを確認できます。

これは、一般にSPVと呼ばれる簡易支払い検証を支えています。

SPVは、フルノードを実行する場合と同じセキュリティを提供するものではありません。

ただし、ライトクライアントがトランザクションの包含をより効率的に検証できる方法を提供します。

Ethereumにおけるマークル証明

Ethereumは、アカウントやストレージデータを検証するために、マークル形式の認証済みデータ構造を使用します。

Ethereumのマークルパトリシアトライに関するドキュメントでは、Ethereumがハッシュで連結されたトライ構造を使い、状態データを暗号学的に検証できるようにしていると説明されています。

Ethereumの証明では、アカウント、残高、nonce、コードハッシュ、ストレージ値が特定のステートルートに含まれていることを示せます。

EIP-1186のeth_getProof標準では、Ethereumのアカウントやストレージ値のマークル証明を作成するRPCメソッドが定められています。

この方法は、アプリケーションが単一のデータ提供者を無条件に信頼せずにブロックチェーンの状態を検証したい場合に役立ちます。

Ethereumの構造は単純な二分マークルツリーより複雑ですが、信頼できるルートに対して証明するという基本的な考え方は同じです。

エアドロップにおけるマークル証明

マークル証明は、暗号資産のエアドロップで広く使われています。

プロジェクトは対象となるウォレットアドレスとトークン数量のリストを作成できます。

各項目がマークルツリーのリーフになります。

プロジェクトは、スマートコントラクトに1つのマークルルートを保存します。

ユーザーがトークンを請求する際は、請求データとマークル証明を提出します。

コントラクトは、証明が保存されたルートと一致するかを確認します。

対象となるすべてのアドレスをオンチェーンに直接保存する必要がなくなります。

そのため、大規模なエアドロップのコストを抑え、スケーラビリティを高められます。

請求を1回に限定する場合、コントラクトはユーザーがすでに請求したかどうかを記録する必要があります。

NFTの許可リストにおけるマークル証明

NFTプロジェクトでは、許可リスト、プレセール、早期ミントアクセスにマークル証明をよく使います。

承認済みのウォレットをすべてコントラクトに保存する代わりに、プロジェクトはマークルルートを保存します。

承認された各ウォレットには、許可リストのデータセットに含まれていることを示す証明が提供されます。

ミント時に、スマートコントラクトはウォレットのミントを許可する前に証明を確認します。

これにより、ガス代を削減し、許可リスト全体をオフチェーンに保つことができます。

ただし、ユーザーは署名を行う前に、公式のミントページ、コントラクトアドレス、請求手順を確認してください。

スマートコントラクトにおけるマークル証明

スマートコントラクトは、マークル証明をオンチェーンで直接検証できます。

エアドロップ、NFTの許可リスト、報酬請求、トークン保有者限定のアクセス、ホワイトリストシステムでよく使われます。

OpenZeppelinのMerkleProofドキュメントでは、ルートで定義されたマークルツリーにリーフが含まれているかを検証するためのSolidityユーティリティが提供されています。

通常、コントラクトはルートを保存し、請求やアクセス操作の際にユーザーが送信した証明を検証します。

これは、アドレスや記録の大規模なリストをオンチェーンに保存するよりも低コストです。

リーフのエンコード、ソート規則、ハッシュ関数を完全に一致させる必要があるため、証明システムは慎重に設計しなければなりません。

マークル証明とライトクライアント

ライトクライアントは、ブロックチェーンデータをすべてダウンロードして検証する代わりに、コンパクトな検証方法を利用します。

マークル証明を使うと、ライトクライアントは信頼できるブロックヘッダーやルートに対して、特定のトランザクションや状態値を検証できます。

これにより、モバイル端末、ブラウザー、ストレージが限られたシステムで暗号資産ウォレットを実用的に利用できます。

ライトクライアントはフルノードと同じものではありません。

フルノードはより多くのルールを検証し、より多くのデータを処理します。

ライトクライアントは証明を使い、リソースの要件を抑えながら信頼への依存を軽減しますが、異なるセキュリティモデルを採用しています。

マークル証明とブリッジ

クロスチェーンブリッジやメッセージングシステムでは、別のチェーン上でイベント、トランザクション、状態値が発生したことを検証するために、マークル証明を使う場合があります。

たとえばブリッジでは、別のネットワークでラップ資産を発行する前に、あるネットワークでトークンがロックされたことを証明する必要がある場合があります。

マークル証明を使うと、特定のイベントがブロックやステートルートに含まれていることを検証できます。

ただし、マークル証明があるだけで、すべてのブリッジが安全になるわけではありません。

ブリッジのセキュリティは、バリデーターの設計、コントラクトコード、オラクルに関する前提、ファイナリティの規則、ルートの信頼方法にも左右されます。

マークル証明が使われているからといって、ブリッジのリスクがすべてなくなると考えてはいけません。

マークル証明とロールアップ

ロールアップやスケーリングシステムでは、大量のトランザクションデータや状態データを要約するために、暗号学的コミットメントがよく使われます。

ロールアップの設計によっては、マークル形式の証明を使って、包含、退出、出金、状態遷移などを検証できます。

ロールアップでは、トランザクションのバッチや状態更新をルートでコミットし、後から検証できるようにする場合があります。

マークル証明は、この検証プロセスの一部として使われることがあります。

不正証明、有効性証明、データ可用性システム、その他の暗号学的ツールと組み合わせて使われることもよくあります。

マークル証明の具体的な役割は、スケーリングの設計によって異なります。

マークル証明とマークルツリーの違い

マークルツリーは、ハッシュを使ったデータ構造全体です。

マークル証明は、1つのリーフがそのツリーに含まれていることを証明するために使う、小さな情報の集合です。

ツリーには、すべてのリーフとブランチが含まれます。

証明に含まれるのは、1つの検証経路に必要な兄弟ハッシュだけです。

マークルルートはツリー全体を表します。

マークル証明は、個々のデータをそのルートに結び付けます。

マークル証明とマークルルートの違い

マークルルートは1つのハッシュです。

マークル証明は、ハッシュと関連する検証データのリストです。

ルートはコミットメントです。

証明は証拠です。

ルートだけでは、特定のデータが含まれていることを証明できません。

有効なルートがなければ、証明だけを信頼することもできません。

包含を検証するには、両方が必要です。

マークル証明とゼロ知識証明の違い

マークル証明は、特定のデータがコミット済みデータセットに含まれていることを証明します。

ゼロ知識証明は、その主張の背後にある非公開情報を明らかにせずに、より幅広い主張を証明できます。

通常、マークル証明はシンプルで、低コストで検証できます。

ゼロ知識証明は、より高度なプライバシー保護や計算の用途に対応できます。

この2つのツールを組み合わせて使うこともできます。

たとえば、ゼロ知識回路を使うと、どのリーフがユーザーに対応するかを明かさずに、ユーザーがマークルツリーに含まれていることを非公開で証明できます。

マークル証明のメリット

1つ目のメリットは効率性です。

検証者はデータセット全体をダウンロードせずに、個々のデータを確認できます。

2つ目のメリットは、ストレージコストを抑えられることです。

スマートコントラクトは、何千もの記録を保存する代わりに、1つのルートを保存できます。

3つ目のメリットは、スケーラビリティです。

大規模なデータセットをコンパクトなルートでコミットし、小さな証明で検証できます。

4つ目のメリットは、データの完全性です。

データや証明が変更されると、計算されたルートは一致しません。

5つ目のメリットは、プライバシーを部分的に保護できることです。

ユーザーは、データセット全体を明らかにせずに包含を証明できます。

マークル証明のリスクと制約

1つ目のリスクは、誤ったルートを信頼することです。

マークル証明が証明するのは、特定のルートで表されるデータセットへの包含だけです。

ルートが偽物、古いもの、または悪意を持って作られたものなら、証明が誤解を招く可能性があります。

2つ目のリスクは、リーフのエンコードが正しくないことです。

ウォレットアドレス、数量、トークンID、請求データが正しくエンコードされていないと、証明の検証に失敗したり、予期しない動作が起きたりする場合があります。

3つ目のリスクは、ソートの誤りです。

マークルツリーによっては、ハッシュ化の前にペアをソートする一方、左右の順序に依存するものもあります。

4つ目のリスクは、リプレイや二重請求です。

ユーザーごとの請求を1回に限定する場合、請求システムは使用済みの証明や請求済みアドレスを記録する必要があります。

5つ目のリスクは、フィッシングです。

詐欺師がマークル証明システムを装った偽の請求ページを作成し、ユーザーに危険なトランザクションへの署名を求める場合があります。

マークル証明を検証する方法

まず、信頼できるマークルルートを確認します。

次に、ウォレットアドレス、数量、トークンID、トランザクションハッシュなどのリーフデータを確認します。

元のツリーの構築に使われたものと同じ方法で、リーフをハッシュ化します。

リーフのハッシュを、証明に含まれる各兄弟ハッシュと組み合わせます。

各ペアを正しい順序でハッシュ化します。

最終的なルートが1つ計算されるまで、このプロセスを繰り返します。

計算されたルートを信頼できるルートと比較します。

ルートが一致すれば、証明は有効です。

ルートが一致しなければ、証明は無効です。

マークル証明に関するよくある誤解

よくある誤解の1つは、マークル証明がプロジェクトの正当性を証明するというものです。

証明できるのは、データが特定のルートで表されるデータセットに含まれていることだけです。

もう1つの誤解は、マークル証明によってデータセット全体が明らかになるというものです。

通常、明らかになるのは対象のリーフと、検証に必要な兄弟ハッシュだけです。

3つ目の誤解は、すべてのマークル証明が同じ形式を使うというものです。

システムによって、ハッシュ関数、ツリー形状、エンコード方法、ソート規則が異なる場合があります。

4つ目の誤解は、マークル証明がトランザクションにしか使われないというものです。

エアドロップ、NFTの許可リスト、ストレージ値、アカウント状態、ブリッジのイベント、ロールアップデータ、デジタルIDの請求などの検証にも使われます。

FAQ

マークル証明とは何ですか？

マークル証明とは、マークルルートで表される大規模なデータセットに、特定のデータ項目が含まれていることを示す暗号学的証明です。

マークル証明とマークルツリー証明は同じですか？

はい。マークル証明とマークルツリー証明は、通常、同じ概念を指します。

マークルルートとは何ですか？

マークルルートは、マークルツリーの最上部にある最終ハッシュで、データセット全体に対するコンパクトなコミットメントとして機能します。

マークル証明はどのようにデータを検証しますか？

対象のリーフと兄弟ハッシュを使ってルートを再構築し、信頼できるマークルルートと比較します。

エアドロップでマークル証明が使われるのはなぜですか？

対象となるウォレットや請求額をすべてオンチェーンに直接保存せずに、スマートコントラクトが請求資格を検証できるためです。

NFTの許可リストでマークル証明が使われるのはなぜですか？

NFTコントラクトが許可リスト全体をオンチェーンに保存せずに、ウォレットにミントが許可されているかを検証できるためです。

マークル証明にはプライバシーがありますか？

データセット全体を公開する必要はありませんが、対象のリーフや証明データは公開される場合があります。そのため、プライバシーを部分的に保護できます。

マークル証明を偽造できますか？

検証者が正しいルート、ハッシュ関数、リーフのエンコード、証明の順序を使えば、偽の証明は無効になるはずです。

マークル証明はゼロ知識証明と同じですか？

いいえ。マークル証明はコミット済みデータセットへのデータの包含を証明し、ゼロ知識証明は非公開の入力を明らかにせずに、より幅広い主張を証明できます。

マークル証明を使う請求ページで、ユーザーは何を確認すべきですか？

公式サイト、コントラクトアドレス、マークルルート、ウォレットの確認画面、請求ルール、トランザクションの詳細を確認してください。

まとめ

マークル証明は、個々のデータがより大きなデータセットに含まれていることを証明する、暗号資産分野の中核的な検証ツールです。

少数の兄弟ハッシュを使って、リーフを信頼できるマークルルートに結び付けます。

これにより、データセット全体を直接確認するよりも速く、低コストで、スケーラブルに検証できます。

マークル証明は、Bitcoinのトランザクション検証、Ethereumのステート証明、エアドロップ、NFTの許可リスト、スマートコントラクト、ライトクライアント、ブリッジ、ロールアップシステムなどで使われます。

コンパクトなデータ、暗号学的ハッシュ、検証可能な完全性を組み合わせている点が、この仕組みの強みです。

ただし、マークル証明の信頼性は、それを支えるルート、ツリー構築、ハッシュ関数、エンコード規則、検証コードによって決まります。

ユーザーは、フィッシングページや偽の請求システムにも注意する必要があります。

正しく実装されたマークル証明は、暗号資産システムの効率性、透明性、信頼への依存の低減に役立ちます。