币圈界报道：

以太坊交易逻辑重构：动作与依赖项的系统性分离

以太坊联合创始人Vitalik Buterin近期披露了一项关于交易处理机制的深层革新构想，旨在重新定义链上操作的本质结构。该方案聚焦于区分“执行结果”与“前置条件”，并在账户抽象、状态管理及密码学聚合等领域展开前瞻性探索。

构建双元交易模型：动作与前提条件的明确划分

Buterin提出的新型框架将交易行为拆解为两大核心元素——“动作”代表交易触发的实际效应，而“依赖项”则指实现这些效应所必须满足的先决条件。这一分类方式为智能合约执行提供了更清晰的逻辑边界。

包括EIP-8141提案、非确定性密钥随机数机制、替代性状态存储方案以及基于递归STARK的内存池研究在内的多项进展，共同支撑了该模型的技术可行性。作为全球最活跃的开发者生态之一，以太坊正成为此类底层创新的重要试验场。

Buterin强调：“每一笔交易的最终效果应被独立识别为‘动作’，其生效所需的前提则需严格归类为‘依赖项’。”

验证流程可否脱离执行阶段？探索并行化路径

传统模式中，节点在执行前必须完成所有验证步骤。Buterin指出，若能将依赖项的校验过程独立出来，将极大提升系统灵活性与处理效率。

该框架允许部分验证操作在交易进入区块之前就在内存池阶段并行展开，甚至某些检查可无需访问完整状态数据即可完成。这种分层处理机制为优化网络吞吐量和降低延迟创造了可能。

他进一步表示：“将依赖项验证从执行流程中剥离，是迈向更高效验证体系的关键一步。”

利用STARK实现大规模验证聚合的可能性

针对那些被界定为“纯粹”依赖项的校验任务，Buterin提出可进行一次性集中验证，避免重复计算。此举有望显著减少验证者的负担。

更长远来看，多个独立依赖项的验证结果可被整合为单一的递归式STARK证明，用以整体担保其正确性。这不仅提升了验证效率，也明确了验证职责在协议层级中的分工。

该提案的核心价值体现在三个方面：交易逻辑中动作与依赖项的结构性区分；并行处理依赖项带来的验证优化潜力；以及借助STARK实现批量验证的前沿前景。

这项构想或将彻底重塑以太坊对交易处理的认知，推动系统向更高透明度与运行效率演进，标志着其技术演进进入一个以架构革新为核心的崭新阶段。