Vitalik反駁AI黑客將讓網絡安全崩潰的觀點，強調AI能驗證整個程序安全性

PANews 9月17日消息，Vitalik 發文反駁「AI 黑客會讓網絡安全徹底崩潰」的觀點。他表示，網絡安全本質上是防禦有利的，只要認真做好工作。自己繼續持有加密貨幣（約淨資産 90%），就是在押注這一點。Vitalik 認為，如果 AI 能證明納維-斯託克斯方程和費馬大定理，那麼它也能把「這個程序是安全的」作為數學定理來證明，哪怕程序很復雜。「安全」的定義本身很復雜，包含多種攻擊場景（僞造、重放、服務器被攻破、密鑰洩露、側信道等），但定義遠比實現代碼的攻擊面小，也更容易被驗證。過去只驗證「自認為安全關鍵」的部分容易失敗。

内容來源：PANews