以太坊路线图将隐私和量子安全置于首位

ETH
量子安全Vitalik Buterin以太坊路线图隐私Rollups
2026-08-10来源: crypto.news
以太坊路线图将隐私和量子安全置于首位

以太坊联合创始人维塔利克·布特林表示,随着密码学和人工智能的进步重塑网络的长期技术优先事项,以太坊更新的路线图增加了原生卷叠、更强的隐私性和后量子扩展。

摘要

  • 量子安全在以太坊的优先事项中已提升,与2023年路线图相比。
  • 新增领域包括原生卷叠、更强的隐私性以及blob和gas期货
  • 以太坊可能使用专门的扩展机制用于转账、交易和隐私应用。
  • STARK和AI辅助形式化验证可能支持所有三个协议层的升级。

以太坊(ETH)联合创始人维塔利克·布特林在8月10日的X帖子中,将网络2023年的路线图与当前的Strawmap进行了比较,指出了在过去三年中优先级提升、降低或改变的多项技术。

布特林表示,这两个计划保留了大量的重叠,但几个目标的顺序和实施方式已经改变。量子安全在路线图中更靠前,而可验证延迟函数和一些提议的以太坊虚拟机改进受到的关注较少。

随着以太坊研究人员确定了替代方案,旧的技术设计也被替换。涉及Verkle树的计划转向了统一的二叉树,后来转向了PBT设计,而状态过期演变成了更广泛的新状态类型提案。

根据布特林的说法,最大的差异来自2023年路线图中未出现的领域。这些包括原生隐私、后量子扩展、更简单的形式化验证规范、未来blob和gas容量市场、原生卷叠,以及更广泛的EVM可能的替代或修改方案。

以太坊隐私和量子安全向前推进

原生隐私是以太坊长期方向中最明显的补充之一。布特林列出了正在探索的机制,包括键控随机数、最近根、FOCIL的部分、精简隐私池和虫洞。

键控随机数可能使观察者更难关联用户的交易,而最近根机制可能允许隐私应用验证最近的区块链状态,而无需揭示完整历史。同时,FOCIL旨在使交易包含更能抵抗区块构建者的审查。

这些变化建立在布特林5月发布的以太坊隐私升级三步计划之上。该提案将账户抽象与FOCIL、键控随机数以及钱包和访问层的更改相结合,以减少元数据泄露。

后量子扩展也已成为一个独立的优先事项。以太坊目前依赖的密码系统,如果出现足够强大的量子计算机,最终可能变得脆弱。在不显著增加签名大小、验证成本或网络带宽的情况下替换它们,构成了一个额外的扩展问题。

当前的路线图将LeanSPHINCS签名、签名聚合和“zkzk框架”视为解决方案的潜在部分。Crypto.news此前报道称,一位以太坊研究人员演示了账户级别的后量子保护,估计每个账户成本为0.07美元,表明钱包级别的准备工作可能在全面协议升级之前开始。

以太坊的Strawmap并非最终确定的时间表。它是一份涵盖到2029年拟议升级的协调文件,各项更改仍需研究、测试和开发者之间的共识,才能最终上线网络。

原生Rollups进入以太坊的设计空间

Buterin表示,原生Rollups并未包含在2023年的路线图中,因为零知识证明系统当时还不够成熟,开发者无法认真考虑将其整合到以太坊的基础协议中。

Rollups目前作为独立的二层系统运行。它们在以太坊主执行层之外处理交易,并将证明或交易数据提交到基础网络。每个Rollup通常维护自己的合约、证明系统、升级控制和安全假设。

原生Rollup会将部分验证过程转移到以太坊本身。基础协议可以提供一种标准化的机制来检查状态转换,从而可能减少每个Rollup必须维护的自定义基础设施数量。

这样的改变可能会简化以太坊与其二层网络之间的关系,但具体设计仍未确定。开发者仍需决定哪些功能应成为原生功能,如何支持不同的虚拟机,以及协议级验证是否能避免产生新的复杂性。

该提议是在以太坊更广泛的扩展方法发生变化之际提出的。Buterin表示,网络正从试图通过一种通用机制扩展所有类型的活动转向。相反,开发者可能会为常见用例(如代币转账、去中心化交易所交易和隐私协议)构建高度可扩展但更受限的系统。

这种方法可以让以太坊更高效地处理特定的大批量活动,而无需每个节点或应用程序都支持相同的扩展执行环境。

Blob和Gas期货是另一个新增内容,在2023年并不存在作为已开发的路线图概念。这类市场可以让用户或二层网络锁定未来对以太坊数据或执行能力的访问,从而减少高需求时期成本的不确定性。

AI可能使以太坊更易于验证

以太坊更新的路线图也更加重视简化协议规范,以便开发者能够正式验证其行为。

形式化验证使用数学证明来确定软件是否符合其预期规则。将其应用于整个区块链协议历来需要大量时间和专家工作,特别是当协议包含多个客户端、密码系统和交互层时。

Buterin认为,人工智能的进步正在使大规模验证变得更加实用。他此前曾表示,AI辅助的形式化验证可能成为软件开发的“最终形式”,允许开发者将优化代码与机器可检查的正确性证据相结合。

这项工作与以太坊对STARK证明的使用密切相关。递归STARK允许一个证明验证另一个证明,从而为越来越大的计算批次生成紧凑的证据。

Buterin表示,相同的底层验证方法最终可以在以太坊的执行、共识和数据层中运行。然而,在整个协议中使用通用的证明系统将使其实现的安全性尤为重要,从而增加了对形式化验证和独立测试的需求。

随着这些系统的发展,以太坊的虚拟机也可能发生变化。Buterin表示,zkzk框架可能要求协议暴露除EVM之外的指令集,其中leanISA和RISC-V是可能的候选者。

在一种潜在模型下,EVM可以继续为开发者和现有应用程序服务,同时作为更简单的底层指令集之上的中间表示运行。Buterin警告说,这部分设计目前还为时过早,甚至无法纳入当前的Strawmap。

路线图仍是长期协调计划

Buterin的比较为以太坊提议的Lean重建提供了更多细节,该重建旨在使协议在未来几年内具备量子安全、隐私保护、抗审查性,并且更易于验证。

这一方向最终可能会影响依赖以太坊的美国钱包提供商、交易所、机构质押者和二层运营商。然而,该帖子并未宣布任何即时的软件发布、硬分叉或对用户的强制行动。

每项重大提案仍需经过以太坊的研究和治理流程。原生卷叠、替代指令集和后量子签名仍是技术方向,而非具有固定激活日期的已确认功能。

以太坊(ETH)对路线图更新没有表现出明显的积极反应。截至撰写本文时,ETH 交易价格接近 1,875 美元,过去 24 小时下跌约 2.6%,因为更广泛的加密货币市场走弱。

然而,最新的比较显示,自 2023 年以来,以太坊的开发优先级已经扩大。扩展仍然是核心,但隐私、量子抗性和可验证的协议设计现在在决定网络在本十年末如何运作方面具有更大的权重。