Vitalik Buterin 拒絕認為 AI 黑客攻擊會使網絡安全陷入困境

• Buterin 表示網絡安全在使用 AI 進行驗證時有利於防禦。
• 這位企業家提出以太坊將正式應用 AI 輔助的安全性。

以太坊的共同創辦人 Vitalik Buterin 拒絕了這樣的論點：由人工智慧（AI）增強的黑客攻擊會使網絡安全無路可退。他表示：「越來越多的人認為 AI 黑客攻擊意味著網絡安全注定失敗。我不同意這一觀點。」

Buterin 認為，「一旦人們開始重視，網絡安全自然有利於防禦。」他補充說：「任何仍然持有加密貨幣的人（包括我，90% 的淨資產）都在隱含地進行這種賭注。」這位開發者於 2026 年 9 月 16 日表示。

Buterin 的核心觀點是 AI 可以將軟體的安全性視為數學定理，即使面對複雜的代碼。他辯稱：「如果 AI 能夠證明 Navier-Stokes 和 FLT，那麼 AI 也能像數學定理一樣證明‘這個程序是安全的’的說法。即使這個程序非常複雜。」

FLT 是指費馬最後定理，而 Navier-Stokes 則是一組數學物理的微分方程；這兩者都代表著複雜的證明。

這位開發者警告說，「安全」這個詞隱藏著「關於它真正意義的各種骷髏」。為了說明這種複雜性，他 以 Signal 訊息應用作為測試案例。他解釋說，最明顯的定義——防止未持有接收者密鑰的人閱讀訊息——並不涵蓋對手可能偽造訊息、阻止其傳遞或主動攻擊系統的情況。

他還考慮到攻擊者是否能夠轉發舊訊息、妥協伺服器、篡改公鑰、入侵設備或通過操作系統、數據庫或編譯器的故障導致數據洩漏。此外，他質疑是否隱藏了發送數據的大小或元數據。「當然，你並沒有隱藏發件人和接收者的身份，也沒有隱藏每條訊息發送的確切時間。」這使得推斷「你擁有什麼樣的關係以及你正在進行什麼類型的對話」變得可能。

面對這種情況，他強調定義可能超過千行代碼。「使定義對人類更易讀的工作極其重要：這可能是現在唯一重要的‘高級語言’。」Buterin 辯稱，驗證正確的定義比直接檢查代碼更可行。

他還解釋說，定義是可加的。「如果兩組有兩個不同的定義 A 和 B，那麼，你可以證明該程序同時滿足 A 和 B，而在傳統代碼中，任何組件的故障都可能導致系統崩潰。」

這位以太坊的共同創辦人 排除了部分審查或漏洞檢測的競賽。「今天的解決方案是：抱歉，你必須逐字檢查整個程序，包括數據庫、網絡、任何緩存層，所有一切。現代 AI 可以做到這一點。」他保證。「這是一種不對稱的策略，從一開始就使代碼更具韌性。」

Buterin 將他的立場與他所領導的網絡聯繫起來。「這是以太坊在未來幾年將採取的方向。沒有可擴展性和隱私的網絡未來是不可想像的。」他強調。

這種對數學驗證的看法並非孤立出現，而是回應了這位開發者自己對生成工具的實驗，正如 CriptoNoticias 報導的那樣。Buterin 指出，vibecoding 實驗——一種程序員用自然語言指導 AI 的實踐，而不是逐行編寫代碼——在兩週內構建了該網絡 2030 路線圖的初步版本。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。