Buterin 提議將以太坊交易拆分為兩個組成部分

以太坊共同創辦人Vitalik Buterin於9月6日提議將交易拆分為兩個組成部分——「動作」（actions）與「依賴」（dependencies）——以便讓驗證者並行處理檢查。

「動作是交易產生的效果，」布特林寫道，他主張將兩者分離可讓開發者以根本不同的方式進行優化。

布特林將此提案與近期在帳戶抽象、狀態設計及加密證明聚合方面的研究聯繫起來，引用了EIP-8141、替代狀態模型、金鑰隨機數（keyed nonces）以及基於遞迴STARK的記憶體池（mempools）。無需存取以太坊狀態的依賴——他所謂的「純」檢查——可由記憶體池驗證一次，之後每個驗證者無需再次執行。

此類檢查的大量集合最終可被單一STARK證明取代，以證明所有檢查均已正確執行，這項轉變將從執行層中剔除冗餘的驗證工作，並降低每筆交易的處理成本。

拆分之所以重要

驗證與執行傳統上相互交織：節點接收交易、驗證所需資訊，然後執行交易。布特林認為，依賴所具備的特性使其特別適合優化。許多檢查可以並行進行，有些可在交易進入區塊之前由記憶體池檢視，還有一些則完全不會觸及以太坊狀態。

此一框架是既有研究的延伸。像ERC-4337和EIP-8141系列的帳戶抽象研究，將交易由誰付費與由誰簽署脫鉤；更清晰的動作與依賴模型將把這種分離推展至網路如何證明一筆交易有效。將數千筆交易批量打包為單一證明的STARK捲軸（rollups），將是最大直接受益者，因為相同的證明聚合邏輯也可在主鏈上壓縮驗證工作。

布特林的此番言論屬於研究方向，而非既定升級。目前尚無正式提出納入未來硬分叉的EIP，時間表也仍未確定。儘管如此，此提案揭示了以太坊在多年來就帳戶抽象與狀態膨脹的辯論之後，其路線圖的發展方向，並為開發者提供了交易格式未來如何演進的具體目標。

對於在以太坊上建構的團隊而言，若冗餘驗證被壓縮為單一證明，回報將體現在更低的燃料費（gas）成本與更快的確認時間。此提案也強化了以太坊在面對更快速L1競爭對手時的競爭優勢，因為更低的驗證成本縮小了吞吐量差距——正是這一差距將部分活動推向了Solana及其他鏈。

本文僅供資訊參考，不構成投資建議。