GitHub發(fā)布加密工具Evercrypt 號(hào)稱(chēng)“不會(huì)被黑”
有研究人員于4月2日在GitHub上發(fā)布了一個(gè)號(hào)稱(chēng)能防黑客的加密代碼工具，名為“EverCrypt”。從字面意思看，這個(gè)名字取得一點(diǎn)都不客氣——“永遠(yuǎn)加密”。
負(fù)責(zé)該項(xiàng)目的計(jì)算機(jī)科學(xué)家Karthik Bhargavan在《Quanta Magazine》撰文稱(chēng)，通過(guò)將計(jì)算機(jī)代碼視為數(shù)學(xué)證明，該庫(kù)被證實(shí)對(duì)大多數(shù)黑客攻擊都是無(wú)懈可擊的。
Evercrypt據(jù)稱(chēng)是一個(gè)“軟件庫(kù)”，涉及簡(jiǎn)單的算術(shù)，包括幾何和素?cái)?shù)。
通常情況下，程序員團(tuán)隊(duì)創(chuàng)建的軟件是來(lái)滿(mǎn)足他們所希望達(dá)成的某些目標(biāo)。完成后，他們會(huì)測(cè)試代碼；如果軟件能在沒(méi)有帶來(lái)不良后果的情況下完成了目標(biāo)，程序員就可以得出結(jié)論，認(rèn)為該軟件可以完成它的目標(biāo)。
編碼錯(cuò)誤通常情況下只是出現(xiàn)在極端的“臨界情況”中，是由一些“不太可能發(fā)生的事”構(gòu)成的完美風(fēng)暴帶來(lái)的重大漏洞。近年來(lái)最具破壞性的黑客攻擊之中，許多例子都和這種極端情況有關(guān)。
然而，EverCrypt沒(méi)有采用大多數(shù)代碼的編寫(xiě)方式。負(fù)責(zé)EverCrypt的卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)家Bryan Parno說(shuō)：“你可以減少代碼在數(shù)學(xué)公式中的行為方式的問(wèn)題，然后你可以檢查公式是否成立。如果確實(shí)如此，你知道你的代碼有這個(gè)屬性。”
EverCrypt的工作始于2016年，是由微軟研究院領(lǐng)導(dǎo)的Project Everest的一部分。EverCrypt是采用F*語(yǔ)言編寫(xiě)、驗(yàn)證的，F(xiàn)*是一個(gè)由微軟研究院開(kāi)發(fā)的基于F?的依賴(lài)類(lèi)型函數(shù)式程序語(yǔ)言。
- 相關(guān)閱讀:
-
柯南要成為令和福爾摩斯是什么梗 留給工藤新一的時(shí)間不多了2019-04-04
- 新聞 娛樂(lè) 福建 泉州 漳州 廈門(mén)
-
- 鐵路服務(wù)升級(jí) 2026屆高校畢業(yè)生新增2次學(xué)生優(yōu)惠票
2026-01-20 20:35 - 大熊貓“曉曉”和“蕾蕾”將于27日從日本啟程回國(guó)
2026-01-20 17:44 - 海南省紀(jì)委原副書(shū)記、省監(jiān)委原副主任陳笑波受賄案一審
2026-01-20 17:35 - 今年春運(yùn)南鐵預(yù)計(jì)發(fā)送旅客3660萬(wàn)人次 服務(wù)升級(jí)助力溫
2026-01-20 17:12 - 江蘇省人民代表大會(huì)常務(wù)委員會(huì)任免名單
2026-01-20 17:02 - 兩部門(mén)聯(lián)合發(fā)布新政 進(jìn)一步支持城市更新行動(dòng)
2026-01-20 16:03 - 對(duì)個(gè)人極端等嚴(yán)重暴力犯罪依法快捕快訴、從重從嚴(yán)懲治
2026-01-20 16:03
- 鐵路服務(wù)升級(jí) 2026屆高校畢業(yè)生新增2次學(xué)生優(yōu)惠票
- 猜你喜歡:
-
支付寶2025年度賬單出爐：看你花了多少錢(qián)2025-12-29聯(lián)想moto X70 Air上架：厚度5.99mm 支持插卡2025-10-24
-
評(píng)論(GitHub發(fā)布加密工具Evercrypt 號(hào)稱(chēng)“不會(huì)被黑”)