維塔利克·布特林表示,AI 將透過形式化驗證強化加密安全性
以太坊共同創辦人維塔利克·布特林否定了 AI 驅動的駭客攻擊將終結網路安全的說法。他週三在 X 發文表示,先進的 AI 模型反而能透過形式化驗證,強化加密軟體的防禦能力。布特林的淨資產約有 90% 持有加密貨幣;他認為,既然 AI 足以解決複雜的數學問題,也能將軟體安全性證明為數學定理。他的評論延續了以太坊持續推動的 AI 輔助安全、隱私強化、STARK 實作及抗量子發展。 布特林主張 AI 能實現數學安全性證明 布特林反駁了 AI 讓駭客取得無法克服的優勢的日益普遍看法。「AI 駭客攻擊意味著網路安全注定失敗,這種看法越來越常見,」布特林寫道。「我不同意。我認為,只要我們把事情做好,網路安全本質上自然會偏向防禦方。」 他表示,AI 能讓形式化驗證——也就是透過數學證明確立軟體安全性的方式——即使對複雜系統而言也變得切實可行。「如果 AI 能證明 Navier-Stokes 和 FLT,那麼 AI 就能將『這個程式是安全的』這句話證明為數學定理,」他寫道。「即使程式非常複雜也一樣。」 布特林承認,定義安全要求仍是首要挑戰。區塊鏈開發者正使用 AI 代理掃描程式碼、測試漏洞利用方式,並在
Ethan Brooks·09-17 19:09
