以太坊联合创始人 Vitalik Buterin 在 9 月 27 日的文章 中勾勒了一个以太坊图景：基础链负责结算最终结果，而密码学证明承担越来越多的验证工作。他的 2030 年愿景汇集了递归 STARK 证明、数据可用性抽样、隐私工具以及重新设计的共识。这篇文章阐述的是一个多年期技术方向，而非交付时间表：相关代码、各项升级的范围和交付日期仍需通过以太坊常规的开发流程。

拟议的转变可以用一句话概括：链继续决定最终结果，而证明为参与者提供一种更高效的方式来检验产生这些结果的工作。

以太坊自身仍须承担的工作

以太坊需要一份共享记录，说明谁拥有什么以及哪笔交易先发生。这份记录防止同一笔资金被重复花费，并为应用程序提供一个所有参与者都能引用的最终状态。

目前，全节点独立验证交易和状态变更。它们检查发送方是否有足够的资金、智能合约是否遵循了其规则，以及 resulting 状态是否符合协议。这种重复工作增强了网络的安全性，但也限制了通过增加更多计算机所能获得的容量提升。

在 Buterin 的路线图中，交易排序和最终结算仍保留在基础层，而周边基础设施则获得更多空间，在复杂计算进入最终区块之前对其进行处理。

证明可以承担更多检验工作

零知识证明是一种紧凑的数学陈述，表明某项计算遵循了一组既定规则。证明者执行较重的计算，并提供其他参与者可以高效验证的证据。递归证明通过将多个证明合并为一个证明来扩展这一模型，网络随后可以检查一个覆盖更大依赖集合的压缩结果。这种方法可以减少到达以太坊执行环境的重复计算量。

Buterin 用一个钱包检查复杂 DeFi 头寸的例子来说明这一理念，该头寸涉及多种抵押资产和自动化规则。在他描述的架构中，证明可以确认该头寸被正确更新，然后以太坊将按照自身规则结算 resulting 状态。

更低的成本和更快的复杂操作执行仍是可能的结果。其规模取决于证明生成成本、应用设计以及最终进入主网的功能。

数据可用性是另一个独立的安全问题

有效证明和可用数据服务于不同目的。证明解决的是某项既定计算是否被正确执行；数据可用性解决的是支持该计算的信息是否仍可检索和检查。这一区别在实践中很重要：如果数据无法检索，即使是有效证明，参与者也无法独立重建该计算产生的状态。

PeerDAS 解决的是第二个问题。它让节点对 blob 数据进行抽样，从而建立对更大数据集可用性的信心，无需每个节点在参与检查前下载完整数据集。PeerDAS 随 Fusaka 升级上线，成为以太坊扩容架构的实时组成部分。Buterin 的文章进一步推进了同一设计原则：减少每个参与者的重复工作，同时保留独立验证的路径。

文章还将此前关于基于证明的验证者验证工作，包括 Lean Ethereum 提案，置于一个覆盖全网计算、数据和隐私的更广泛计划之中。

隐私也将覆盖钱包留下的痕迹

以太坊的隐私挑战不仅限于隐藏支付金额或收款地址。钱包经常查询外部服务器以获取余额、代币数据和交易历史，这些请求可能泄露一个人关注或控制了哪些账户。

Buterin 描述了可以保护更多此类元数据的密码学工具和去中心化基础设施。既定目标包括私密支付、私密账户逻辑，以及减少暴露给单一服务提供商的钱包查询。

日常使用需要的不只是协议研究。钱包软件必须安全地支持这些工具，界面也必须把安全模型解释得足够清楚，让用户能够做出知情选择。

Hegotá 开启更长的技术过渡

以太坊的官方路线图 将 Hegotá 升级安排在 2027 年。Buterin 描述它很可能是最后一个主要围绕 2010 年代中期开发者所熟悉技术构建的升级。随后的阶段可能涉及递归 STARK、更优化的共识、自动化形式化验证和抗量子密码学。

形式化验证可以测试代码是否符合书面规范，但无法解决规范内部的遗漏或糟糕决策。抗量子研究为以太坊应对未来算力进步做好准备；以太坊现有的密码学目前仍在使用中。

这些构想仍面临研究、规范制定、客户端开发、安全审查、测试和社区共识等环节。对于关注进展的读者，可观察的里程碑是规范草案、客户端实现以及在公共网络上的测试——这与每次以太坊升级进入主网之前所需经过的阶段相同。证明生成必须在真实工作负载下变得更便宜、更安全，而管理大量共享应用状态仍是文章指出的另一项重大挑战。

路线图将由独立验证来评判

实际标准很简单。用户、开发者和节点运营商需要一种不依赖不透明中介的现实方式来验证系统。紧凑证明需要高效，数据必须保持可访问，钱包必须传达每项操作背后的假设。

以太坊拟议的架构让链继续负责排序和结算，而证明系统和去中心化基础设施将承担通往这些最终结果的更大份额工作。路线图的价值将取决于这种安排能否让验证更切实可行，同时又不会增加普通用户无法评估的复杂性。

本文仅供参考，不构成财务或投资建议。以太坊的路线图仍需经过技术审查、社区协调，且可能发生变化。