番外①の脅威への、現代の答え ── 種を極小化し、多様性で検める

Bootstrappable Builds ── 種を極小化する Trusting Trust（番外①）は言いました ── 「自分が作っていないバイナリを、信用するしかない」。現代の答えは二つ ── 信用する種を、人間が手で読める大きさ（357バイト）まで小さくする。そして、別系統のコンパイラで二重に検算する。

番外①で、Thompson の暗い双子を見ました ── コンパイラのソースがクリーンでも、汚染バイナリの子孫でビルドする限りトロイは生き延び、信頼は「自分が作っていないもの」で底を打つ、と。では手も足も出ないのか。いいえ。本編の希望（自己ホスティングの輪・手で彫った種）に現代の答えがあったように、この脅威にも、二つの強力な対抗策があります ── ①種を人間可読なサイズまで極小化する（Bootstrappable / Full-Source Bootstrap）、②別系統のコンパイラで二重コンパイルして検算する（DDC）。鶏と卵の“希望”の、総仕上げです。

01戦略① ── 信用する種を、手で読める大きさに

番外①の問題の核心は、「信用せざるを得ない最初のバイナリが、大きすぎて中身を検められない」ことでした。ならば ── その種を、ぎりぎりまで小さくすればいい。 Bootstrappable Builds プロジェクトは、信用が必要なバイナリの数と大きさを最小化します。到達点が見事です ── わずか 357 バイトの hex0 という種から、GNU システム全体をソースだけで組み上げる（Full-Source Bootstrap）。

この 357 バイトの上に、少しずつ大きな道具がソースから積み上がります。下の図で、種から gcc、そして GNU システムまで登ってください。第4回「小さな核から全部」・第9回「ブートストラップの階段」の、まっすぐな子孫です。

02戦略② ── 別系統のコンパイラで、二重に検める（DDC）

もう一つの答えは、種を小さくするのとは別方向 ── すでにある怪しいコンパイラを、そのまま検証する方法です。David A. Wheeler の Diverse Double-Compiling（DDC, 多様な二重コンパイル）。アイデアはこう ── 疑わしいコンパイラ X とは別系統の、信用できるコンパイラ A を用意し、同じソースを二重にコンパイルして、結果を X のバイナリとビット単位で比べる。

ここが鮮やか。Thompson の毒は、ソースにも、別系統の A にも入っていない（毒は X のバイナリの系譜だけに潜む）。だから A を経由して作り直したバイナリはクリーンで、── もし X が汚染されていれば、作り直した結果と X が食い違い、毒が露見する。下の図で、X を「正直」と「汚染」で切り替えて、汚染のときだけ照合が失敗するのを見てください。

03種明かし ── 「全部は作れない」を、こう乗り越える

番外①の教訓は「自分で完全に作ったのでないコードは信用できない」。現実には誰も全部は作れません。でも二つの戦略は、それを実務的に乗り越えます ── 信用する範囲を 357 バイトまで小さくして人間が読み切り、さらに多様な第二コンパイラで相互に検算する。 「全部を作る」の代わりに、「小さく信用し、独立に確かめ合う」。Thompson が「原理的に見破れない」と示した毒は、もはや原理的に見破れるものになりました。