Vitalik 最新觀點很值得看：他不接受“AI 黑客會讓網絡安全註定失敗”。在他看來，一旦形式化驗證方法成熟，安全天然會更偏向防守方；他繼續把約九成淨資產放在加密資產裏，本身就是對這一判斷的押注。

核心邏輯是：如果 AI 能證明納維–斯托克斯方程、費馬大定理這類複雜命題，也能把“這個程序是安全的”證明爲數學定理。真正的難點不在代碼複雜，而在“安全”的定義不能過窄，否則消息協議、沙箱、網絡、緩存、數據庫都會變成被忽略的攻擊面。

所以他主張驗證所有程序，而不只是驗證自認關鍵的模塊。這不是讓好人搶在壞人前面找漏洞，而是讓代碼先天更抗攻擊。沒有這條路，尤其在擴容和隱私成爲核心需求時，區塊鏈很難有長期未來。

$ETH

#以太坊 #网络安全 #AI