マークルツリー（Merkle Tree）
マークルツリーは、大規模なデータセットの整合性を要約および検証するために使用されるツリーデータ構造であり、ブロックチェーン技術で一般的に使用されます。
マークルツリーは、ハッシュツリーとも呼ばれ、ブロックチェーン技術の基本的な構成要素です。これらは、データの整合性を効率的にエンコードし、検証します。ツリー内の各リーフノードは、データブロックのハッシュを表し、各非リーフノードはその子ノードのハッシュです。この構造により、データセット全体をダウンロードすることなく、データの効率的な検証が可能になります。
マークルツリーのルートは、マークルルートとして知られており、データセット全体の単一のフィンガープリントとして機能します。マークルルートを比較することにより、データが変更されたかどうかをすばやく判断できます。これは、ブロックチェーンデータのセキュリティと不変性を確保するために不可欠です。マークルツリーは、BitcoinやEthereumなど、さまざまなブロックチェーンアプリケーションで使用されており、トランザクションデータを効率的に管理および検証します。
graph LR
Center["マークルツリー（Merkle Tree）"]:::main
Pre_hashing["hashing"]:::pre --> Center
click Pre_hashing "/terms/hashing"
Pre_cryptography["cryptography"]:::pre --> Center
click Pre_cryptography "/terms/cryptography"
Pre_data_structures["data-structures"]:::pre --> Center
click Pre_data_structures "/terms/data-structures"
Rel_zero_knowledge_proof["zero-knowledge-proof"]:::related -.-> Center
click Rel_zero_knowledge_proof "/terms/zero-knowledge-proof"
Rel_object["object"]:::related -.-> Center
click Rel_object "/terms/object"
Rel_atomic_swap["atomic-swap"]:::related -.-> Center
click Rel_atomic_swap "/terms/atomic-swap"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 5歳でもわかるように説明
100個の箱があるとして、全部を確認する代わりに、2個ずつペアにして「まとめラベル」を貼ります。さらにそのラベル同士をまとめていき、最後に1つの「マスターラベル」を作ります。箱の中身が1つでも変われば、マスターラベルも変わるので、すぐに不正に気づけます。
🤓 Expert Deep Dive
Merkle Trees provide a cryptographic primitive for efficient set reconciliation and data verification in distributed systems. The security relies on the collision-resistance and one-way properties of the underlying [hash function](/ja/terms/hash-function) (e.g., SHA-256). A Merkle Proof consists of the sibling hashes along the path from a leaf to the root. The size of the proof is logarithmic with respect to the number of data blocks (O(log n)). This logarithmic complexity is crucial for scalability in systems with vast datasets. Variations exist, such as Merkle Patricia Trees (used in Ethereum), which incorporate key-value storage and allow for more complex state representation by hashing not just data blocks but also node pointers and intermediate states. Vulnerabilities can arise from weak hash functions or improper implementation, but a correctly constructed Merkle Tree offers strong guarantees against data tampering. The Merkle Root acts as a trust anchor for verifying entire datasets.