号称“不会被黑”的加密工具Evercrypt发布

  • 时间:
  • 浏览:1
  • 来源:大发时时彩-大发时时彩平台_大发时时彩网投平台

IT之家4月8日消息 有研究人员于4月2日在GitHub上发布了一个 号称能防黑客的加密代码工具,名为“EverCrypt”。从字面意思看,这一 名字取得这一 全部都是客气——“永远加密”。

负责该项目的计算机科学家Karthik Bhargavan在《Quanta Magazine》撰文称,通过将计算机代码视为数学证明,该库被证实对大多数黑客攻击全部都是无懈可击的。

Evercrypt据称是一个 “软件库”,涉及简单的算术,包括几何和素数。

通常清况 下,系统进程员团队创建的软件是来满足亲戚亲戚朋友所希望达成的这一 目标。完成后,亲戚亲戚朋友会测试代码;机会软件能在没法带来不良后果的清况 下完成目标,系统进程员就能得出结论——软件还要照预想那样工作。

软件的编码错误则通常是出現在极端的“临界清况 ”中,是由这一 “不太机会占据 的事”构成的完美风暴带来的重大漏洞。近年来最具破坏性的黑客攻击之中,这一 例子都和这一 极端清况 有关。

与此相反,EverCrypt没法遵循大多数代码的编写方法。参与EverCrypt的卡内基梅隆大学计算机科学家Bryan Parno说:“让我减少代码在数学公式中的行为方法的问题图片,这一 让我检查公式是与非 成立。机会我我觉得没法,你知道你的代码有这一 属性。”

EverCrypt的工作结束了了2016年,是由微软研究院领导的Project Everest的一每项。EverCrypt是采用F*语言编写、验证的,F*是一个 由微软研究院开发的基于F♯的依赖类型函数式系统进程语言。

IT之家读者若对此感兴趣,还要点此链接前往相关GitHub页面了解。