Vitalik：AI可驗證整個程式，以太坊未來數年將推進軟體安全

Odaily星球日報訊 Vitalik 在 X 平台發文表示，其約 90%的淨資產持有加密貨幣，並認為在相關能力逐步成熟後，網路安全將更偏向防禦方。

他表示，AI 可將「程式安全」驗證為數學定理，但安全定義需涵蓋密鑰、伺服器、設備、作業系統、資料庫、網路及快取層等風險因素；對於安全關鍵元件，應驗證整個程式。Vitalik 稱，以太坊未來數年將沿這一方向推進，區塊鏈尤其是兼具擴展性和隱私性的區塊鏈需要實現軟體安全。