請輸入關鍵字:

熱門搜尋:

Vitalik:AI輔助形式化驗證或成「軟件開發最終形態」

 
日期: 2026年5月18日 下午9:07
PANews 5月18日消息,Vitalik發佈博客文章稱,以太坊社區正在嘗試用 Lean 等形式化工具直接在底層語言(如 EVM 字節碼、RISC‑V 匯編)上編寫代碼,並通過機器可驗證的數學證明來保證正確性與安全性。Vitalik 指出,形式化驗證可用於驗證 Signal 等加密通信協議、TLS、STARK、ZK‑EVM、共識算法和 EVM 實現的端到端安全與等價性,並在 AI 自動找 bug 的新環境下顯著提升防禦方優勢。不過他也強調,形式化驗證並非萬能,容易遺漏未建模假設、側信道、未覆蓋模塊等風險。

内容來源:PANews

財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可,禁止進行轉載、摘編、複製及建立鏡像等任何使用。

如有意願轉載,請發郵件至 content@finet.com.hk,獲得書面確認及授權後,方可轉載。

下載APP 下載財華財經APP,把握投資先機
更多精彩内容,請點擊: 財華網(https://www.finet.hk/) 財華智庫網(https://www.finet.com.cn) 現代電視FINTV(http://www.fintv.hk)

PANews

PANews是區塊鏈和Web3.0領域領先的智庫型信息平台,為行業用戶提供具有國際視野的前沿資訊與報告。PANews優質多元的内容以圖文、音頻、視頻等形式在全網多渠道覆蓋,包含推特、微博、抖音、視頻號等主流平台,旨在成為用戶的Web3信息官。PANews同時還是騰訊新聞的内容合作夥伴,内容被福佈斯、財新等媒體引用,獲得騰訊新聞、今日頭條、澎湃新聞等頒發的相關獎項。PANews的兩位聯合創始人均為福

視頻

快訊

04:16
知名美股跌幅榜前十,智富融資(MEGL.US)跌53.45%,賽萊默(XYL.US)跌14.21%
04:16
知名美股漲幅榜前十,濱特爾(PNR.US)漲+12.80%,Absci Corporation(ABSI.US)漲+11.85%
04:15
中概股跌幅榜前十,澔鴻科技(MKDW.US)跌37.99%,拜爾德醫療(BDMD.US)跌34.09%
04:15
中概股漲幅榜前十,OBOOK Holdings, Inc. Class A(OWLS.US)漲+30.39%,石榴雲醫(POM.US)漲+23.01%
04:15
美股跌幅榜前十,智富融資(MEGL.US)跌53.45%,Datavault AI Inc.(DVLT.US)跌49.55%
04:15
美股漲幅榜前十,Nuwellis, Inc.(NUWE.US)漲+74.69%,Braiin Limited(BRAI.US)漲+56.13%
21:46
知名美股跌幅榜前十,智富融資(MEGL.US)跌11.08%,賽萊默(XYL.US)跌8.20%
21:46
知名美股漲幅榜前十,Nebius Group N.V. Class A(NBIS.US)漲+9.62%,濱特爾(PNR.US)漲+8.48%
21:45
中概股跌幅榜前十,中網載綫(CNET.US)跌25.00%,華贏東方(AXG.US)跌23.98%
21:45
中概股漲幅榜前十,Freight Technologies, Incorporation(FRGT.US)漲+34.00%,石榴雲醫(POM.US)漲+19.03%