2.2 布莱切利园：图灵与炸弹机的反攻

2.2 布莱切利园：图灵与炸弹机的反攻

本节摘要：恩尼格玛没有被"人力穷举"攻破，它死于三代人的数学接力：波兰人雷耶夫斯基用置换群论从报头规律撕开口子；图灵把"猜测明文绝不自映射"变成可批量执行的逻辑电路——炸弹机；战争末期电子计算机科洛苏斯提前登场。本节复盘整场战役，并提炼它留给现代密码工程的协议设计教训。

三个波兰人先做到了

故事不从英国开始。1932 年 12 月，二十八岁的波兰密码局数学家雷耶夫斯基（Marian Rejewski）拿到了两样东西：法国情报线人施密特提供的恩尼格玛操作手册与密钥表（未含转子内部接线），以及一大批真实密文。凭这些，他做了当时被普遍认为不可能的事——纯用数学反推出三只转子的内部接线。他的武器是大学课堂里的置换群论：操作规程要求消息密钥加密两遍随文发出，于是每份密文开头的六个字母里，第一与第四位、第二与第五位、第三与第六位永远源自同一字母。把千百份密文的这些对应关系汇总成置换，其循环结构只依赖转子接线与当日轮换次序——雷耶夫斯基据此构造出"循环指标"分类体系，把每种转子序对应的特征编成目录，查表即知当日配置。

随后他和同事齐加尔斯基、鲁日茨基持续升级：法国人帮忙补上转子接线的实物情报，波兰人则造出验证设备"炸弹机"（bomba kryptologiczna）与打孔的齐加尔斯基片，实现半自动化恢复日钥。1939 年 7 月下旬，华沙。波兰向英法两国代表全盘移交五年积累——两个月后德国闪击波兰。历史学家公认的判断是：没有波兰的移交，布莱切利园至少要多走两年弯路，而战争未必等得起。

图：从专利到破译——机械密码攻防时间线

二、图灵的 crib：让机器自己否定自己

波兰方法依赖"消息密钥加密两遍"的规程，德军 1940 年 5 月改规程后此路封死。接棒的是图灵，他的方案只需要一样东西：crib——能猜到的明文片段。德军报务纪律刻板到可以作为破译资源：天气预报站每天定时发报，WETTER（天气）几乎必在报文开头；某某军官的落款格式常年不变。猜定 crib 在密文中的位置后，逐位对齐写下来，一条铁律开始发挥作用——上一节说的"字母不自映射"：crib 的每个字母与其对齐的密文字母必不相同，凡冲突的转子配置当场出局。

图灵更进一步，把约束变成回路：crib 中反复出现的字母对在假想配置下会形成电流逻辑环，环内一旦出现矛盾（字母映射到自身），整族配置连同接线板的几十亿种组合一起被排除。这个判据可以完全机械化——1940 年 3 月，首台英制炸弹机（the bombe）在布莱切利园开跑：三十六台恩尼格玛转子组同步旋转，直到逻辑判据筛出极少数候选日钥，再交人工验证。韦尔什曼随后补上的"对角线板"把排除效率再抬一个量级。到 1943 年，园内炸弹机约两百台，海军恩尼格玛（四转子，密钥空间再乘 26）也由图灵设计的 Banburismus 统计法（贝叶斯思想的战地应用）驯服。

攻防的天平自此彻底倒向数学一侧。1943 至 1944 年，汤米·弗劳尔斯造出全电子的科洛苏斯（Colossus），用于破译德军最高统帅部的 Lorenz 电传密码——它有约 1600 只电子管、能以每秒五千字符的速度执行布尔逻辑判据，被广泛视为第一台大规模电子数字计算机。密码破译不仅改写战争，还顺手催生了计算机时代。

三、留给现代工程的教训

复盘整场陷落，恩尼格玛的转子再精密，死因都在使用规程而非机器本身：消息密钥加密两遍（结构线索）、报务员偷懒选弱密钥（"cillies"：随手敲出的重复字母密钥）、落款与格式固定（crib 来源）、密钥本需物理分发（一旦缴获潜艇即整月裸奔）。这套教训在今天的协议设计里一字未过时：TLS 每次会话临时生成会话密钥（不再有"日钥"这种高价值靶子）、加密算法把随机数生成纳入协议本体（不给操作员发挥空间）、密钥协商有前向安全（丢一把长期私钥不泄露历史流量）。2.3 节的香农理论随后为这些工程直觉补上数学解释。

💡 关键直觉：破译者不需要吃掉整个密钥空间，只需要一条能批量排除候选的判据。恩尼格玛的 10²³ 在"字母不自映射"这条判据面前不堪一击——安全分析永远先找判据，再谈空间。

战役之外的三个注脚

注脚一：图灵在布莱切利园的另一项遗产是班伯里主义——用贝叶斯式的证据加权在有限拦截中排序候选日钥，因打分用纸产自班伯里小镇得名。密码分析第一次大规模使用统计推断，香农信息论的思想在战时提前预演。

注脚二：波兰的齐加尔斯基片值得单独致敬：用打孔卡片穷举转子状态的组合结构，本质是纸质的暴力搜索加速器。数学之外，把穷举工程化——这条线索一路通向炸弹机与科洛苏斯。

注脚三：Ultra 情报的使用纪律本身也是一门学问：同盟国刻意避免让德军察觉密码已破，许多情报须经"侦察机碰巧路过"式的掩护才能转化为行动。破译是数学，用破译是艺术；保密的最后一环，是对自己人的保密。三条注脚共同说明：密码战的胜负手从来不止于算法。

一组数字：工程的规模

到战争结束，布莱切利园的规模从战前的百余人膨胀到约九千人，其中大多数是操作炸弹机的女性服役人员；园内运转的炸弹机约两百台，每台高约两米、重一吨，昼夜三班倒地按当日 crib 候选扫描。科洛苏斯则装了约一千六百只电子管（后继型号超过两千只），全速运转时每秒处理约五千字符的纸带。这组数字提示我们：破译恩尼格玛不是灵光一现的故事，而是一场人力、机械与数学协作的工业化战役——密码学的现代形态，就是从这条流水线上诞生的。

本节要点回顾

• 波兰阶段（1932–1939）：雷耶夫斯基以置换群论反推转子接线，循环指标目录、炸弹机雏形与齐加尔斯基片实现半自动破译，1939 年 7 月全盘移交英法；
• 图灵阶段（1940 起）：crib 加"不自映射"判据构成逻辑回路，炸弹机将日钥搜索机械化，对角线板放大排除效率，Banburismus 以统计法驯服海军四转子型；
• 电子时代（1944）：科洛苏斯破 Lorenz 密码，密码破译催生第一代电子计算机；
• 工程教训：协议与操作规程的疏漏比算法本体更致命——现代协议用临时密钥、协议内随机性与前向安全逐条回应。

机械密码的战争结束了，但战争中的思考没有结束。下一节看香农如何把"什么才算真正安全"变成一条可以被证明的数学命题。