Vitalik Buterin提出一套更长期的以太坊交易模型，核心思路是把交易中的“动作”和“依赖”拆开处理。前者负责改变链上状态，后者用于证明交易在执行前已经满足签名、状态证明和有效性条件。按这一思路，部分验证工作有机会在进入区块前先完成，并行处理空间也会更大。

交易验证与执行拟分开处理

以太坊当前的交易流程，通常把授权、手续费支付和合约执行放在同一处理链路中。节点需要同时检查签名是否有效、发送方能否支付费用，以及交易执行后是否成功。

Buterin认为，其中一部分检查并不依赖最终状态变化，理论上可以先单独处理。比如数字签名、零知识证明，或某些不依赖链上状态变化的有效性证明，都可以归入“依赖”部分。

如果交易能明确声明自己会访问哪些状态，内存池也更容易判断哪些条件会被前序交易影响，哪些检查则可以提前完成。这意味着，更可预测的交易可能获得更高的验证效率。

EIP-8141仍处草案阶段

与这一思路对应的，是名为 EIP-8141 的草案提案。该提案引入一种新的交易类型，称为 Frame Transaction。它把一笔交易拆成多个调用帧，用于分别处理授权验证、手续费支付和用户操作执行。

按照草案设计，交易有效性和费用支付不再完全依赖外层的标准签名。账户代码可以自行定义授权方式和支付规则。验证帧负责确认条件是否成立，发送帧则负责真正修改状态。

这一结构也被视为有助于不同 EVM 网络之间采用更接近的基础交易格式。不过，EIP-8141 目前仍是核心草案，尚未被纳入以太坊主网升级，也没有明确部署时间。

开发者讨论中也提出了多项技术问题，包括拒绝服务风险、交易替换规则、钱包和区块构建器适配，以及公共内存池对同一发送方待处理交易数量的限制。这些问题仍待进一步收敛。

递归 STARK或减少重复验证

Buterin提出的长期方向不止于 EIP-8141。他还设想，对那些不需要访问链上状态的“纯依赖”，可以在内存池层先完成一次检查，而不是由每个验证者重复执行。

在这一模型下，网络可把多项已完成的验证工作压缩成递归 STARK 证明，再由验证者统一验证这份聚合证明。这样做的目标，是减少重复计算，并压缩部分验证负担。

他还提到，这种方式未来可能帮助以太坊适配后量子密码方案。原因在于，抗量子签名通常体积更大、验证成本更高。如果账户可以自定义授权方式，再配合递归证明聚合，相关验证成本有机会下降。

不过，这部分内容目前仍停留在研究层面，并不属于 EIP-8141 的现有规范。要真正落地，还需要解决证明生成、内存池协同、数据可用性以及错误聚合防护等问题。