Merkle プルーフとは何ですか？

葉に対する Merkle プルーフは、葉からルートへの経路に沿った兄弟ハッシュの集まりです。n 枚の葉を持つツリーでは、プルーフは log2(n) 個のハッシュからなります。検証方法：葉をハッシュし、プルーフのハッシュを正しい順序で組み合わせ、結果がルートと一致するかを確認します。これにより、全データをダウンロードせずに葉がツリーに含まれることを証明できます。

Merkle ツリーはどこで使われていますか？

Bitcoin (ブロック内のトランザクション検証)、Git (コンテンツアドレス型ストレージ)、ZFS (データ完全性)、Apache Cassandra (アンチエントロピー修復)、Certificate Transparency (ログ検証)、IPFS (コンテンツアドレス指定) で使われています。大規模データセットの効率的な検証が必要なシステムは、いずれも Merkle ツリーの恩恵を受けます。

データ検証にマークルツリーを使う

マークルツリーはデータをツリー構造にハッシュし、データセット全体をダウンロードせずに個々の要素を効率的に検証できるようにします。

1

Merkle ツリーは、葉でデータブロックをハッシュ化し、ペアごとにハッシュを取りながら根まで遡り、単一のルートを作ります。ブロックを検証するには、そのブロックと Merkle プルーフ (ルートへの経路に沿った兄弟ハッシュ) があれば十分です。検証は O(n) ではなく O(log n) で済み、全データではなくプルーフだけが必要です。Bitcoin、Git、ZFS、証明書透過ログで使われています。
2

ハッシュ計算ツール →
各データブロックをハッシュして葉ノードを作ります。SHA-256 (Bitcoin) または SHA-3 を使ってください。葉をペアにして連結ハッシュを取り、親ノードを作ります。ノードが 1 つ残るまで繰り返すと、それが Merkle ルートです。ルートはすべてのデータに対するコミットメントであり、葉のわずかな変更もルートを変えます。
3

SHA-3 / Keccak ハッシュ計算 →
Merkle ツリーのハッシュには SHA-3-256 を使います。SHA-3 は (SHA-2 と異なり) 長さ延長攻撃に耐性があり、ハッシュ連結を行う Merkle ツリーではより安全です。あるいは、SHA-256 にドメイン区切りを組み合わせる方法もあります (例：内部ノードには hash(0x00 || left || right)、葉には hash(0x01 || data))。

よくある質問

Merkle プルーフとは何ですか？: 葉に対する Merkle プルーフは、葉からルートへの経路に沿った兄弟ハッシュの集まりです。n 枚の葉を持つツリーでは、プルーフは log2(n) 個のハッシュからなります。検証方法：葉をハッシュし、プルーフのハッシュを正しい順序で組み合わせ、結果がルートと一致するかを確認します。これにより、全データをダウンロードせずに葉がツリーに含まれることを証明できます。
Merkle ツリーはどこで使われていますか？: Bitcoin (ブロック内のトランザクション検証)、Git (コンテンツアドレス型ストレージ)、ZFS (データ完全性)、Apache Cassandra (アンチエントロピー修復)、Certificate Transparency (ログ検証)、IPFS (コンテンツアドレス指定) で使われています。大規模データセットの効率的な検証が必要なシステムは、いずれも Merkle ツリーの恩恵を受けます。