以太坊路线图更新：隐私、量子安全与原生 Rollup 的新进展

正文：

原文作者：ChandlerZ，Foresight News

以太坊的联合创始人 Vitalik Buterin 于8月10日发布了2023年的技术路线图，并与现有的Strawmap进行了对照。他指出，整体重合度较高，然而部分事项的优先级有所调整，例如量子安全被上调，而一些如VDF和多项EVM改进则优先级降低。同时，某些方案也被更优的构造所替代，例如Verkle树被统一二叉树及后来的PBT取代，而状态过期方案则被新状态类型所取代。

在当前的路线图中，出现了多项2023年完全未涉及的新方向，反映了优先级的变化，其中强隐私保护首次被列为重要关注事项；在后量子背景下，推动激进的扩容策略；为了辅助形式化验证，协议规范进行了精简处理。Vitalik提到，AI的出现使得对所有协议内容进行全面形式化验证成为可能；同时，引入了区块与gas期货的概念；原生Rollup也被纳入计划中（此前的SNARK技术尚未成熟）；并为“EVM的未来”提供更多设计空间，协议未来可能向用户提供非EVM的指令集架构。

强隐私保护是此次更新中最显著的变化，2023年的路线图没有涵盖这组协议级设计，而当前的Strawmap则将隐私L1提升为协议级议题。Vitalik提到的keyed nonces、recent roots、精简隐私池和wormholes分别解决了私密交易的并发性、证明验证、共同匿名集和资金关联问题。

4月提出的EIP-8250允许一个共享发送地址使用多组独立的nonce，以避免某用户的待处理交易阻塞同一隐私协议中的其他用户。5月的EIP-8272允许私密支出证明引用近期承诺树根，无需在验证期间读取不断变化的应用状态。EIP-8182则建议通过系统合约、共享屏蔽池和分离式证明架构，为ETH与ERC-20建立一个协议内隐私池。这三项提案目前均处于草案和审查阶段，尚未有确定的激活分叉。

目前，各隐私应用各自维护资金池，用户和流动性被切割后，单个池的匿名集容易变得过小。EIP-8182希望将多种资产集中到同一协议内进行匿名处理，并通过可扩展的授权验证机制增加新的验证方式，减少升级时再次拆分用户的需要。

Wormholes对应EIP-7503的零知识销毁证明，用户将ETH转入一个在密码学上无法花费的地址，再通过零知识证明重新铸造等量ETH，从而使公开链难以关联原始转账与新地址。该提案目前处于停滞状态，规范和参考实现仍需完善，同时也存在实现错误和重复铸造的风险。隐私成为路线图的一级目标，意味着以太坊将同时改造账户、交易验证和基础层转账，尽管默认的私密账户尚需多项协议与钱包的努力。

Vitalik还将量子安全的优先级上调，并提出在后量子条件下继续扩容。风险分布于普通账户使用的ECDSA签名、验证者使用的BLS签名、Blob数据可用性使用的KZG承诺，以及部分Rollup和隐私应用采用的零知识证明系统等。虽然当前量子计算机尚未足以攻破这些密码学，但在全球网络中更换账户和验证者密钥需要多年的准备时间。

最新的路线图列出了leanSPHINCS签名聚合和zkzk frames等方向，并将递归STARK放在执行层、共识层和数据层共同使用。STARK主要依赖哈希函数，能够规避部分椭圆曲线密码学的量子风险，并将大量计算压缩为更易于验证的证明。以太坊基金会已组建专门的后量子团队，目前预计L1协议的升级可能在2029年完成，而执行层的全面迁移还可能需要数年，且没有固定的完成日期。

STARK还与协议精简和形式化验证相连接。Vitalik在7月提出的极简链设想中，计划将第一阶段的单个验证者状态压缩至6字节，第二阶段进一步降至1字节，并通过零知识证明让验证者更新余额和每日轮换公钥。Vitalik认为现代的AI工具使得全协议的形式化验证具备可行性，这里的AI用于编写和检查可由机器验证的数学证明，而不参与出块、投票或共识判断。

2025年11月提交的EIP-8079为原生Rollup提供了草案，以太坊通过一个EXECUTE预编译向执行层开放主网状态转换函数，使得EVM等价的Rollup能够复用L1的验证基础设施。原生化能够减少定制验证代码，并为移除安全委员会提供条件。EIP-8079中的证明携带交易、ZK验证和部分安全设计仍标为待完成，也未被列入已确定的主网升级。

以太坊基金会在3月对L1与L2的分工作出了进一步说明，期望最大程度继承主网安全性的L2可以转向原生Rollup、Stage 2和同步可组合性；而提供隐私、应用专用效率或其他差异化功能的L2仍将继续存在。原生Rollup的路线调整了L2与主网的验证关系，并未取消多链扩容的结构。

状态设计也在进行更换，Vitalik表示Verkle树先被统一二叉树取代，随后转向分区二叉树（PBT），状态过期则让位于新的状态类型。7月提交的EIP-8347已提出离线迁移至PBT，但激活分叉和锚定区块尚未确定。Blob与Gas期货、leanISA或RISC-V等非EVM指令集也进入了长期讨论，而更深层的EVM改造尚未成熟到可以写入Strawmap。

Strawmap暂时描绘了截至2029年的七次潜在升级，并以约半年一次的分叉节奏安排。以太坊基金会在5月披露，核心开发者已认为2026年之后的逐分叉年份标注过于确定，后续可能会有所弱化。

Vitalik此次更新集中展示了以太坊技术优先级的变化，隐私、后量子安全和形式化验证被纳入基础协议设计，原生Rollup与新状态类型则将扩容讨论推进到验证机制和状态结构。目前多项方案仍处于草案、审查或早期研究阶段，Strawmap提供的是依赖关系和长期方向，无法直接视为上线的承诺。

相关EIP是否能进入具体硬分叉、后量子账户与验证者迁移方案是否能形成完整规范，以及原生Rollup的证明携带交易和ZK验证设计是否能补齐，近期的观察节点仍是2026年第四季度的Glamsterdam，以及尚在确定提案范围的2027年Hegotá。

来源：Odaily星球日报