Vitalik Buterin 揭示了以太坊的交易重新设计

以太坊联合创始人 Vitalik Buterin 在 9 月 6 日概述了一种长期交易模型，该模型可以允许网络并行处理一些验证工作。

摘要 Buterin 建议将交易操作与依赖项分开，以便以太坊稍后可以独立优化每个组件。

依赖关系包括签名、状态证明和交易在执行开始之前必须满足的有效性条件。

纯粹的依赖关系可以由内存池检查一次，然后压缩成递归 STARK 证明。

EIP-8141 提出在一种交易格式内具有可编程验证、执行和 Gas 支付的框架交易。

以太坊开发人员尚未批准 EIP-8141 用于主网升级或发布部署日期。

他的提议将交易产生的影响与这些影响发生之前必须满足的条件分开。

Buterin 在一篇详细的文章中将这两个组件描述为“动作”和“依赖项”。操作会改变以太坊的状态，例如转移 ETH 或调用合约。依赖关系涵盖了确定交易有效所需的信息。

数字签名是依赖性的一个示例。其他示例包括显示存在未使用输出的默克尔证明、零知识证明以及交易进入区块时必须保持真实的状态条件。

Buterin 认为，明确这种区别可以帮助以太坊在不放弃其灵活的执行环境的情况下进行扩展。然而，该提案仍然是持续协议研究的一部分。以太坊开发人员尚未批准部署的完整设计。

最近关于交易格式的所有详细思考的一个积极结果 - 不仅仅是 8141，还有“国家的未来”讨论，例如。 UTXO、PBT、键控随机数以及递归 STARK mempool——让我们对交易如何......有了更明确的理解——vitalik.eth (@VitalikButerin) 2026 年 9 月 5 日

您可能还喜欢：Vitalik Buterin 敦促 Elon Musk 为人工智能治理重塑 X

以太坊可以并行处理交易依赖关系

以太坊交易目前将授权、费用支付和执行结合在一个通用处理流程中。节点检查交易是否正确签名，发送者是否可以支付以及其指令是否成功执行。

其中一些检查不依赖于交易的最终状态更改。 Buterin 表示，此类依赖关系可以单独处理，并且在许多情况下可以同时处理。

例如，验证者可能需要在接受交易之前确认签名。该验证不一定需要等待附加到其他交易的不相关签名。如果预先知道多个独立检查，客户可以跨可用的处理资源分配工作。

依赖于国家的检查需要更加谨慎。如果较早的交易更改了相同的状态，则与帐户余额或存储槽相关的条件可能会变得无效。 Buterin 表示，当交易声明它们访问状态的哪些部分时，内存池可以更有效地推理这些条件。

该方法将奖励可预测的交易。明确指定其依赖关系的操作可以获得更低的 Gas 成本，因为客户可以更有效地验证它们。需要动态调用和不可预测的状态访问的事务仍然是可能的，但成本可能更高。

Buterin 估计，按数量计算，超过 90% 的以太坊活动并不需要网络达到全面的动态灵活性。该数字是他的评估，而不是帖子中发布的网络测量结果。更广泛的论点是，常见的传输和例行合约交互可以使用更具限制性的格式，而不限制专门的应用程序。

拟议的模型将保留以太坊灵活的账户系统以用于需要的交易。更可预测的活动可以使用类似于比特币交易模型部分的静态可分析结构。

比特币使用未花费的交易输出模型，其中交易确定其打算花费的输出。以太坊通常使用具有余额、随机数和可编程合约存储的帐户。 Buterin 并不建议以太坊用比特币的架构取代其账户模型。他描述了一个结合了两个系统思想的频谱。

EIP-8141提供了通用的交易框架

EIP-8141 是针对称为框架交易的新交易类型的以太坊改进提案草案。它将交易划分为合约调用框架，可以验证权限、批准 Gas 支付并执行用户操作。

官方提案表示，交易有效性和费用支付将不再仅仅取决于外部交易所附加的标准签名。帐户代码可以定义必要的授权和支付规则。

框架交易可以支持赞助费用、以 ETH 以外的代币支付、密钥轮换和交易批处理。他们还可以允许外部拥有的帐户接收帐户抽象功能，而无需依赖跨每个兼容网络的相同合约部署。

在提议的结构下，验证帧将确定发送者是否授权交易。单独的框架可以确定谁支付费用，然后执行请求的操作。

这种结构与 Buterin 对依赖项和操作之间的划分是一致的。验证帧处理必须满足的条件。发送方帧处理改变状态的操作。

该格式还可以提高以太坊虚拟机网络之间的互操作性。不同的链可以支持相同的最小交易结构，同​​时应用自己的验证工具、预编译或帐户功能。

Buterin 将潜在的格式描述为带有标识其功能的标志的基本调用列表。调用可以被标记为纯粹的依赖、依赖于状态的验证或操作。交易还将包含标准信息，例如其来源和随机数。

EIP-8141 仍然被归类为核心提案草案。其当前规范包括内存池准入、帧执行、收据、签名、气体核算和交易传播的详细规则。这些细节在审核过程中可能会发生变化。

以太坊开发人员也就技术问题进行了辩论。其中包括拒绝服务风险、交易替换规则、工具更改、待处理交易限制和对验证框架的限制。

一项讨论指出，拟议的公共内存池通常只会为每个发送者保留一个待处理的帧交易。开发人员质疑这一规则将如何影响定期在一个区块内提交多笔交易的账户。

其他参与者已经研究了该格式是否会给钱包、区块构建器和以太坊的远程过程调用接口带来额外的复杂性。在客户团队可以实施稳定的规范之前，必须解决这些问题。

递归 STARK 可以消除重复验证

Buterin 的长期模型超越了 EIP-8141。他建议不需要状态访问的依赖项可以在内存池层检查一次，而不是由每个验证器重复检查。

纯粹的依赖可能包括加密签名或证明，其有效性不会随着以太坊的状态而改变。检查后，网络可以用递归 STARK 代替多项验证工作，确认所有检查均已正确完成。

STARK 是一种加密证明，允许一方证明计算已正确执行。递归证明可以验证其他证明，从而可以将许多检查组合成较小的验证任务。

提议的内存池可以在块执行之前聚合交易签名、有效性证明和其他依赖项。然后，验证者将验证聚合的证明，而不是独立地重复每个原始计算。

Buterin 表示，这种方法还可能减少链上的验证数据量。如果递归证明证明所有依赖项均有效，则可能会省略一些原始数据。

该结果不属于当前 EIP-8141 规范的一部分。这需要额外的研究，涵盖证明生成、内存池协调、数据可用性和针对无效聚合的保护。