以太坊联合创始人Vitalik Buterin近日提出了一项可能推动以太坊交易结构重大演进的构想，建议在交易执行过程中引入更清晰的概念区分：交易具体执行什么操作，以及交易在事前需要验证哪些条件。在他最新的深度分析中，Buterin重点讨论了账户抽象、替代状态模型、密钥随机数（keyed nonces）以及基于递归STARK的Mempool等研究方向。
Buterin认为，这些探索共同指向一个更显性的交易模型——将交易解析为两个独立组成部分：“动作”（Actions）和“依赖”（Dependencies）。他解释道：“动作是交易产生的效果。”相比之下，“依赖”则代表在某一动作被允许发生之前，必须得到证明的前置条件。这种区分看起来可能主要停留在概念层面，但Buterin相信，将两者显式分离，可以让开发者针对不同组件进行本质不同的优化。
在传统模式下，验证与执行往往相互交织：节点接收交易，校验所需信息，然后执行交易。Buterin指出，“依赖”具备一些独特属性，使其非常适合做优化处理。许多依赖项可以并行验证；部分依赖可以在交易进入区块之前就被Mempool先行检查；还有一些依赖完全不需要访问以太坊状态。这些所谓的“纯”依赖，理论上可以由Mempool验证一次，而无需每个验证者重新执行。
Buterin还提到，大量此类检查最终可以被压缩成一个单一的STARK证明，用于证明所有检查均正确完成。他表示：“依赖项可以并行处理。”这项研究引用了多个提案与概念，包括EIP-8141、替代状态模型、密钥随机数，以及基于递归STARK的Mempool。综合来看，这些方向可能重塑以太坊交易处理的基础架构，从而为更高效的验证和执行打开新的空间。