Vitalik：網絡安全天然偏向防禦，持有加密貨幣即押注於此

ChainCatcher 消息，以太坊創始人 Vitalik Buterin 發文稱，不同意"AI 黑客意味著網絡安全注定失敗"的常見觀點。他認為，一旦人們理清思路，網絡安全天然偏向防禦方，任何繼續持有加密貨幣的人（包括他本人約 90% 淨資產）都在隱含押注這一點。

Vitalik 表示：若 AI 能證明納維-斯托克斯方程和費馬大定理，就能將"該程序是安全的"作為數學定理加以證明，即使程序非常複雜。他以加密通訊應用 Signal 為例說明"安全"定義極為複雜，涵蓋偽造消息、主動干擾、伺服器被攻破、密鑰洩露、硬體側信道等。定義比實現攻擊面更小且可疊加，驗證定義是否充分比直接掃描代碼更可行。

他指出，歷史上失敗常因只驗證自認的安全關鍵部分而忽略其餘代碼。如今須驗證整個程序，包括資料庫、網絡和快取層，現代 AI 可以做到。這並非比拼誰先發現漏洞，而是讓代碼本身更有韌性。Vitalik 稱，這是以太坊未來幾年的方向，沒有這一步，尤其是具備可擴展性和隱私的區塊鏈沒有未來，需要讓軟體真正安全，且已取得大量進展。