麻省理工学院(MIT)的“法币密码学”系统几乎可以自动保护任何东

麻省理工学院计算机科学与人工智能实验室(CSAIL)设计了一个系统，可以运行复杂的数学算法来保证在线通信的安全。该代码被称为“法币密码学”，目前保护着90%的谷歌Chrome通信。

今年5月，研究人员在EEE安全与隐私研讨会上发表了他们的论文，不过这项技术最初是在2018年在麻省理工学院的实验室里理论化和部署的。

法币密码学旨在为所有硬件平台自动生成——并同时验证——优化的加密算法，这一过程过去是手工完成的。

你没听错:就在一年前，互联网上的数据加密还是由一群密码学家完成的，他们会编写和重写算法，手动权衡各种数学技术和芯片架构，以优化性能。

除了人为原因的bug和非最优算法这一明显的问题外，随着时间的推移，这些算法所使用的数学或芯片架构将会过时，很有可能需要重新设计。

研究人员首先在C语言编程和汇编语言中寻找解决方案，然后将这些技术转移到他们的代码库中——每种体系结构的最佳性能算法列表。

使用编译器将编程语言转换成代码，然后用Coq(数学定理证明程序)自动对算法进行验证。每次迭代都经过测试，然后为特定的芯片体系结构选择性能最佳的迭代。

在这个过程中，研究人员利用了已经存在的人类编写的代码，并发现自动生成用于数据加密的密钥和证书的过程与最好的手写代码的性能相匹配，但完成速度要快得多。

“这基本上就像在人脑中运行一个过程，并充分理解它，从而编写出模仿这个过程的代码，”参与该项目的CSAIL研究员亚当克里帕拉(Adam Chlipala)在接受麻省理工学院新闻(MIT News)采访时说。

法币密码学已经被谷歌的BoringSSL所采纳，这是一个开源的密码学库，被谷歌的Chrome、Android应用程序和其他程序所使用。

研究人员目前正在研究如何让他们的编译器在搜索优化算法时运行得更快。

麻省理工学院(MIT)的“法币密码学”系统几乎可以自动保护任何东西的安全