以太坊联合创始人Vitalik Buterin概述了他认为以太坊交易可能发生的重大演变。
他表示，最近在账户抽象、状态设计和密码学证明聚合方面的工作，正在促使交易的功能与交易执行前必须证明的内容之间实现更清晰的分离。
Buterin表示，围绕EIP-8141、替代状态模型、键控随机数和基于递归STARK的mempool的最新研究，已经产生了一个更明确的交易概念模型。
关键是要区分两个组成部分：“动作”和“依赖”。
“动作是交易产生的影响，”Buterin解释道。
这种区分听起来可能主要是概念性的。然而，Buterin认为，明确地将两者分开可以让以太坊开发者以根本不同的方式优化它们。
为何重要
验证和执行传统上是交织在一起的。节点接收交易，验证所需信息，并最终执行它们。
Buterin认为，依赖具有特别适合优化的特性。
许多依赖可以并行检查。有些可以在交易进入区块之前由mempool检查。其他依赖则根本不需要访问以太坊状态。
这些所谓的“纯”依赖可能由mempool检查一次，然后每个验证者就不再重复执行。
根据Buterin的说法，大量此类检查最终可能被一个STARK证明所取代，证明它们都正确执行。
“依赖可以并行处理，”他写道。
