MIT的“Fiat Cryptography”自动化系统几乎能确保所有线上通信的安全

点击上方 “蓝色字” 可关注我们！

暴走时评： MIT的计算机科学与人工智能实验室（CSAIL）设计了一个系统来运行复杂的数学算法，从而确保线上通信的安全。代码被称为“Fiat Cryptography”，旨在为所有硬件平台自动生成并同步验证经过优化的加密算法，目前可以保护约90％的谷歌Chrome通信。

作者：Daniel Kuhn   翻译：Maya

MIT的计算机科学与人工智能实验室（CSAIL）设计了一个系统来运行复杂的数学算法，从而确保线上通信的安全。代码被称为“Fiat Cryptography”，目前可以保护约90％的谷歌Chrome通信。

研究人员在5月份的EEE安全与隐私研讨会上发表了他们的论文，尽管该技术最初是在2018年的MIT实验室中进行理论化和部署的。

Fiat Cryptography旨在为所有硬件平台自动生成并同步验证经过优化的加密算法，这一过程过去是由人工完成的。

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

除了明显的人为错误和非最优算法的问题，随着时间的流逝，算法编写的数学或芯片架构将变得过时，这意味着密码学家们不得不再次动笔计算。

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

使用编译器将编程语言转换为代码，然后使用数学定理证明器Coq自动校对算法。在针对特定芯片架构选择性能最佳的迭代之前，对每次迭代进行测试。

在此过程中，研究人员利用已有的人工编写代码，发现自动化生成密钥和数据加密证书的过程与人工编写的最佳代码的性能相匹配，但完成得更快。

“基本上，这就像是采用并充分理解人脑中的一个过程，然后模仿该过程编写代码，” 负责该项目的CSAIL研究员Adam Chlipala在接受MIT新闻采访时表示。

此后，Fiat Cryptography已经被部署在谷歌的BoringSSL上，这是一个由谷歌浏览器、Android应用程序和其他程序使用的开源加密库。

Chlipala与CSAIL研究生Andres Erbsen一起担任第一作者，Jade Philipoom和Jason Gross担任共同作者，以及工程研究生Robert Sloan。

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

本文仅代表作者个人观点，不代表区块链铅笔的立场，不构成投资建议，内容仅供参考。

3分钟了解什么是区块链？（中文动画）|（英文动画教程）

3分钟了解什么是DAO?（中文动画）|（英文动画教程）

3分钟看懂以太坊和智能合约？（中文动画）|（英语动画教程）

3分钟了解比特币挖矿和区块链共识机制？（中文动画）|（英文动画教程）

3分钟了解公有链和私有链（中文动画教程）|（英文动画教程）

3分钟了解区块链的六层模型（中文动画教程）|（英文动画教程）

什么是区块链英文版（动画教程）

肖风：区块链与另类资产配置

逐鹿区块链！详解三大巨头BAT区块链战略布局

麦肯锡报告：区块链对保险行业的影响

八张图表解读区块链的未来发展

震惊全球的The DAO黑客事件全程回顾

Circle获得包括IDG、百度、万向在内6000万美元融资

关注本公众号后，进入公众号

回复关键词可以查阅资料，以下是部分关键词

回复 WEF ，查看《WEF：世界经济论坛认为区块链是互联网金融行业的未来报告》

回复 智能合约 ，查看《巴克莱银行报告》

回复 moody ，查看《穆迪120个区块链项目报告》

回复 SWIFT ，查看SWIFT《区块链对证券交易全流程产生的影响及潜力》报告

回复 论文11 ，查看论文《可扩展的去中心区块链》

回复 埃森哲2 ，查看埃森哲《区块链每年可以为投资银行节省120亿美元》报告

回复 联合国报告 ，查看联合国报告《数字货币和区块链技术在构建社会和可信金融之间扮演的角色》

回复 用户特性 ，查看普林斯顿大学首本比特币教科书初稿《比特币用户的特性（Characteristics of Bitcoin Users）》

回复 普林斯顿 ，查看普林斯顿大学首本比特币教科书初稿《比特币和数字货币技术（Bitcoin and Cryptocurrency Technologies）》

回复 IMF，查看国际货币基金组织报告《Virtual Currencies and Beyond: Initial Considerations》

回复 DTCC ，查看美国存管信托清算公司报告《DTCC: 拥抱分布式》

回复 广发 ，查看报告《科技前沿报告：区块链：正快速走进公众和政策视野》

回复 川财1 ，查看报告《川财证券：区块链技术调研报告之一：具有颠覆所有行业的可能性》

回复 川财2 ，查看报告《川财证券：区块链技术调研报告之二：区块链技术进化论-区块链技术的国内实践和展望》

回复 桑坦德 ，查看桑坦德银行报告《The Fintech 2.0 Paper: rebooting financial services》

回复 拜占庭 ，查看《拜占庭将军问题详解》

回复 论文1 ，查看论文《比特币闪电网络：可扩展的离线即时支付》

回复 论文2 ，查看论文《比特币骨干协议》

回复 论文3 ，查看论文《数字货币是否应该进入Barbados央行国际储备货币组合中》

回复 帮助 ，查看本公众号全部关键词列表

点击下方“阅读原文”查看更多，页面出现后再点击“来源”可以查看译文原文链接  ↓↓↓