請輸入關鍵字：

熱門搜尋：

东鹏饮料

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，獲得書面確認及授權後，方可轉載。

更多精彩内容，請點擊： 財華網(https://www.finet.hk/) 財華智庫網(https://www.finet.com.cn) 現代電視FINTV(http://www.fintv.hk)

相關文章

5月18日
BitMine上周增持71,672枚ETH，以太坊持倉突破527萬枚
5月18日
從Consensus大會看Crypto西方現狀：Zcash成新共識，Monad與MegaETH對標Sui/Aptos，Solana迷失方向......
5月18日
AI代理結算層AEON完成800萬美元pre-seed輪融資，YZi Labs領投
5月18日
破壁「暗盒交易」：CoinW如何以「鏈上聰明錢」重構普通人的交易敘事
5月18日
Verus：網絡已暫停運行，願向全額歸還資金的供給者提供漏洞賞金
5月18日
Hyperliquid上RWA永續未平倉規模創新高，達26億美元
5月18日
BTC 流動性驟降 90%，兩大做市商同步撤離 Hyperliquid
5月18日
貝萊德向Coinbase存入2221枚BTC和26572枚ETH
5月18日
Anchorage關聯地址從Bybit和OKX買入39.7萬枚HYPE，金額約1800萬美元
5月18日
對話Figure機器人創始人：390億美元估值背後是量産百萬台的野心

視頻

【今日IPO】千亿市值！罗博特科再递表冲刺港股上市

2026年5月15日 下午4:17

【今日IPO】全球第一！AI算力“卖铲人”爱德泰递表港股，估值最高40亿美元

2026年5月18日 下午3:45

【今日IPO】芯片板块大涨 爱芯元智逆势大跌

2026年5月27日 下午3:19

【今日IPO】锂电回收老二金晟新能再递港交所

2026年5月20日 下午4:00

【今日IPO】暴涨18%！港股机器人概念掀狂欢，特斯拉量产倒计时

2026年5月18日 下午3:45

快訊

更多
16:20
【異動股】港股跌幅榜前十，興利(香港)控股(00396.HK)跌38.24%，中資國際控股(08118.HK)跌29.47%
16:20
【異動股】港股漲幅榜前十，深演智能(02723.HK)漲262.52%，華曦達(00901.HK)漲86.59%
13:30
【異動股】港股跌幅榜前十，興利(香港)控股(00396.HK)跌35.59%，派格生物醫藥-B(02565.HK)跌25.64%
13:30
【異動股】港股漲幅榜前十，深演智能(02723.HK)漲258.92%，華曦達(00901.HK)漲96.04%
09:45
【異動股】港股跌幅榜前十，弘陽服務(01971.HK)跌44.17%，興利(香港)控股(00396.HK)跌27.94%
09:45
【異動股】港股漲幅榜前十，深演智能(02723.HK)漲184.68%，華曦達(00901.HK)漲96.80%
17:24
香港證監會：偉業控股(01570.HK)股權高度集中
17:14
名創優品(09896.HK)一季度股東應佔利潤12.51億元 同比增長200.41%
17:03
英矽智能(03696.HK)納入恒生生物科技指數成份股
16:49
創勝集團醫藥-Ｂ(06628.HK)收到HiCB對外授權里程碑付款700萬元