以太坊联合创始人Vitalik Buterin在8月10日的X帖子中,将网络2023年路线图与当前的Strawmap进行了对比,指出了过去三年中若干技术优先级的提升、下降或变化。
Buterin表示,两份计划仍有大量重叠,但多个目标的顺序与实现方式发生改变。量子安全在路线图中更靠前,而可验证延迟函数及部分EVM改进受关注减少。旧技术设计也被替代:Verkle树转向统一二叉树及后来的PBT设计,状态过期演变为新状态类型的更广泛提案。
最显著的区别是2023年路线图中未出现的领域,包括原生隐私、后量子扩展、更简形式化验证规范、blob与gas期货、原生rollup及更多EVM替代或修改方案。
以太坊隐私与量子安全推进
原生隐私是长期方向中最明确的增补。Buterin列举了keyed nonces、recent roots、FOCIL部分、lean隐私池与wormholes等机制。Keyed nonces可降低交易关联度,recent-root机制允许隐私应用验证近期状态而不泄露完整历史,FOCIL旨在提升抗审查的交易包含能力。这些基于其5月发布的三步隐私计划。
后量子扩展成为独立优先级。以太坊当前依赖未来或被量子计算机攻破的密码系统,替换它们而不显著增大签名与验证开销是扩展难题。路线图考虑LeanSPHINCS签名、签名聚合与“zkzk frames”。曾有研究者展示账户级后量子保护,成本约每账户0.07美元。
原生rollup进入设计空间
Buterin称2023年未纳入原生rollup是因ZK证明系统不成熟。当前rollup为独立L2,原生rollup将部分验证移入基协议,提供标准化状态转换检查,简化L2关系。开发者仍需决定原生功能范围等。
以太坊扩展思路正从单一通用机制转向为转账、DEX、隐私协议等构建受限高扩展系统。Blob与gas期货可让用户锁定未来数据或执行容量,降低费用不确定。
AI助以太坊更易验证
路线图更重视简化协议规范以利形式化验证。Buterin称AI进步使大规模验证更可行,AI辅助形式化验证或是软件开发“最终形态”。其与STARK证明相关,递归STARK可跨执行、共识、数据层工作,但通用证明系统安全性尤为关键。
zkzk frames或要求暴露非EVM指令集,leanISA与RISC-V候选。EVM或可作上层中间表示。此部分尚早未入Strawmap。
该路线图非最终日程,覆盖至2029年提案,需研发与共识。无即时发布或硬分叉。ETH当时约1875美元,24小时跌2.6%。隐私、量子抵抗与可验证设计权重提升。
