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

clipboard.png

编译:徐九丨发布自:思否编辑部
原文标题:《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)。

clipboard.png

阅读 1.1k

推荐阅读

第一时间为开发者提供行业相关的实时热点资讯

25751 人关注
2136 篇文章
专栏主页