Vitalik Buterin 提出一套更長期的以太坊交易模型,核心思路是把交易中的「動作」和「依賴」拆開處理。前者負責改變鏈上狀態,後者用於證明交易在執行前已經滿足簽名、狀態證明和有效性條件。按這一思路,部分驗證工作有機會在進入區塊前先完成,並行處理空間也會更大。
交易驗證與執行將分開處理
以太坊當前的交易流程,通常將授權、手續費支付和合約執行放在同一處理鏈路中。節點需要同時檢查簽名是否有效、發送方能否支付費用,以及交易執行後是否成功。
Buterin 認為,其中一部分檢查並不依賴最終狀態變化,理論上可以先單獨處理。例如數位簽名、零知識證明,或某些不依賴鏈上狀態變化的有效性證明,都可以歸入「依賴」部分。
如果交易能明確聲明自己會訪問哪些狀態,內存池也更容易判斷哪些條件會被前序交易影響,哪些檢查則可以提前完成。這意味著,更可預測的交易可能獲得更高的驗證效率。
EIP-8141 仍處草案階段
與這一思路對應的,是名為 EIP-8141 的草案提案。該提案引入一種新的交易類型,稱為 Frame Transaction。它把一筆交易拆成多個調用幀,用於分別處理授權驗證、手續費支付和用戶操作執行。
根據草案設計,交易的有效性與費用支付不再完全依賴外層的標準簽名。帳戶代碼可自行定義授權方式與支付規則。驗證框負責確認條件是否成立,發送框則負責實際修改狀態。
這種結構也被視為有助於在不同 EVM 網絡之間採用更接近的基礎交易格式。不過,EIP-8141 目前仍是核心草案,尚未被納入以太坊主網升級,也沒有明確的部署時間。
開發者討論中也提出了多項技術問題,包括拒絕服務風險、交易替換規則、錢包和區塊構建器適配,以及公共記憶體池對同一發送方待處理交易數量的限制。這些問題仍待進一步收斂。
遞歸 STARK 或減少重複驗證
Buterin 提出的長期方向不止於 EIP-8141。他還設想,對於那些不需要訪問鏈上狀態的「純依賴」,可以在內存池層先完成一次檢查,而不是由每個驗證者重複執行。
在這個模型下,網絡可將多項已完成的驗證工作壓縮成遞歸 STARK 證明,再由驗證者統一驗證這份聚合證明。這樣做的目標,是減少重複計算,並壓縮部分驗證負擔。
他還提到,這種方式未來可能幫助以太坊適配後量子密碼方案。原因在於,抗量子簽名通常體積更大、驗證成本更高。如果帳戶可以自定義授權方式,再配合遞歸證明聚合,相關驗證成本有機會下降。
不過,這部分內容目前仍停留在研究層面,並不屬於 EIP-8141 的現有規範。要真正落地,還需要解決證明生成、記憶體池協同、資料可用性以及錯誤聚合防護等問題。

