以太幣(ETH)交易格式醞釀重整？布特林力推驗證與執行分離

以太坊(Ethereum)共同創辦人維塔利克·布特林（Vitalik Buterin）近期再度提出一項設計構想，主張將以太幣(ETH)交易格式拆分成「驗證」與「執行」兩個環節。這項討論的核心目標，是在處理「擴展性」與「隱私」問題時，把交易實際執行的內容與執行前必須驗證的條件分開處理。

布特林近期在社群平台 X 發文指出，2015 年式的設計把執行與狀態視為同一整塊，但如今的擴展策略必須把「動態靈活」的部分與「靜態可分析」的部分區分開來。他認為，以太坊鏈上超過九成的活動並不需要動態靈活性，那些與狀態無關的純粹依賴關係，可以在記憶體池（mempool）階段先處理一次，再以「斯達克證明」（STARK）取代。

這場討論的核心是編號 EIP-8141、名為「訊框交易」（Frame Transaction）的草案。以太坊改進提案文件說明，EIP-8141 會把一筆交易拆成多個「訊框」（frame），並在每個訊框中分別處理驗證、手續費支付與使用者操作執行。

EIP-8141 是一份於 1 月 29 日完成的草案文件，布特林也是共同作者之一。文件寫明，訊框交易的設計目的，是在協議層面實現「帳戶抽象化」最初設定的目標。

帳戶抽象化（Account Abstraction）指的是讓使用者帳戶不再只綁定單一簽名方式，而能像具備程式碼的地址一樣運作。這項概念通常被視為實現錢包救援、多重簽名、代付手續費、導入新簽名方式等功能的基礎架構，讓相關設計更具彈性。

在現行交易結構中，執行與驗證多半被視為一整塊處理。新設計則把交易切分成「訊框」單位，包括負責驗證的 VERIFY 訊框、負責執行的 SENDER 訊框，以及基本執行流程等。

每個訊框各自附有獨立的「執行氣體」（gas）與「狀態氣體」上限，用意是更清楚地劃分一筆交易消耗多少運算資源、又用了多少額度在狀態變更上。若能在記憶體池階段就先篩出可驗證的元素，執行端的負擔也有機會隨之降低。

這場討論並不只是單一功能提案。編號 EIP-8250、名為「鍵值隨機數」（Keyed Nonces）的提案，主張為訊框交易導入獨立的隨機數（nonce）區間。其出發點在於：若只使用單一線性隨機數，同一個發送地址底下多名使用者的交易可能互相卡住、彼此阻塞。

「鍵值隨機數」讓隱私應用或共享錢包架構能各自使用不互相重疊的隨機數區間。評論認為，一旦交易順序管理不再被綁在同一條線上，並行處理與共用架構的設計就會更容易實現。

以太坊開發者社群平台 Ethereum Magicians 上，一則名為「Hegota」網路升級的整合討論串，把訊框交易、鍵值隨機數、「近期根」（Recent Roots）與「FOCIL」一併歸入安全性、隱私與使用者體驗三大主軸。這意味著交易格式的重新設計並非獨立實驗，而是被納入下一輪升級討論的一部分。

執行端客戶端陣營也已展開測試網實驗。公開的業界公告顯示，ethrex 正在運行一個公開測試網，整合了訊框交易、鍵值隨機數、近期根與 FOCIL 系列 EIP。換言之，這些文件層級的討論，已開始進入開發網與測試網階段。

開發者社群的反應則在「方向認同」與「實作負擔」之間分歧。EIP-8141 的討論串裡，有留言直言「This looks great!」表達支持，但緊接著也出現多項疑問，包括同時存在多個 VERIFY 訊框時該如何處理、是否可能出現「原子式多重呼叫」，以及新增指令與協議層級抗性檢查會帶來多少複雜度。

支持一方認為，原生「帳戶抽象化」有助於未來轉向抗量子簽名，並降低對中繼者（relayer）的依賴。相對地，審慎一方則指出，隨著新指令與協議層級內部檢查增加，整體複雜度恐同步上升。同一項設計，同時被拿來討論「彈性擴大」與「協議臃腫」兩種可能。

這波討論也與本媒此前報導的以太坊將抗量子與隱私列為長期路線圖核心課題相互呼應。布特林先前在長期路線圖中，已把抗量子安全、強隱私保護、遞歸斯達克（Recursive STARK）與形式驗證列為更高優先項目。

不過，EIP-8141 與 EIP-8250 目前都仍屬草案階段，尚未提出主網上線時程。就目前掌握的資訊而言，這仍是協議層面關於如何拆分與驗證交易格式的設計討論，並非已經拍板的升級方案。