Evercrypt：世界上第一个黑客证明密码学？

许多个人和组织已经认识到区块链技术的巨大潜力，但这并未改变加密货币领域在公众认知，欺诈和安全方面仍面临巨大障碍的事实。

似乎研究人员至少试图解决安全问题，因为他们似乎已经发布了一个“防黑客”加密货币代码。 Evercrypt几天前于2019年4月2日发布。

代码

该项目名为“Evercrypt”，研究人员显然创造了与数学一样不变的代码。

当然，并不是说程序员创建的软件预计会被黑客攻击或利用。程序员努力工作以确保他们的代码顺利运行，只是经常发现“完美风暴”使他们的软件易受攻击。正是这些情况可能导致大规模黑客攻击和数据泄露。

负责该项目的计算机科学家Karthik Bhargavan简单地提出：

“我们证明我们的代码不会遭受这类攻击。”

正式验证

Evercrypt被描述为“软件库”，涉及简单的算术，包括几何和素数。

许多公司声称要加强安全性，但Everycrypt声称“可证明安全”的方式与数学答案可证明且无法争议的方式相同。实质上，它在数学上被证明比竞争对手更安全。

对于那些想知道Evercrypt是如何形成的人;这是由微软研究院领导的一项倡议的结果。许多人已经指出了加密货币库的缺陷，因为它们通常运行较慢并且通常也充满了错误。

许多人已经指出，诸如Evercrypt之类的解决方案可能具有一系列应用程序，并且对软件行业有很高的需求。据报道，Evercrypt提供目前无法提供的保证，例如确保软件没有可能导致安全漏洞的某些错误。

值得注意的是，尽管Evercrypt声称对所有已知攻击都具有免疫力，但这并不意味着黑客和网络犯罪分子最终不会开发出一种利用Evercrypt的方法。很明显，以这种方式保护数据和信息可能非常有价值，特别是那些处理敏感知识产权的人。