Vitalik Buterin 近日谈到，以太坊在交易格式上的研究正在推进。相关工作集中在账户抽象、状态设计以及密码学证明的聚合上，目标是把交易的“动作”和“依赖条件”分开处理。

動作與依賴關係的分離

Buterin認為，交易並不只是一次執行。它還包含需要先驗證的條件。把兩者分開後，開發者可以分別優化驗證和執行流程。

驗證方式更靈活

他提到，部分依赖條件可以並行檢查，有些甚至能在交易進入區塊之前就由內存池處理。還有一些「純」依賴不需要訪問以太坊狀態，也可能只需要檢查一次。

與 EIP-8141 相關

Buterin 表示，圍繞 EIP-8141、替代狀態模型、帶鍵的 nonce 以及遞歸的 STARK 内存池的研究，已經讓交易的概念模型更加清晰。如果這些檢查能被證明已正確完成，未來還可能通過單一的 STARK 來統一確認。