以太坊創辦人 Vitalik Buterin 表示，AI 驗證有助於保護加密貨幣網絡安全

📄完整原文· 由 trafilatura 自動擷取Gemini 翻譯4904 字

簡述 - Vitalik Buterin 表示，AI 輔助的「形式化驗證」（formal verification）有助於減少 Ethereum 及其他加密基礎設施中的漏洞。 - 該技術利用數學證明來驗證軟體的行為是否符合預期。 - Buterin 指出，AI 可能同時強化網路攻擊與防禦性安全工具。 Ethereum 共同創辦人 Vitalik Buterin 表示，經數學驗證的軟體對於保護 Ethereum 及更廣泛的加密貨幣產業免受 AI 輔助的網路攻擊與軟體漏洞影響，正變得至關重要。在週一發布的部落格文章中，Buterin 主張 AI 輔助的「形式化驗證」有助於保護區塊鏈網路、智慧合約及密碼學系統，使其免受可能導致用戶遭受不可逆財務損失的軟體缺陷影響。「如果執行得當，這不僅有潛力產出極高效率的程式碼，還能比以往的程式設計方式更加安全，」Buterin 寫道，並提到開發者 Yoichi Hirai 將其稱為「軟體開發的最終形態」。形式化驗證是一種透過數學方式測試軟體行為是否正確的方法，該方法可追溯至 1950 年代和 1960 年代的基礎研究。根據 Buterin 的說法，近期 AI 的進步正使該技術在軟體工程與安全研究中變得更加實用。「如果你進行端到端的形式化驗證，那麼你證明的就不僅僅是協議描述在理論上是安全的，而是用戶所執行的特定程式碼在實踐中也是安全的，」他寫道。「從用戶的角度來看，這大大提升了去信任化（trustlessness）：為了完全信任程式碼，你不需要檢查整個程式碼，只需要檢查關於它的證明陳述即可。」 Buterin 發布此文之際，研究人員與政府正警告稱，先進的 AI 模型在發現並利用軟體漏洞方面的能力正迅速提升。Anthropic 在測試顯示其系統能自主識別並利用遠超以往公開 AI 模型的軟體缺陷後，限制了對其專注於網路安全的 Claude Mythos 模型的存取權限。該模型因具備這些能力而受到情報與安全機構的關注。今年 4 月，Anthropic 的 Claude Mythos 在內部測試中識別出 Mozilla Firefox 的 271 個漏洞；本月稍早，安全研究人員表示，該模型的預覽版本協助開發了一種針對 Apple M5 晶片保護機制的漏洞利用程式。英國 AI 安全研究所（U.K. AI Security Institute）的研究人員也發現，OpenAI 的 GPT-5.5 已展現出先進的攻擊性網路能力。「電腦程式碼中的錯誤很可怕，」Buterin 寫道。未被發現的錯誤對加密專案來說可能是毀滅性的，因為軟體缺陷可能被利用來永久竊取用戶資金，且幾乎沒有挽回的機會。今年 4 月，北韓支持的 Lazarus Group 攻擊者在「毒化」LayerZero Labs 使用的內部 RPC 後，成功從 Kelp DAO 的基礎設施中竊取了價值 2.92 億美元的代幣。總體而言，據信北韓國家支持的駭客迄今已竊取了價值超過 60 億美元的加密貨幣。 Buterin 表示，形式化驗證還可以透過證明優化後的底層程式碼與更易讀的參考實作相符，來提升對 AI 生成軟體的信任。「價值增值的一大部分在於證明是真正的端到端，」Buterin 寫道。「通常，最棘手的錯誤是存在於兩個被分開考慮的子系統邊緣的互動錯誤。」然而，儘管 Buterin 看到了 AI 協助保護加密網路程式碼的潛力，但他提醒說，形式化驗證並不能完全消除安全風險。「形式化驗證並非萬靈丹。但它特別適用於目標比實作簡單得多的情況，」他寫道。「這在我們需要在 Ethereum 下一個重大迭代中部署的一些極其困難的技術中尤為真實：抗量子簽章（quantum-resistant signatures）、STARKs、共識演算法以及 ZK-EVMs。」 Buterin 反對認為日益先進的網路攻擊最終將使開源軟體或去中心化系統無法獲得保護的觀點。「這對網路安全來說將是一個黯淡的未來。對於我們這些關心網際網路去中心化與自由的人來說，這尤其是一個極其黯淡的未來，」他說。「整個賽博龐克（cypherpunk

資料狀態✓ 已擷取全文閱讀原文（Decrypt）

🔍歷史類似事件· 關鍵字 + 標的比對6 則

2026-05-16

Justin Sun 領導的 Liberland 微型國家將其最高榮譽授予 Ethereum 創辦人 Vitalik Buterin

相似度 430%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-25

Vitalik Buterin 在人事異動中暗示 Ethereum Foundation 將轉向「精簡船艦」

相似度 380%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-25

以太坊巨鯨開啟 1 億美元空單，Vitalik Buterin 承諾「減少出售 ETH」

相似度 380%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-24

Vitalik Buterin 削減其在 Ethereum Foundation 的權力，同時 ETH 拋售速度放緩

相似度 380%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-24

Vitalik Buterin 暗示 Ethereum Foundation 將削減權力，ETH 出售規模在重大轉變中縮減

相似度 380%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-21

Ethereum 邁向真正「貨幣屬性」所缺失的一塊拼圖：Vitalik Buterin 正關注的焦點

相似度 380%標的 ETH關鍵字 ethereum/buterin/vitalik

💡 目前用關鍵字 + 標的比對（MVP）· 之後會升級為 embedding 語意搜尋

原始資訊

ID：3c9dabe102

來源：Decrypt

發佈：2026-05-18 16:34:57

分類：hot · 導出分類 hot

標的：ETH

社群投票：+0 / −0 · ⭐ 1 重要 · 💬 0 留言