Vitalik Buterin提出以太坊交易重构模型，旨在实现并行验证
9月6日，以太坊联合创始人Vitalik Buterin详细阐述了一种长期交易模型，建议将交易的“动作”与“依赖”分离，使网络能够并行处理部分验证工作，从而提升扩展性。
分离动作与依赖
Buterin在帖子中将交易分解为“动作”（actions）和“依赖”（dependencies）。动作指改变以太坊状态的操作，如转账或调用合约；依赖则是交易执行前必须满足的条件，如数字签名、Merkle证明、零知识证明或状态条件。他认为，显式区分二者有助于以太坊在保留灵活执行环境的同时实现扩容。
EIP-8141与帧交易
相关草案EIP-8141提出了“帧交易”（Frame Transaction）格式，将交易划分为合约调用帧，分别用于验证权限、批准gas支付和执行操作。该框架支持赞助费、非ETH代币支付、密钥轮换和交易批处理等功能。目前EIP-8141仍属核心草案，开发者尚未批准主网升级，也未公布部署日期。
并行处理与成本优化
当前以太坊交易将授权、付费和执行耦合处理。Buterin指出，许多依赖检查不依赖于最终状态变更，可单独甚至同时处理。例如，签名验证无需等待其他交易的签名。若交易明确声明其访问的状态部分，mempool可更高效推理，此类可预测交易或享受更低gas成本。他估计超90%的以太坊活动在交易量上不需要完全动态灵活性。
递归STARK与未来方向
在长期构想中，无状态依赖可在mempool层仅检查一次，随后通过递归STARK证明聚合，减少链上验证数据。此外，密钥化随机数（keyed nonces）可为账户提供独立序列，避免顺序处理瓶颈。这些方案还与后量子密码学准备相关。
截至目前，EIP-8141及递归STARK mempool仍属活跃研究与工程提案，需经开发者共识、客户端实现和测试后方可影响主网。