图灵的遗产：战时密码破译对 Facebook 开发人员的影响

编译：徐九丨发布自：思否编辑部
原文标题：《The Turing legacy: How Facebook's developers still tap learnings from wartime code-breaking》

---

Bletchley Park 曾是英国战时密码破译的发源地，但它的存在不仅仅是因为历史上的奇闻异事，至今仍有着现实意义，甚至连 Facebook 在工程上的一些突破，都可以一直追溯到这个 Bombe（二战时期的一台高级计算机，主要用于密码破译）的超级秘密诞生地。

Bletchley Park 位于伦敦以北约 50 英里的米尔顿凯恩斯（Milton Keynes），在第二次世界大战期间是政府法规和密码学校（GC＆CS）的一部分。

在那里，英国数学家艾伦·图灵（Alan Turing）和他的团队使用世界上第一台专用计算机设备破解了德国的 Enigma 代码。图灵的机电设备被称为 Bombe，能够模仿 Enigma 设备并且对密码进行复杂的加密分析，因此读出了德国人正在交换的编码消息。

这一技术有效地使当时的盟国获取了敌人的秘密通讯，并且在决定战争结果方面起到了重要作用。

在 Bombe 之后，图灵的同事汤米·弗洛斯（Tommy Flowers）开发了巨人计算机（Colossus computer），巨人计算机破解了德国人发明的更复杂的洛伦兹密码，最终为盟军提供了诺曼底登陆时敌军部署的情报。

与当时在 Bletchley Park 进行的工作同样重要的是，图灵和他的团队的遗产仍然深深地渗透到我们的现代世界。Bombe 和 Colossus 事实上设定了许多协议的原则，这些协议支撑了今天的互联网安全。

---

其中一个例子是 Facebook 的程序分析工具 Zoncolan，这个工具被设计用来检查公司每天运行的数亿行代码，不需要实际运行程序就能得出结论，寻找潜在的危险漏洞。

Facebook 工程总监 Gemma Silvers 在媒体采访中表示：“当你看到人们为了理解如何使用程序分析来开发我们在 Facebook 上运行的应用程序的安全性和安全性所做的工作时，我们可以直接把它与阿兰·图灵的工作联系起来。”

“这个团队所推动的改进帮助我们公司发现了许多错误和漏洞，而在其它情况下，这些错误和漏洞需要花费数小时的人工分析。这是一个与 Bletchley Park 联系紧密的程序分析和漏洞检测的例子。”

阿兰 · 图灵经常被称为“现代计算之父” ，这是有充分理由的。他在 Bletchley Park 进行的工作展示了通过大规模机械化操作破译代码的潜力，并促成了第一台大规模数字计算机的搭建。Silvers 表示: “这是一段重要的历史，我们的产业就是建立在这段历史上的。”。

Bombe 和 Colossus 也为通用计算机的设计提供了灵感。在图灵计算理论的基础上建立起来的冯·诺伊曼结构，包括了诸如二进制存储数据和指令等元素，这些元素是现在许多通用计算机的基础。

因为 2019 冠状病毒疾病流感大流行给 Bletchley Park 的预算造成了压力，Facebook 不久前刚刚宣布向该网站捐赠 100 万英镑，用于支持未来两年的运营。

Facebook 的 Silvers 表示: “我们看待计算机科学和应用人工智能的方式有很多相似之处。”。“可以毫不夸张地说，如果没有图灵和他在布莱奇利的团队的工作，我们在 Facebook 上解决的问题将会有根本的不同。”

这里还有一个例子: Facebook 的一位研究人员和伦敦大学学院教授彼得·奥黑恩（Peter O'Hearn）在图灵的程序分析工作的基础上发展了一种新的理论，称为分离逻辑。作为一种全新的代码推理方式，O'Hearn 的理论现在已经被整合到平台的漏洞检测程序中，以发现生产前的 bug。分离逻辑在 2016 年开源，现在已经被亚马逊、Spotify、Uber、Mozilla 等公司使用。

O'Hearn 的工作只是图灵和他的团队以及在 Bletchley Park 进行的工作对现代世界提供巨大帮助的一个例子。对此 Silvers 表示: “我们所知道的许多现代科技领域，都是受到当时 Bletchley Park 一些创新的推动。”。

当然，图灵在计算机科学方面的遗产还没有达到它的极限。从量子计算到人工智能，未来几年将充斥着革命性的技术 —— 其中许多技术将间接起源于这一秘密诞生地 —— 米尔顿 · 凯恩斯（Milton Keynes）。