GitHub發(fā)布加密工具Evercrypt 號稱“不會被黑”
有研究人員于4月2日在GitHub上發(fā)布了一個(gè)號稱能防黑客的加密代碼工具，名為“EverCrypt”。從字面意思看，這個(gè)名字取得一點(diǎn)都不客氣——“永遠(yuǎn)加密”。
負(fù)責(zé)該項(xiàng)目的計(jì)算機(jī)科學(xué)家Karthik Bhargavan在《Quanta Magazine》撰文稱，通過將計(jì)算機(jī)代碼視為數(shù)學(xué)證明，該庫被證實(shí)對大多數(shù)黑客攻擊都是無懈可擊的。
Evercrypt據(jù)稱是一個(gè)“軟件庫”，涉及簡單的算術(shù)，包括幾何和素?cái)?shù)。
通常情況下，程序員團(tuán)隊(duì)創(chuàng)建的軟件是來滿足他們所希望達(dá)成的某些目標(biāo)。完成后，他們會測試代碼；如果軟件能在沒有帶來不良后果的情況下完成了目標(biāo)，程序員就可以得出結(jié)論，認(rèn)為該軟件可以完成它的目標(biāo)。
編碼錯誤通常情況下只是出現(xiàn)在極端的“臨界情況”中，是由一些“不太可能發(fā)生的事”構(gòu)成的完美風(fēng)暴帶來的重大漏洞。近年來最具破壞性的黑客攻擊之中，許多例子都和這種極端情況有關(guān)。
然而，EverCrypt沒有采用大多數(shù)代碼的編寫方式。負(fù)責(zé)EverCrypt的卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)家Bryan Parno說：“你可以減少代碼在數(shù)學(xué)公式中的行為方式的問題，然后你可以檢查公式是否成立。如果確實(shí)如此，你知道你的代碼有這個(gè)屬性。”
EverCrypt的工作始于2016年，是由微軟研究院領(lǐng)導(dǎo)的Project Everest的一部分。EverCrypt是采用F*語言編寫、驗(yàn)證的，F(xiàn)*是一個(gè)由微軟研究院開發(fā)的基于F?的依賴類型函數(shù)式程序語言。
- 相關(guān)閱讀:
-
柯南要成為令和福爾摩斯是什么梗 留給工藤新一的時(shí)間不多了2019-04-04王者營地設(shè)置免打擾 教程攻略 王者營地免打擾在哪開啟2019-04-02
- 新聞 娛樂 福建 泉州 漳州 廈門
-
- 2025年11月西安限行最新通知：每天幾點(diǎn)到幾點(diǎn)+限什么
2025-11-05 17:14 - 檢察機(jī)關(guān)依法分別對韓非、楊易、吳丹、靳武決定逮捕
2025-11-05 16:25 - 吉林高新技術(shù)產(chǎn)業(yè)開發(fā)區(qū)管委會原副主任曹文君嚴(yán)重違紀(jì)
2025-11-05 16:24 - 國臺辦：正告民進(jìn)黨當(dāng)局任何“倚外謀獨(dú)”都是癡心妄想
2025-11-05 11:53 - 國務(wù)院臺辦：“臺獨(dú)”是分裂國家、背叛民族的犯罪行為
2025-11-05 11:53 - 最高檢：今年前三季度共起訴危害食品安全犯罪7316人
2025-11-05 10:59 - 美政府“停擺”時(shí)長紀(jì)錄即將刷新
2025-11-05 10:55
- 2025年11月西安限行最新通知：每天幾點(diǎn)到幾點(diǎn)+限什么
- 猜你喜歡:
-
iPhone 18 Pro迎雙重升級：主攝和長焦脫胎換骨2025-10-28榮耀耳夾式耳機(jī)2代上市：399元 單只重5.1g 2025-08-11
-
評論(GitHub發(fā)布加密工具Evercrypt 號稱“不會被黑”)