GitHub发布加密工具Evercrypt 号称“不会被黑”
有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具，名为“EverCrypt”。从字面意思看，这个名字取得一点都不客气——“永远加密”。
负责该项目的计算机科学家Karthik Bhargavan在《Quanta Magazine》撰文称，通过将计算机代码视为数学证明，该库被证实对大多数黑客攻击都是无懈可击的。
Evercrypt据称是一个“软件库”，涉及简单的算术，包括几何和素数。
通常情况下，程序员团队创建的软件是来满足他们所希望达成的某些目标。完成后，他们会测试代码；如果软件能在没有带来不良后果的情况下完成了目标，程序员就可以得出结论，认为该软件可以完成它的目标。
编码错误通常情况下只是出现在极端的“临界情况”中，是由一些“不太可能发生的事”构成的完美风暴带来的重大漏洞。近年来最具破坏性的黑客攻击之中，许多例子都和这种极端情况有关。
然而，EverCrypt没有采用大多数代码的编写方式。负责EverCrypt的卡内基梅隆大学计算机科学家Bryan Parno说：“你可以减少代码在数学公式中的行为方式的问题，然后你可以检查公式是否成立。如果确实如此，你知道你的代码有这个属性。”
EverCrypt的工作始于2016年，是由微软研究院领导的Project Everest的一部分。EverCrypt是采用F*语言编写、验证的，F*是一个由微软研究院开发的基于F?的依赖类型函数式程序语言。
原标题：号称“不会被黑”的加密工具Evercrypt发布
责任编辑：曾少林
- 相关阅读:
-
柯南要成为令和福尔摩斯是什么梗 留给工藤新一的时间不多了2019-04-04米家扫地机器人1S发布：性能提升40% 首发价1999元2019-04-01王者营地设置免打扰 教程攻略 王者营地免打扰在哪开启2019-04-02
- 新闻 娱乐 福建 篮球比分直播： 漳州 厦门
-
- 胡塞武装说美英空袭也门首都萨那
2024-12-22 11:34 - 巴基斯坦西北部一检查站遭袭致16名军人死亡
2024-12-22 11:33 - 哈马斯：若以色列不设置新条件，达成停火协议可能性高
2024-12-22 11:27 - 俄罗斯国防部称乌克兰无人机袭击喀山
2024-12-22 11:25 - 多地宣布“取消公摊”，购房有望实现“所购即所得”
2024-12-22 11:24 - 东部和南部海区风力较大 25日起还会有冷空气影响我国
2024-12-22 11:22 - 我国知名地质学家张世红突发疾病逝世 享年60岁
2024-12-22 11:22
- 胡塞武装说美英空袭也门首都萨那
- 猜你喜欢:
-
真我GT7 Pro官宣11月4日发布 全球首发Eco?苍穹屏2024-10-23火烈鸟的颜色是由以下哪个因素决定的？蚂蚁庄园11月3日答案2024-11-02真我Neo7跑分出炉：破240万 刷新中端机性能纪录2024-11-25
您需要登录后才可以评论， 登录| 注册
甜找出15个字是什么？汉字找茬王找字甜关卡2023-04-10
闽南网推出专题报道，以图、文、视频等形式，展现篮球比分直播：在补齐养老事业短板，提升养老服