ハッシュ木（マークル木）って何なんだぜ（＾～＾）！？

「　マークル木　とか言われても　分からんよな。
時給の高い求人、技術ドキュメントを自分で読んで解決できる人募集、とかだし……」

「　情報科学、情報処理の畑にいるやつの　マークル木分からん発言　わらう」

「　もう学校にいるわけでもない大人は　自分で調べるのよ」

順を追って説明

「　👆　ファイル４つで１セットのものを　配りたいやつがいるんだぜ。
１つが欠けてるとか、全部　改ざん　されてるとかあったら　受け取る人に　ちゃんと行き渡らないだろ」

「　👆　そこで、ファイル１つ１つから、なんらかの計算をして　ハッシュ　という数　を出しておくんだぜ。
この計算は　誰がやっても　同じ　ハッシュ　が出てくるものとするぜ。
ハッシュは　別のファイルと被る（衝突する）こともあるが、　宝くじに当たるような感じで　確率的に　ほぼ起こらないものとしようぜ」

「　ハッシュを　教えてもらえば、ファイルが　改ざん　されているかどうか　確認できるな」

「　👆　そのハッシュをいくつかまとめて、またハッシュを作るんだぜ」

「　ディレクトリごとに　まとめるとかした方が　よくない？」

「　👆　そのハッシュをいくつかまとめて、最終的には　１つの　ハッシュ　を作るんだぜ。
これを　トップハッシュ　とか、　マスターハッシュ　とか、　ルートハッシュ　と呼ぶそうだぜ」

「　ハッシュって、カレーと関係あるのかだぜ？」

「　バラバラに切り刻む、という意味では同じだぜ」

「　で、　この　トップハッシュ　１つを、　受け取る人に教えておけばいいわけだぜ。
全部のファイルのハッシュを教えなくていい」

「　いいのかなあ」

「　👆　そして今　受け取った人のパソコンには　ファイル２　と、　教えられたトップハッシュ　の２つがあるとしよう。
この　ファイル２　が本当に　改ざん　されていないかは　どうやって　確認するんだぜ？」

「　ファイル２　のことは忘れて寝て、明日起きたら　昨日のことは思い出さずに　新しい人生を生きていこうぜ」

「　👆　ハッシュB　は　誰でも　計算で出せるんでしょ。
ファイルを配ったやつが寝ていたら　電話で起こして　ファイル２　のハッシュを聞き出すことかしらねぇ？」

「　まあ　そうだな」

「　👆　ファイル３、４　だけを拾ったやつは、
ファイル１個１個のハッシュを聞かなくても　ハッシュCD　を聞けば　改ざん　されてないことが分かるので
便利だな」

「　👆　じゃあ今、　ハッシュB　と　ハッシュCD　は　知っているわけだぜ」

「　でも　ハッシュB　と　ハッシュCD　から　ハッシュＢＣＤ　を作っても、
ファイルを配ったやつから　教えてもらった　トップハッシュ　と同じにならないぜ。
何か　ファイルが欠けてんのかだぜ？」

「　要らんファイル　混ざってるかも知れないわね」

「　ファイルが欠けてるとか、要らないファイルが混ざってるとか、
このツリー構造を知らない　わたしたち　には　知る由もないのでは？」

「　どこかに　インデックス的な、　ツリーの形を教えてくれる情報がないと　そもそも　マークル木　できないよな。
Wikipedia 舐めてんのかな？」

「　ツリーの形は　情報として与えられているとしましょう」

「　👆　ファイルを丸ごと一式受け取った方は、あとは　ファイル１のハッシュ　を計算で求めておけば、
トップハッシュ　と比較するために必要なものは　揃うわけだぜ」

「　👆　だから　要点としては
ある程度の　かたまり　のハッシュを持っておくというのが　アイデア　で、
ファイル１個１個のハッシュを見直す必要がなくて　計算量が減っるということを　理由に、
改ざん　があるかどうかのチェックが高速になる　というメリットがある、
ということかだぜ？」

「　そうなのかなあ？」