計算機科學家發佈不會被黑的加密代碼

（給Python開發者加星標，提升Python技能） 轉自：solidot 程序員都是凡人，但數學則是不朽的。通過讓編程變得更數學化，計算機科學家希望能消除向黑客敞開大門的編程錯誤。研究人員在 GitHub 上發佈了加密工具 EverCrypt，向這個目標邁出了一大步。 https://github.com/project-everest/hacl-star 就像證明畢達哥拉斯定理難以，他們能證明

>>阅读原文<<