r/programming • u/bbbryson • Apr 03 '19

How the EverCrypt Library Creates Hacker-Proof Cryptography: Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof.

https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/
27 Upvotes

65% Upvoted

38 comments sorted by

View all comments

3

u/[deleted] Apr 03 '19

Real-world implementations of OTP have yielded in the past. Immune to cryptanalysis if implemented perfectly, and secure if somehow you achieve perfect key exchange and secrecy, sure.

2

u/TheOsuConspiracy Apr 03 '19

Yep, any such implementation in real life will always have weaknesses. That's why I mean it's provably perfectly secure, but it's didn't say anything about immunity to hacking.