PANews 9月17日消息,Vitalik 發文反駁「AI 黑客會讓網路安全徹底崩潰」的觀點。他表示,網路安全本質上是防禦有利的,只要認真做好工作。自己繼續持有加密貨幣(約淨資產 90%),就是在押注這一點。Vitalik 認為,如果 AI 能證明納維-斯托克斯方程式和費馬大定理,那麼它也能把「這個程式是安全的」作為數學定理來證明,哪怕程式很複雜。「安全」的定義本身很複雜,包含多種攻擊場景(偽造、重放、伺服器被攻破、金鑰洩漏、側通道等),但定義遠比實現代碼的攻擊面小,也更容易被驗證。過去只驗證「自認為安全關鍵」的部分容易失敗。現在有了 AI,必須(也能夠)對整個程式進行驗證,包括資料庫、網路、快取等所有部分。
Vitalik 強調,這不是「好人比壞人先找到漏洞」,而是主動寫出更抗攻擊的程式碼。這正是以太坊未來幾年的發展方向。如果不採取這種做法,區塊鏈(尤其是那些兼具可擴展性與隱私保護功能的區塊鏈)將沒有未來。


