Vitalik Buterin 表示 AI 可能加速以太坊路線圖，同時提高安全標準

本文 Vitalik Buterin 表示 AI 可能加速 Ethereum 路線圖同時提高安全標準 首次發表於 Coinpedia Fintech News

Ethereum 開發的未來可能比許多人預期的來得更快。

Vitalik Buterin 最近描述了一項實驗，其中大部分 Ethereum 提出的 2030 年路線圖在短短幾週內使用人工智慧工具完成了「氛圍編碼」。雖然他提醒結果遠未達到生產就緒狀態,但更廣泛的訊息很明確：AI 正在快速改變區塊鏈基礎設施的建構方式。

AI 編碼正以前所未有的速度發展

根據 Buterin 的說法,在短短兩週內創建如此複雜路線圖的粗略版本,在六個月前似乎是不切實際的。他表示 AI 生成的程式碼可能包含關鍵錯誤和不完整的部分。某些元件可能是佔位符而非完全實作的功能。

儘管如此,開發速度本身標誌著一個轉變。

Buterin 還分享說,他最近使用在筆記型電腦上本地運行的開源 AI 模型,在大約一小時內建立了部落格軟體的一個版本。他表示,更先進的系統可能能更快完成類似任務。

重點不是 AI 可以立即產生安全的區塊鏈基礎設施。相反,它顯示了開發時程正在急劇縮短。

速度只是故事的一半

Buterin 強調,僅僅更快的編碼是不夠的。在他看來,真正的機會在於平衡速度與更強的安全實踐。

開發人員可以使用 AI 來做到以下事項,而不是僅用於編寫更多程式碼：

• 生成顯著更多的測試案例
  
• 執行更深入的安全稽核
  
• 創建同一系統的多個獨立實作
  
• 正式驗證關鍵元件
  

據報導,來自 LeanEthereum 計畫的一位合作者使用 AI 協助為基於 STARK 加密技術的複雜數學定理之一產生機器可驗證的證明。

對於越來越依賴先進零知識系統的 Ethereum 來說,這類驗證工具至關重要。

正式驗證可能成為標準實踐

LeanEthereum 的核心原則是盡可能正式驗證所有元件。正式驗證意味著數學證明程式碼完全按預期運作。

在保護數十億美元價值的區塊鏈系統中,即使減少小的漏洞也能產生巨大影響。Buterin 表示 AI 正在加速大規模產生經驗證證明和壓力測試實作的能力。

他謹慎補充說,沒有人應該期望輸入單一提示就能收到完全安全的程式碼。錯誤、不一致和設計權衡將仍然是過程的一部分。

然而,除錯和測試週期可能比以前快五倍且更徹底。

Ethereum 的路線圖能否比預期提前完成？

雖然 Buterin 沒有做出任何確切預測,但他鼓勵社群對 Ethereum 長期路線圖可能比許多人預期更快完成的可能性保持開放態度。

更重要的是,他表示它可能達到比傳統上對複雜分散式系統預期更高的安全標準。

如果 AI 繼續以目前的速度改進,曾經減緩區塊鏈升級的開發瓶頸可能變得不那麼受限。