Vitalik Buterin 提出了一種更長期的以太坊交易模型，其核心思路是将交易中的「動作」（actions）和「依賴關係」（dependencies）分開處理。前者負責改變鏈上的狀態，後者用於證明交易在執行前已經滿足簽名、狀態證明和有效性條件。依照這一思路，部分驗證工作有機會在進入區塊之前就先完成，並行處理的空間也會更大。

交易驗證與執行擬分開處理

以太坊目前的交易流程，通常將授權、手續費支付和合約執行放在同一處理鏈路中。節點需要同時檢查簽名是否有效、發送方是否能夠支付費用，以及交易執行後是否成功。

Buterin認為，其中一部分檢查並不依賴於最終狀態的變化，理論上可以先單獨處理。比如數字簽名、零知識證明，或某些不依賴於鏈上狀態變化的有效性證明，都可以歸入“依賴”部分。

如果交易能明確聲明自己會訪問哪些狀態，內存池也更容易判斷哪些條件會被前置交易影響，哪些檢查則可以提前完成。這意味著，更可預測的交易可能獲得更高的驗證效率。

EIP-8141 仍處於草擬階段

與此思路相對應的是一項名為 EIP-8141 的草案提案。該提案引入了一種新的交易類型，稱為 Frame Transaction。它將一筆交易拆分成多個調用框架，用於分別處理授權驗證、手續費支付和用戶操作執行。

根據草擬設計，交易的有效性和費用支付不再完全依賴於外層的標準簽名。賬戶代碼可以自行定義授權方式和支付規則。驗證帧負責確認條件是否成立，發送帧則負責真正修改狀態。

這一結構也被視為有助於不同的 EVM 網絡之間採用更接近的基礎交易格式。不過，EIP-8141 目前仍為核心草擬案，尚未被納入以太坊主網升級，也沒有明確的部署時間。

開發者討論中也提出多項技術問題，包括拒絕服務風險、交易替換規則、錢包和區塊構建器的適配，以及公共內存池對同一發送方待處理交易數量的限制。這些問題仍需進一步解決。

遞歸 STARK 或減少重複驗證

Buterin 提出的長期發展方向不僅限於 EIP-8141。他還設想，對於那些不需要訪問鏈上狀態的「純依賴」，可以在內存池層面進行一次檢查，而非由每個驗證者重複執行。

在這一模型下，網路能將多項已完成的驗證工作壓縮成遞歸的 STARK 證明，再由驗證者統一驗證這份聚合證明。這樣做的目標，是減少重複計算，並壓縮部分驗證負擔。

他還提到，這種方式未來可能會幫助以太坊適應後量子密碼方案。原因在於，抗量子簽名通常體積更大、驗證成本更高。如果賬戶可以自定義授權方式，再配合遞歸證明聚合，相關驗證成本就有機會下降。

不過，這部分內容目前仍處於研究階段，並不屬於 EIP-8141 的現有規範。若要真正落實，還需要解決生成證明、內存池協同、數據可用性以及錯誤聚合防護等問題。