就像證明畢達(dá)哥拉斯定理難以，他們能證明 EverCrypt 可完全避開多種黑客攻擊。
EverCrypt 沒(méi)有采用常見(jiàn)的編程方法編寫，而是利用了形式化驗(yàn)證。他們首先明確代碼能做什么，然后證明只能這么做，排除了代碼在特殊情況下偏離的可能性。
EverCrypt 始于 2016 年，是微軟研究院項(xiàng)目 Project Everest 的一部分，當(dāng)時(shí)加密庫(kù)是許多軟件的薄弱環(huán)節(jié)，存在大量 bug。
計(jì)算機(jī)科學(xué)家發(fā)布不會(huì)被黑的加密代碼
來(lái)源：solidot
#代碼#
#加密#
1.8w
程序員都是凡人，但數(shù)學(xué)則是不朽的。通過(guò)讓編程變得更數(shù)學(xué)化，計(jì)算機(jī)科學(xué)家希望能消除向黑客敞開大門的編程錯(cuò)誤。研究人員在 GitHub 上發(fā)布了加密工具 EverCrypt，向這個(gè)目標(biāo)邁出了一大步。
責(zé)編：
來(lái)源：solidot
#代碼#
#加密#
THE END
相關(guān)推薦
愛(ài)集微
微信：
郵箱：laoyaoba@gmail.com
11w文章總數(shù)
12012.5w總瀏覽量
最新資訊
-
美國(guó)芯片四巨頭呼吁特朗普政府免除半導(dǎo)體關(guān)稅
2小時(shí)前
-
華爾街：特朗普美制iPhone愿景是童話故事
2小時(shí)前
-
泰凌微電子閃耀2025藍(lán)牙亞洲大會(huì) 以創(chuàng)新技術(shù)引領(lǐng)藍(lán)牙生態(tài)未來(lái)發(fā)展
2小時(shí)前
-
【頭條】等救不如自救：半導(dǎo)體創(chuàng)業(yè)者的“斷臂”與“造血”
2小時(shí)前
-
【融資】八部門聯(lián)合發(fā)文，支持小微企業(yè)融資
2小時(shí)前
-
【破產(chǎn)】美半導(dǎo)體廠商擬破產(chǎn)！黃仁勛:美對(duì)華AI芯片出口管制失敗；
2小時(shí)前
