Merkle Tree - ハッシュ木で包含を証明する

Merkle Tree(マークルツリー、ハッシュ木)は、データの並びを 2 つずつハッシュ関数で畳み込み、最後に 1 つの値へまとめる木構造です。まとまった 1 つの値をルートハッシュと呼びます。全件を持つ側は、データ 1 件と少数のハッシュだけを渡して、その 1 件が並びに確かに含まれていた事を相手に検証させられます。 ...

2026年8月8日 · 更新: 2026年8月10日 · 7 分 · nchika

Bitcoin Block - 取引をまとめて鎖にする単位

Bitcoin のブロックは、発生した取引をまとめて 1 つに束ね、直前のブロックへの参照で鎖状に繋いだデータの単位です。ブロックの列がブロックチェーンで、Bitcoin の参加者はこの列を送金の履歴として共有するよう動きます。 ...

2026年8月9日 · 更新: 2026年8月10日 · 9 分 · nchika

Bitcoin Merkle Tree - txid の木と SPV による検証

Bitcoin は、ブロックに入った取引(transaction、以下の図では Tx と略します)の並びを Merkle Tree で 1 つのルートハッシュへ畳み込み、80 バイトのブロックヘッダに収めています。ここでは、Bitcoin が何を葉にして木を組み立てているのか、その木で取引の包含をどう検証するのかを説明します。 ...

2026年8月9日 · 更新: 2026年8月10日 · 12 分 · nchika

Merkle Tree Design - 構築規則が決める安全性と証明能力

Merkle Tree の構築方法は 1 通りに決まっていません。奇数の葉をどう組むか、葉と内部ノードをどうハッシュするか、葉をどう並べるかは、それぞれのプロトコルが決める設計事項です。ルートハッシュが何を保証しているのかは、この規則を決めて初めて確定します。 ...

2026年8月9日 · 更新: 2026年8月10日 · 6 分 · nchika