IT之家4月8日消息 有研究人員于4月2日在GitHub上發(fā)布了一個號稱能防黑客的加密代碼工具，名為“EverCrypt”。從字面意思看，這個名字取得一點都不客氣——“永遠加密”。
負責該項目的計算機科學家Karthik Bhargavan在《Quanta Magazine》撰文稱，通過將計算機代碼視為數(shù)學證明，該庫被證實對大多數(shù)黑客攻擊都是無懈可擊的。
Evercrypt據(jù)稱是一個“軟件庫”，涉及簡單的算術(shù)，包括幾何和素數(shù)。
通常情況下，程序員團隊創(chuàng)建的軟件是來滿足他們所希望達成的某些目標。完成后，他們會測試代碼；如果軟件能在沒有帶來不良后果的情況下完成目標，程序員就能得出結(jié)論——軟件可以照預(yù)想那樣工作。
軟件的編碼錯誤則通常是出現(xiàn)在極端的“臨界情況”中，是由一些“不太可能發(fā)生的事”構(gòu)成的完美風暴帶來的重大漏洞。近年來最具破壞性的黑客攻擊之中，許多例子都和這種極端情況有關(guān)。
與此相反，EverCrypt沒有遵循大多數(shù)代碼的編寫方式。參與EverCrypt的卡內(nèi)基梅隆大學計算機科學家Bryan Parno說：“你可以減少代碼在數(shù)學公式中的行為方式的問題，然后你可以檢查公式是否成立。如果確實如此，你知道你的代碼有這個屬性?！?/p>
EverCrypt的工作始于2016年，是由微軟研究院領(lǐng)導(dǎo)的Project Everest的一部分。EverCrypt是采用F*語言編寫、驗證的，F(xiàn)*是一個由微軟研究院開發(fā)的基于F?的依賴類型函數(shù)式程序語言。
IT之家讀者若對此感興趣，可以點此鏈接前往相關(guān)GitHub頁面了解。
廣告聲明：文內(nèi)含有的對外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。