以太坊联合创始人 Vitalik Buterin 提出了一种交易设计方案，将验证交易所需的条件与最终在网络上执行的动作分离开来，从而有可能让以太坊更高效地处理验证工作。

该提案借鉴了以太坊研究的多个方向，包括 EIP-8141、键控 nonce、替代状态设计以及基于递归 STARK 的内存池。Buterin 的研究区分了交易动作（在以太坊上产生变更）与依赖项（必须在动作安全执行之前得到解决）。

在拟议模型下，这种分离可以让交易处理的不同部分被独立处理，而不是要求验证与执行紧密耦合。

交易设计可实现并行验证

动作描述交易产生的效果，例如转移代币、更新账户或与智能合约交互。相比之下，依赖项代表在这些动作能够继续之前必须确立的条件。

以太坊现有的交易流程将这些验证要求与执行绑定在一起：节点接收交易，检查其要求是否满足，然后处理所请求的操作。

Buterin 的提案表明，许多依赖项可以被独立处理，因为它们不一定与动作本身具有相同的特性。

一些依赖项依赖以太坊状态中包含的信息，而另一些则可以在不访问网络状态的情况下评估。后一类被称为纯依赖项，有可能在交易被打包进区块之前就得到验证。

将这部分工作移入内存池可以减少节点在区块执行期间需要重复的验证量，还可以让多个依赖项被并发检查，而不是要求每个条件都按顺序处理。

随着以太坊交易变得更加复杂、需要更精密的授权与执行逻辑，这种区分可能会变得越来越重要。并行执行和更高的验证吞吐量是以太坊可扩展性路线图中的常见主题，该路线图强调通过二层 rollup 与基础层改进相结合来提升网络的交易容量。

递归 STARK 与账户抽象是提案的组成部分

递归 STARK 技术是该概念的另一个组成部分。多个已完成的验证检查有可能被合并为一个密码学证明，使验证者只需验证聚合结果，而不必独立重复每一项底层计算。基于 STARK 的证明系统已应用于以太坊生态的其他领域，包括零知识 rollup，用于将计算压缩为简洁证明。

拟议架构还与以太坊更广泛的账户抽象研究相关。EIP-8141 探索旨在支持更灵活授权与执行机制的交易格式，而键控 nonce 可为单个账户的交易排序提供更大灵活性。账户抽象在以太坊上已通过 ERC-4337（引入了替代内存池和智能合约账户）以及 EIP-7702（允许外部账户临时采用智能合约功能）等早期工作逐步推进。

传统以太坊 nonce 通常迫使同一账户的交易按顺序排列。因此，一笔被延迟的交易可能阻碍后续交易按预期处理。

键控 nonce 将在单个账户内创建独立的交易序列，使无关的操作能够独立进行，而不会被先前的交易所拖延。

替代状态设计可能进一步改变以太坊组织交易信息以及确定哪些条件需要验证的方式。

综合来看，这些方法指向一种更加模块化的交易架构，其中意图、授权、依赖项验证和执行可作为不同组件分别处理。

提案仍是处于发展中的研究概念

该交易模型仍是一个发展中的概念，而非已确认的以太坊网络升级。其实施需要进一步的工作，以确定该架构如何安全部署，以及它将以太坊基础设施带来哪些技术要求。

如果该方法被证明切实可行，将依赖项与动作分离可为并行验证创造机会，减少重复计算，并提升交易处理效率。

不过目前，该提案仍代表一个持续研究的领域。其潜在影响将取决于进一步的开发、安全评估，以及以太坊开发者能否将这些底层想法转化为可行的网络设计。与以往的以太坊改进提案一样，该概念需要经过生态系统的公开审查和标准化流程，才可能有任何部分进入主网。

来源：Hokanews