Vitalik Buterin 描繪以太坊路線圖:驗證工作將超越區塊鏈本身
重點速覽
- •Vitalik Buterin 提出一種以太坊架構:基礎層繼續處理交易排序與最終結算,而遞歸 STARK 證明承擔更大比例的驗證工作。
- •這篇文章描述的是邁向 2030 年的多年期技術方向,而非固定的交付時程,所有提議的升級仍須通過以太坊標準的研究、測試與社群核准流程。
- •透過 Fusaka 升級上線的 PeerDAS 讓節點對 blob 資料進行抽樣,而非下載完整資料集,體現減輕單一節點工作負載同時保留獨立驗證的原則。
- •規劃於 2027 年的 Hegotá 升級被描述為很可能是最後一次主要以 2010 年代中期開發者熟悉之技術打造的升級,後續階段可能涉及優化共識、自動化形式化驗證與抗量子密碼學。
- •Buterin 的隱私目標超越付款金額,延伸至錢包元資料,鎖定私密付款、私密帳戶邏輯,以及減少暴露給任何單一服務提供商的錢包查詢。

以太坊共同創辦人 Vitalik Buterin 在一篇 9 月 27 日的文章中描繪了一個以太坊架構:基礎鏈負責結算最終結果,而密碼學證明承擔越來越多的驗證工作。他對 2030 年的願景涵蓋遞歸 STARK 證明、資料可用性抽樣、隱私工具以及重新設計的共識機制。這篇文章設定的是多年期的技術方向,而非確切的交付時程:相關程式碼、各項升級的範圍與交付日期,仍須通過以太坊既有的開發流程。
這項轉變可以用一句話概括:鏈持續決定最終結果,而證明讓參與者能以更有效率的方式檢驗產生這些結果的工作。
以太坊本身仍須承擔的工作
以太坊需要一份共享紀錄,載明誰擁有哪些資產、哪筆交易先發生。這份紀錄防止同一筆資金被重複花費,並為應用程式提供每位參與者都能引用的最終狀態。
目前,全節點獨立驗證交易與狀態變更。它們檢查發送方是否持有足夠資金、智慧型合約是否遵循其規則,以及產生的狀態是否符合協議。這種重複工作強化了網路安全性,但同時也限制了增加更多電腦所能帶來的容量提升。
在 Buterin 的路線圖下,交易排序與最終結算仍留在基礎層,而周邊基礎設施則獲得更多空間,在複雜運算進入最終區塊之前處理這些運算。
證明可以承擔更多檢驗工作
零知識證明是一種精簡的數學陳述,用以證明某項運算遵循了一組既規則。STARK(Scalable Transparent Argument of Knowledge 的縮寫)是一種透明的、基於雜湊的建構方式,無需可信設置。證明者執行較重的計算,並提供其他參與者能夠高效驗證的證據。遞歸證明將這個模型進一步延伸,把多個證明合併為單一證明,使網路能夠檢驗一個涵蓋更大範圍依賴關係的壓縮結果。這種做法可減少進入以太坊執行環境的重複運算量。
Buterin 以一個錢包檢查複雜 DeFi 部位為例,該部位涉及多種抵押資產與自動化規則。在他描述的架構中,一個證明即可確立該部位已被正確更新,隨後由以太坊依其自身規則結算產生的狀態。
更低的成本與更快速的複雜操作仍是可能的結果。其規模將取決於證明產生成本、應用程式設計,以及最終抵達主網的功能。
資料可用性是另一個安全問題
有效證明與可用資料的功能並不相同。證明回答的是一項既定運算是否被正確執行;資料可用性回答的是支撐該運算的資訊是否仍可取得與檢視。這個區別在實務上至關重要:若資料無法取得,即使證明有效,參與者也將無法獨立重建運算所產生的狀態。
PeerDAS 解決的是第二個問題。它讓節點對 blob 資料進行抽樣,從而建立對更完整資料集可用的信心,免除每個節點在下載完整資料集後才能參與檢查的需求。PeerDAS 隨 Fusaka 升級上線,成為以太坊擴容架構中實際運作的一環。Buterin 的文章將同一設計原則更往前推進:減輕每位個別參與者的重複工作,同時保留獨立驗證的途徑。
這篇文章也將先前以證明為基礎的驗證者驗證工作,包括 Lean Ethereum 提案,置於涵蓋全網運算、資料與隱私的更廣泛計畫之中。
隱私也將涵蓋錢包留下的痕跡
以太坊的隱私挑戰不僅止於隱藏付款金額或收款地址。錢包經常向外部伺服器查詢餘額、代幣資料與交易歷史,而這些請求可能洩露一個人追蹤或控制的帳戶。
Buterin 描述了密碼學工具與去中心化基礎設施,可保護更多此類元資料。其目標包括私密付款、私密帳戶邏輯,以及減少暴露給任何單一服務提供商的錢包查詢。
日常使用所需的不只是協議研究。錢包軟體必須安全地支援這些工具,介面也必須清楚說明安全模型,讓使用者能做出明智的選擇。
Hegotá 開啟更長的技術過渡期
以太坊的官方路線圖將 Hegotá 升級排在 2027 年。Buterin 形容它很可能是最後一次主要以 2010 年代中期開發者所熟悉的技術打造的升級。下一階段可能涉及遞歸 STARK、更優化的共識、化形式化驗證,以及抗量子密碼學。
形式化驗證可以檢測程式碼是否符合書面規格,但無法解決規格本身的遺漏或錯誤決策。量子安全研究則為以太坊因應未來運算能力的進展做準備;以太坊現有的密碼學目前仍在使用中。
這些構想仍須面對研究、規格制定、用戶端開發、安全審查、測試與社群共識。對於持續關注的讀者而言,可觀察的里程碑是規格草案、用戶端實作,以及在公共網路上的測試——與每項以太坊升級抵達主網前必經的階段相同。證明產生必須在真實工作負載下變得更便宜、更安全,而管理大量共享應用程式狀態仍是文章中指出的另一項重大挑戰。
這份路線圖將以獨立驗證為評判標準
實務標準很簡單。使用者、開發者與節點營運者需要一個切實可行的方式來驗證系統,而不依賴不透明的中介方。精簡證明必須高效,資料必須保持可取得,錢包必須清楚傳達每個操作背後的假設。
以太坊提出的架構讓鏈負責排序與結算,而證明系統與去中心化基礎設施將承擔更大比例、通往這些最終結果的工作。這份路線圖的價值,將取決於這種安排是否能讓驗證更切實可行,而不會增加一般使用者無法評估的複雜性。
本文僅供資訊參考,不構成財務或投資建議。以太坊的路線圖仍可能因技術審查、社群協調而變動。