1943：Colossus — 布萊切利莊園的密碼破譯與電子計算#

案情#

1943 年春，英國布萊切利莊園（Bletchley Park）的 Post Office 實驗室裡，湯米・佛勞斯（Tommy Flowers）率領工程師開始建造 Colossus——一台以約 1,600 支真空管驅動的高速電子機器。1944 年 2 月 5 日，Colossus Mark 1 投入運作，專門破解德國高階統帥部使用的 Lorenz SZ40/42 密碼機（希特勒與前線將領間的「金槍魚/Tunny」電傳密碼）。戰爭結束前共建有十台。

前因#

1940 年英國截獲 Lorenz 密文；1941 年一名德國操作員重傳長訊息時犯錯，讓布萊切利莊園的 John Tiltman 與數學家 Bill Tutte 反推出 Lorenz 機的完整邏輯結構——機器本身未被繳獲，密碼卻被「讀心」破解。
Tunny 破譯需大量統計運算：Max Newman 依 Tutte 的方法提出用機器自動化，1943 年的 Heath Robinson 機以混合機械與電子方式運作，但紙帶易斷、速度不足。
佛勞斯力排眾議（上級怕真空管不可靠，當時 ENIAC 尚未完成），主張全電子化，並用「不關機、常年通電」策略繞開真空管燒毀問題。
美國同行尚在建造繼電器與機械混合的 Harvard Mark I（1944）。

線索與推理#

偵探的推理核心：戰爭把「計算需求」壓縮成絕對命令。Colossus 面對的問題是統計相關性——在密文中找出 Lorenz 輪子的位置設定，使特定統計量（如 1 與 0 的偏差 \(\chi^2\) 類量）最大化。Tutte 的方法將密文與自身做位移比較，統計脈衝的一致率；這本需數週人力，Colossus 在數小時內完成。決策邏輯上有兩個驚人跳躍：其一，佛勞斯證明「真空管比繼電器可靠」——只要穩定供電、不斷開關，故障率反而更低；這一判斷推翻了當時工程界常識，開啟全電子計算的信任基礎。其二，Colossus 以紙帶讀取密文（每秒 5,000 字元）而「輪子設定」由電子邏輯高速生成，實現了資料與邏輯分離。它不是通用電腦（無條件跳躍、不能儲存程式），但已是可程式化的電子數位機器——且由於極機密，戰後十台全數拆毀，工程師被迫守密三十年，歷史地位長期讓位給 ENIAC。

理論#

Tunny 破譯的統計基礎：設密文位元 \(c_i = p_i \oplus k_i\) （明文與金鑰 XOR）。對兩條不同訊息的同金鑰異文 \(\Delta c = \Delta p \oplus \Delta k\) ，當 \(\Delta k = 0\) 時 \(\Delta c\) 即洩露德文特徵（德文 \(\Delta p\) 的 0 比例約 55–57%）。Colossus 計數的一致率：

\[ \hat{p} = \frac{1}{N} \sum_{i=1}^{N} \mathbf{1}[\Delta c_i = 0] \]

判斷輪位是否正確即檢定 \(H_0: \hat p = 1/2\) 對 \(H_1: \hat p > 1/2\) ，Colossus 以電子計數器累計命中數並依貝氏後驗排序：

\[ P(\text{輪位} \mid \text{資料}) \propto P(\text{資料} \mid \text{輪位}) P(\text{輪位}) \]

這是將統計假設檢定硬體化的先例——「以速度換統計功效」。

後果#

依史家估計，Tunny 破譯使歐戰縮短約兩個月，D-Day 前夕德軍動態盡在盟軍掌握。
全電子真空管機器的可行性由此確證，直接鼓舞戰後電子計算機發展。
Newman 戰後赴曼徹斯特建立計算機實驗室，1948 年誕生 Manchester Baby；佛勞斯的團隊也回流產業。
因保密延誤，英國喪失將電子計算產業化的先機，戰後領導權移轉美國。

冷案檔案#

時間：1944 年 2 月 5 日啟用，英國布萊切利莊園。
案由：佛勞斯建造真空管電子機器破解德軍 Lorenz 密碼。
歷史定位：第一台大規模電子數位計算機之一；其存在保密逾三十年，改寫計算機史敘事。