Shulou(Shulou.com)05/31 Report--

On April 2, researchers released a hacker-proof encryption code tool called EverCrypt on GitHub. Literally, the name was taken unkindly-"Always Encrypted."

Karthik Bhargavan, the computer scientist in charge of the project, wrote in Quanta Magazine that by treating computer code as a mathematical proof, the library proved invulnerable to most hacking attacks.

Evercrypt is purportedly a "software library" dealing with simple arithmetic, including geometry and prime numbers.

Often, teams of programmers create software that meets certain goals they want to achieve. When completed, they test the code; if the software can accomplish its goals without adverse consequences, the programmer can conclude that the software can accomplish its goals.

Coding errors usually occur only in extreme "critical cases," major vulnerabilities created by a perfect storm of "unlikely events." Many of the most destructive hacking attacks of recent years have involved this extreme situation.

EverCrypt, however, doesn't take the way most code is written. Bryan Parno, a Carnegie Mellon University computer scientist responsible for EverCrypt, said: "You can reduce the problem of how the code behaves in mathematical formulas, and then you can check whether the formula holds true. If so, you know your code has this property. "

Work on EverCrypt began in 2016 as part of Project Everest, led by Microsoft Research. EverCrypt is written and validated in F *, a type-dependent functional programming language based on F developed by Microsoft Research.

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.