Vitalik Buterin更新以太坊路线图:优先考虑量子安全性、隐私和原生Rollup
要点速览
- •抗量子基础设施已被提升为以太坊路线图的最高优先事项之一。
- •更新后的计划增加了LeanSPHINCS签名、签名聚合和zkzk框架,作为后量子工作的一部分。
- •诸如键控随机数、最近的根、FOCIL组件、隐私池和虫洞机制等隐私功能现在发挥着更核心的作用。
- •原生Rollup是新加入的,将由以太坊基础层直接结算,而不是作为半独立的Layer 2系统运行。
- •人工智能辅助的形式化验证和递归STARK现在已成为执行层、共识层和数据层路线图的核心。

以太坊联合创始人Vitalik Buterin发布了更新版以太坊发展路线图,以抗量子性、隐私和原生Rollup等新优先事项取代了2023年蓝图中的部分内容。修订后的路线图标志着这个全球最大的智能合约平台未来几年工程投资的方向,对开发者、Layer 2团队以及基于以太坊基础设施构建的企业具有深远影响。
2026年8月10日,Buterin分享了一张修订后的图表,将最初的2023年路线图与当前的开发框架(被称为Strawmap)进行了叠加对比。对比显示出两者有显著重叠,但也存在优先事项的明显重组,以及早期规划文件中未曾出现的新概念的引入。
I updated my 2023 roadmap diagram to overlay where the items that were there sit in the current Strawmap ( ). In general, a lot of overlap, but: * Some things got reshuffled in order (eg. quantum safety up-prioritized) * Some things deprioritized (eg.… pic.twitter.com/XLdIt4kAgT — vitalik.eth (@VitalikButerin) August 10, 2026
量子安全提升至最高优先级
抗量子基础设施目前已成为以太坊最高开发优先级之一。这一转变标志着与2023年的背离,当时量子计算威胁在该网络的技术规划中受到的关注相对有限。此后,后量子扩容已成为持续协议工程工作的决定性焦点。这种担忧是现实而非理论性的:足够强大的量子计算机可能会破解目前用于保护以太坊钱包和验证交易的椭圆曲线加密技术(ECDSA),从而可能损害整个网络的完整性。
Buterin详细介绍了支持这一以量子为核心方向的几项新技术新增内容。LeanSPHINCS签名和签名聚合技术现已被纳入路线图,zkzk框架也一同入选。LeanSPHINCS是一种无状态基于哈希的签名方案,与NIST主导的更广泛的后量子密码学标准化工作相契合。在最初的2023年图表发布时,这些加密工具都还没有一个实用的、可部署的形式。
隐私获得基础地位
隐私保护在当前框架内也得到了提升。键控随机数、最近的根以及FOCIL的组件现在作为更新路线图的核心元素出现。
精简隐私池和虫洞机制将这种以隐私为导向的方法扩展到协议架构的更广泛部分。Buterin表示,随着开发的推进,以太坊将优先考虑用户隐私,这标志着一个概念上的转变,即隐私被视为基础设计原则,而不是可选的附加功能。这一方向出现于全球对隐私保护加密工具的监管审查日益严格之际,使以太坊能够提供可与专注于隐私的替代网络相竞争的原生隐私功能。
原生Rollup与扩展架构
原生Rollup是2023年版本中缺失的最重要新增内容之一。与Arbitrum、Optimism和zkSync等现有的Layer 2 Rollup不同(它们作为半独立协议运行,拥有自己的安全委员会和欺诈证明系统),原生Rollup将由以太坊基础层直接结算和执行。Buterin解释说,此前SNARK技术尚未达到使原生Rollup具有可行性的成熟度。零知识证明系统的快速进展此后已将原生Rollup转变为一个现实的近期目标。
Blob期货和Gas期货也作为全新的机制进入了路线图。在2023年最初起草路线图时,这些工具在概念上还未纳入其中。它们的加入解决了围绕网络吞吐量容量和更可预测的交易成本结构日益增长的需求,这些挑战自引入EIP-4844 Blob存储以来一直存在。
Buterin描述了围绕以太坊虚拟机(EVM)未来不断扩展的设计空间。LeanISA和RISC-V已成为更简单执行架构的领先候选方案,这些系统最终可能会在现有EVM结构旁边或底层运行。RISC-V是一种在硬件行业已被广泛采用的开放标准指令集架构,它的被考量反映了人们对于将区块链执行环境与成熟计算标准相统一的兴趣日益浓厚。
新的状态类型代表着一种范式转变,而不是对状态到期的直接替代。Verkle树随着时间的推移逐渐过渡到统一然后再过渡到分区二叉树结构。Buterin指出,以太坊的扩容策略现在依赖于针对特定高需求用例量身定制的专业化机制。
AI辅助的形式化验证
人工智能增强的形式化验证已成为更新路线图的核心支柱。递归STARK现在跨越了协议的执行层、共识层和数据层。Buterin认为现代AI工具首次使全面的形式化验证变得可行,他认为这一发展对于以太坊核心协议层的安全性和可靠性至关重要。形式化验证——即在数学上证明代码的行为符合规范——历来对于大规模区块链部署来说过于耗费人力,但AI辅助可以缩小严格验证与实际工程时间表之间的差距。