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
- 新闻 娱乐 福建 篮球比分直播： 漳州 厦门
-
- 2025立春时间几时几分几秒 今年几点几分打春具体时间
2025-02-01 20:23 - 突发！一小型飞机在美国坠毁，多人死亡
2025-02-01 10:48 - 中东部大范围雨雪持续 明起冷空气来袭大部气温低迷
2025-02-01 10:44 - 乌克兰多个州遭空袭
2025-02-01 10:43 - 中国科研人员提出新方法 有望提高水稻等作物产量
2025-01-30 12:42 - 中东部较大范围雨雪天气上线 南方先暖后冷 全国天气一
2025-01-30 12:42 - 灵蛇献瑞 春满华夏 ——各地群众欢度篮球比分直播：
2025-01-30 12:36
- 2025立春时间几时几分几秒 今年几点几分打春具体时间
- 猜你喜欢:
-
人们常说的“血糖”指的是血液中哪种物质的含量？蚂蚁庄园今日答案最新1.82025-01-07小米15支持国家补贴 到手价格低至3999元2025-01-21高通开发二代骁龙X Elite 要进军游戏台式机2024-12-16
您需要登录后才可以评论， 登录| 注册
甜找出15个字是什么？汉字找茬王找字甜关卡2023-04-10
闽南网推出专题报道，以图、文、视频等形式，展现篮球比分直播：在补齐养老事业短板，提升养老服