Vitalik：AI可驗證整個程序，以太坊未來數年將推進軟件安全
來源：
x.com
Vitalik 在 X 平臺發文表示，其約 90%的淨資產持有加密貨幣，並認爲在相關能力逐步成熟後，網絡安全將更偏向防禦方。他表示，AI 可將“程序安全”驗證爲數學定理，但安全定義需覆蓋密鑰、服務器、設備、操作系統、數據庫、網絡及緩存層等風險因素；對於安全關鍵組件，應驗證整個程序。Vitalik 稱，以太坊未來數年將沿這一方向推進，區塊鏈尤其是兼具擴展性和隱私性的區塊鏈需要實現軟件安全。
