GitHub發布加密工具Evercrypt 號稱“不會被黑”
有研究人員于4月2日在GitHub上發布了一個號稱能防黑客的加密代碼工具，名為“EverCrypt”。從字面意思看，這個名字取得一點都不客氣——“永遠加密”。
負責該項目的計算機科學家Karthik Bhargavan在《Quanta Magazine》撰文稱，通過將計算機代碼視為數學證明，該庫被證實對大多數黑客攻擊都是無懈可擊的。
Evercrypt據稱是一個“軟件庫”，涉及簡單的算術，包括幾何和素數。
通常情況下，程序員團隊創建的軟件是來滿足他們所希望達成的某些目標。完成后，他們會測試代碼；如果軟件能在沒有帶來不良后果的情況下完成了目標，程序員就可以得出結論，認為該軟件可以完成它的目標。
編碼錯誤通常情況下只是出現在極端的“臨界情況”中，是由一些“不太可能發生的事”構成的完美風暴帶來的重大漏洞。近年來最具破壞性的黑客攻擊之中，許多例子都和這種極端情況有關。
然而，EverCrypt沒有采用大多數代碼的編寫方式。負責EverCrypt的卡內基梅隆大學計算機科學家Bryan Parno說：“你可以減少代碼在數學公式中的行為方式的問題，然后你可以檢查公式是否成立。如果確實如此，你知道你的代碼有這個屬性。”
EverCrypt的工作始于2016年，是由微軟研究院領導的Project Everest的一部分。EverCrypt是采用F*語言編寫、驗證的，F*是一個由微軟研究院開發的基于F?的依賴類型函數式程序語言。
原標題：號稱“不會被黑”的加密工具Evercrypt發布
責任編輯：曾少林
- 相關閱讀:
-
柯南要成為令和福爾摩斯是什么梗 留給工藤新一的時間不多了2019-04-04米家掃地機器人1S發布：性能提升40% 首發價1999元2019-04-01王者營地設置免打擾 教程攻略 王者營地免打擾在哪開啟2019-04-02
- 新聞 娛樂 福建 泉州 漳州 廈門
-
- 防范登革熱、猴痘等疾病 中疾控發布健康風險提示
2026-08-11 10:52 - 朱森林同志逝世
2026-08-11 10:44 - 德國已獲刑“殺人護士”疑涉另外上百起案件
2026-08-11 10:43 - 烏克蘭首都基輔響起持續強烈爆炸聲
2026-08-11 10:43 - 美政府自去年初以來已吊銷逾17.5萬份非移民簽證
2026-08-11 10:42 - 因伊朗提出戰爭賠償 特朗普稱也要向伊朗索賠
2026-08-11 10:42 - 胡塞武裝再襲政府軍 聯合國特使警告也門沖突升級
2026-08-11 10:39
- 防范登革熱、猴痘等疾病 中疾控發布健康風險提示
- 猜你喜歡:
-
多喝醋能軟化血管嗎？螞蟻莊園今日答案最新4.112026-04-10向日葵的花盤一定跟著太陽轉動嗎？螞蟻莊園課堂今天答案最新4月11日2026-04-10漫步者EDIFIER Comfo Clip Q2耳機獲星閃聯盟認證2026-06-25
-
評論(GitHub發布加密工具Evercrypt 號稱“不會被黑”)