電腦科學家釋出不會被黑的加密程式碼

（給Python開發者加星標，提升Python技能）

轉自：solidot

程式設計師都是凡人，但數學則是不朽的。通過讓程式設計變得更數學化，電腦科學家希望能消除向黑客敞開大門的程式設計錯誤。研究人員在 GitHub 上釋出了加密工具 EverCrypt，向這個目標邁出了一大步。

https://github.com/project-everest/hacl-star

就像證明畢達哥拉斯定理難以，他們能證明 EverCrypt 可完全避開多種黑客攻擊。

EverCrypt 沒有采用常見的程式設計方法編寫，而是利用了形式化驗證。他們首先明確程式碼能做什麼，然後證明只能這麼做，排除了程式碼在特殊情況下偏離的可能性。

EverCrypt 始於 2016 年，是微軟研究院專案 Project Everest 的一部分，當時加密庫是許多軟體的薄弱環節，存在大量 bug。                      

推薦閱讀

（點選標題可跳轉閱讀）

Python 已成為黑客網路攻擊的首選程式語言

如何用樹莓派和 Kali Linux 搭建一個行動式的黑客工作站

覺得本文對你有幫助？請分享給更多人

關注「Python開發者」加星標，提升Python技能

喜歡就點一下「好看」唄~