Buterin 调侃以太坊交易格式的重大进展

以太坊联合创始人 Vitalik Buterin 概述了他认为以太坊交易的潜在重大演变。

他声称最近在账户抽象、状态设计和加密证明聚合方面的工作有助于更清晰地区分交易的作用和交易之前必须证明的内容。

Buterin 表示，最近围绕 EIP-8141、替代状态模型、密钥随机数和基于 STARK 的递归内存池的研究产生了更明确的交易概念模型。

关键是区分两个组件：“操作”和“依赖项”。

“行动是交易产生的效果，”Buterin 解释道。

这种区别听起来主要是概念性的。然而，Buterin 认为，明确地将两者分开可以让以太坊开发人员以根本不同的方式优化它们。

为什么这很重要

验证和执行传统上是交织在一起的。节点接收交易，验证所需信息，并最终执行它们。

Buterin 认为依赖项具有使其特别适合优化的属性。

可以并行检查许多依赖项。有些可以在交易到达区块之前由内存池进行检查。其他人根本不需要访问以太坊状态。

这些所谓的“纯”依赖项可能会被内存池检查一次，然后每个验证器都不会再次执行。

根据 Buterin 的说法，大量此类检查最终可能会被单个 STARK 取代，证明它们都已正确执行。

“依赖关系可以并行处理，”他写道。