以太坊联合创始人Vitalik Buterin于9月6日发布详细提案,提出一种长期交易模型,旨在使网络能够并行处理部分验证任务。该模型将交易操作与依赖条件分离,使网络能够在未来升级中独立优化每个组件。
Buterin描述了提案中的两个核心部分:操作(actions)——改变以太坊状态的行为(如转账ETH或调用合约);依赖(dependencies)——执行开始前必须满足的条件,包括数字签名、Merkle证明、零知识证明以及状态有效性条件。他认为,明确区分这两者可以帮助以太坊在不牺牲灵活执行环境的前提下实现扩容。
在该框架下,纯依赖(不依赖状态变化的类型)可由mempool一次性检查,随后压缩为递归STARK证明。验证者只需验证聚合证明,而无需重复执行每项原始计算。Buterin还建议,可静态分析交易可享受较低Gas费用,而具有不可预测状态访问的动态调用虽仍可行,但成本更高。他估计,以太坊按交易量计算,超过90%的活动无需完整的动态灵活性。
EIP-8141作为该概念的实践载体,是一份以太坊改进提案草案。它引入“帧交易”(Frame Transactions),将交易分为验证、费用支付和执行三个独立帧。验证帧处理发送方是否授权交易;发送方帧执行状态更改操作。该结构与Buterin提出的“操作-依赖”分离框架一致,并可能支持赞助费用、代币Gas支付、密钥轮换、批量处理以及外部拥有账户(EOA)的账户抽象特性。
提案还讨论了密钥随机数(keyed nonces)以消除顺序随机数造成的瓶颈。多个独立随机数序列可使同一账户的无关交易无需相互等待,这有利于智能账户、隐私系统以及同时提交多项操作的应用。
Buterin还提及后量子时代的准备。量子抗性签名比ECDSA更大且验证成本更高;EIP-8141或许能允许账户采用新的授权方式,递归证明可降低验证成本。但这属于长期安全路径,而非即时响应。
目前EIP-8141尚未获准在主网部署。核心开发者尚未正式将其纳入如拟议的Hegotá硬分叉等升级计划。技术问题仍然存在,包括拒绝服务风险、替换规则、mempool准入限制以及钱包/构建者工具变更。FOCIL作为另一项通过包含列表实现抗审查的独立提案,虽与EIP-8141一同被讨论,但也未获批准。
总而言之,Buterin的评论描述了以太坊交易设计的可能未来方向,而非已完成的升级。下一个可验证的里程碑将包括正式开发者支持、纳入升级范围以及可用的devnet实现。在此之前,EIP-8141与递归STARK mempool仍是活跃的研究提案。
