- 代理式編碼在數週內產生了一個符合2030年路線圖的70萬行以太坊客戶端原型。
- Buterin 呼籲將更快的 AI 編碼與正式驗證、擴展測試套件以及多客戶端檢查相結合。
- 他還詳細說明了一個量子抗性路線圖,取代 BLS 並加入基於哈希和 STARK 的系統。
以太坊聯合創始人 Vitalik Buterin 表示人工智慧正快速推動以太坊的開發。在最近的公開發言中,他描述了代理式編碼如何使開發者在數週內建立一個符合路線圖的以太坊客戶端。這項工作於2026年初在線上完成,重點在於加快開發速度,同時通過測試和驗證來提升安全性。
AI 驅動的編碼與測試進展
據 Buterin 表示,一位開發者利用代理式編碼產生了一個符合2030年路線圖的以太坊原型。值得注意的是,該原型包含約70萬行代碼,涵蓋了65個路線圖項目,並在兩週內與以太坊主網同步。
然而,Buterin 強調這個構建存在重大限制。他表示該代碼可能包含關鍵漏洞和不完整的實現。不過,他解釋說,這樣的進展在六個月前幾乎是不可能的,突顯了開發工具的快速進步。
Buterin 補充說,AI 能加速各項任務的編碼。他舉例自己用本地模型在一小時內重建博客軟體的經驗。因此,他認為速度提升應該在更快的開發和更強的安全實踐之間平均分配。
正式驗證與安全重點
Buterin 表示,最有效的 AI 應用是結合更快的編碼與更深入的測試。具體來說,他強調擴展測試套件和正式驗證的必要性。他提到,一位 Lean 以太坊合作者曾用 AI 為一個複雜的 STARK 相關定理創建了機器可驗證的證明。
據 Buterin 所述,Lean 以太坊旨在正式驗證每個組件。然而,AI 現在大幅加快了這一努力。此外,他強調,無錯誤的代碼仍然困難,但通過反覆測試和多實現檢查可以更容易實現。
他警告說,安全系統不會從單一提示中產生。儘管如此,他表示除錯週期現在可以更快、更徹底地進行。
量子抗性路線圖詳情
另外,Buterin 概述了以太坊的量子抗性路線圖。他指出 BLS 共識簽名、KZG 基於資料可用性、ECDSA 帳戶簽名和零知證明系統存在漏洞。為了解決這些問題,他建議用基於哈希的簽名取代 BLS,並使用 STARK 聚合。
對於外部擁有的帳戶,Buterin 指向 EIP-8141。這一變更將允許多種簽名方案,包括抗量子方案。他承認會增加 Gas 費用,但表示效率應隨時間改善。
該路線圖還涉及證明系統。雖然 STARK 證明的成本高於目前的 ZK-SNARK,但聚合可以降低鏈上計算負擔。上個月,以太坊基金會表示,下一階段的生態系統將擴展容量,同時保持長期的安全性和韌性。
免責聲明:本頁面資訊可能來自第三方,不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考,不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證,對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為,價格波動劇烈,您可能損失全部投資本金。請充分了解相關風險,並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
以太坊突破 $2,400,主要鯨魚在永續期貨平台兩輪中被清算,損失 $2.395M
Gate News 消息,4 月 27 日——根據 Hyperinsight 監測,今天上午以太坊飆升至 $2,400 以上,並在一家主要永續期貨平台上引發兩次大規模清算。一個以 0x5bc 開頭的鯨魚地址在其 ETH 空倉上遭遇連續清算,導致以
GateNews32分鐘前
PENGU(Pudgy Penguins)24 小時上漲 12.77%
Gate 新聞消息,4 月 27 日,據 Gate 行情顯示,截至發稿時,PENGU(Pudgy Penguins)現報 0.00951 美元,24 小時內上漲 12.77%,最高觸及 0.00966 美元,最低回落至 0.00855 美元,24 小時交易量達 741.36 萬美元。目前市值約為 5.97 億美元。
PENGU 是 Pudgy Penguins 的官方代幣。Pudgy Penguins 已成為加密貨幣的代言人,擁有業界最具影響力的社群之一。從大型公司佩戴企鵝形象,到出現在 ETF 廣告中,Pudgy 已成為一種文化標誌。PENGU 讓不斷擴大的 Pudgy Pengu
GateNews41分鐘前
伊朗向美國提議霍爾木茲海峽協議,並延後核談
《Gate News》消息,4月27日——根據 AXIOS 援引美國官員及熟悉相關情況的消息人士稱,伊朗已向美國提出一項新的外交倡議,將在推動協議以重新開放霍爾木茲海峽並解除海上封鎖的同時,將核能談判推遲至後續階段並作為優先事項;
GateNews1小時前
鯨魚為出售向 HyperLiquid 存入 5,532 ETH,了結部分 ETH 空頭部位
Gate 新聞訊息,4 月 27 日 — 根據 Onchain Lens,標記為 "0xed4" 的鯨魚地址在過去 24 小時內為了出售而向 HyperLiquid 存入了 5,532 ETH (價值約 $13 百萬)。
該鯨魚也在 HyperLiquid 上了結其 20 倍槓桿的 ETH 空頭部位,同時維持在 Lighter 上的 20 倍槓桿 ETH 空頭部位為 2
GateNews2小時前
巨鯨 pension-usdt.eth 的 $110M BTC 與 ETH 做空部位隨 4 月反彈持續而下跌 $15.25M
Gate News 訊息,4 月 27 日 — 根據鏈上分析師 Yujin 的監控,巨鯨 pension-usdt.eth 在 4 月初附近以 $110 百萬美元規模的 BTC 和 ETH 開立了一個 3x 槓桿做空部位,但在整個月內價格上漲後,目前已產生浮動虧損 $15.25 million。
GateNews2小時前
Aave、Kelp、LayerZero 提議釋放 $71M 冻結 ETH 以恢復 rsETH
Gate News 消息,4 月 26 日——Aave Labs 與 Kelp DAO、LayerZero、EtherFi 和 Compound 一同,在周六上午提交了一份《憲法》型 AIP(AIP),要求 Arbitrum DAO 釋放約 $71 百萬美元的凍結 ETH,注入 DeFi United;這是一項跨協議的救助行動,源於上週 $292 百萬美元 Kelp DAO 的 “
GateNews3小時前