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

动作与依赖拆分

Buterin认为，交易并不只是一次执行。它还包含需要先验证的条件。把两者分开后，开发者可以分别优化验证和执行流程。

验证方式更灵活

他提到，部分依赖条件可以并行检查，有些甚至能在交易进入区块前先由内存池处理。还有一些“纯”依赖不需要访问以太坊状态，也可能只需检查一次。

与EIP-8141相关

Buterin称，围绕 EIP-8141、替代状态模型、带键 nonce 和递归 STARK 内存池的研究，已经让交易的概念模型更清晰。若这些检查能被证明已正确完成，未来还可能由单一 STARK 证明来统一确认。