号称“不会被黑”的加密工具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页面了解。