可防黑客！研究人員在GitHub上發(fā)布加密工具“Evercrypt”

　　4月8日消息 日前有報道稱，開源代碼庫GitHub上近日突然出現(xiàn)了一個號稱能防黑客的加密代碼工具——“EverCrypt”！這不禁令人好奇，這款名為“EverCrypt”的加密代碼工具究竟有何特別之處呢？感興趣的朋友，還不來了解一下。

　　據(jù)悉，負責(zé)該項目的計算機科學(xué)家Karthik Bhargavan在《Quanta Magazine》撰文稱，通過將計算機代碼視為數(shù)學(xué)證明，該庫被證實對大多數(shù)黑客攻擊都是無懈可擊的。

　　Evercrypt據(jù)稱是一個“軟件庫”，涉及簡單的算術(shù)，包括幾何和素數(shù)。

　　通常情況下，程序員團隊創(chuàng)建的軟件是來滿足他們所希望達成的某些目標(biāo)。完成后，他們會測試代碼；如果軟件能在沒有帶來不良后果的情況下完成了目標(biāo)，程序員就可以得出結(jié)論，認為該軟件可以完成它的目標(biāo)。

　　編碼錯誤通常情況下只是出現(xiàn)在極端的“臨界情況”中，是由一些“不太可能發(fā)生的事”構(gòu)成的完美風(fēng)暴帶來的重大漏洞，近年來最具破壞性的黑客攻擊之中有許多例子都和這種極端情況有關(guān)。

　　然而，EverCrypt沒有采用大多數(shù)代碼的編寫方式，負責(zé)EverCrypt的卡內(nèi)基梅隆大學(xué)計算機科學(xué)家Bryan Parno說：“你可以減少代碼在數(shù)學(xué)公式中的行為方式的問題，然后你可以檢查公式是否成立。如果確實如此，你知道你的代碼有這個屬性。”

　　EverCrypt的工作始于2016年，是由微軟研究院領(lǐng)導(dǎo)的Project Everest的一部分。另外，EverCrypt是采用F*語言編寫、驗證的，F(xiàn)*是一個由微軟研究院開發(fā)的基于F♯的依賴類型函數(shù)式程序語言！那些對EverCrypt有興趣的朋友，現(xiàn)在就可以前往相關(guān)的GitHub頁面了解詳情。

　　相關(guān)網(wǎng)站：點擊進入