程序員都是凡人，但數學則是不朽的。通過讓編程變得更數學化，計算機科學家希望能消除向黑客敞開大門的編程錯誤。

　　研究人員在 GitHub 上發布了加密工具EverCrypt，向這個目標邁出了一大步。就像證明畢達哥拉斯定理那樣，他們能證明 EverCrypt可完全避開多種黑客攻擊。EverCrypt 沒有采用常見的編程方法編寫，而是利用了形式化驗證。他們首先明確代碼能做什么，然后證明只能這么做，排除了代碼在特殊情況下偏離的可能性。EverCrypt 始于 2016 年，是微軟研究院項目Project Everest的一部分，當時加密庫是許多軟件的薄弱環節，存在大量 bug。

總結

以上是生活随笔為你收集整理的计算机科学家发布不会被黑的加密代码的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。