币圈界报道：

以太坊迈向去中心化计算新范式：证明主导的未来架构

在9月27日发布的公开论述中，以太坊联合创始人Vitalik Buterin描绘了一幅超越传统链上执行的技术愿景：基础层专注最终结算结果，而复杂的验证任务则交由高效密码学证明完成。其长期构想涵盖递归STARKs、数据可用性采样机制、增强型隐私工具以及新型共识模型，构成一个跨多年的技术演进框架。具体实现细节、开发范围与上线时间表仍需依循以太坊既有的分阶段升级流程。

该转型的核心逻辑可归纳为：区块链持续承担最终状态确认职责，而外部证明系统则为参与者提供一种更轻量、高效率的验证手段，用以追溯复杂计算的合规性。

基础层保留核心职能，释放外围算力空间

以太坊必须维持一个统一的共享账本，明确资产归属与交易顺序，防止双重支付，并为所有应用提供一致的最终状态视图。当前模式下，全节点独立执行每一笔交易的验证，包括余额检查、合约规则匹配及状态一致性核验。这种重复验证虽增强了安全性，但也成为网络吞吐量提升的主要瓶颈。

Buterin提出的架构将交易排序与最终结算保留在底层链，从而为上层基础设施腾出更多计算资源，使其可在区块进入主网前处理高度复杂的运算任务。

利用证明机制降低重复验证负担

零知识证明是一种紧凑的数学声明，用于验证某项计算严格遵循预设规则。证明者承担繁重的计算工作，生成可被他人快速验证的证据。递归证明技术进一步将多个独立证明压缩为单一整体，使网络仅需验证一个聚合结果即可覆盖广泛依赖关系。这显著减少了进入以太坊执行环境的冗余计算量。

举例而言，当用户钱包需要验证一个包含多资产抵押和自动规则的复杂DeFi仓位时，系统可通过证明确认其状态更新合法。随后，以太坊链再依据自身规则完成最终结算。此举有望降低手续费并加速操作响应，但实际收益取决于证明生成成本、应用设计合理性以及主网部署功能的成熟度。

正确性、可用性与结算三要素协同推进

正确性指证明能证实计算过程符合协议规范；可用性确保支撑计算的数据始终可被检索与审查；结算则是完成验证后，链记录最终状态的环节。三者缺一不可，共同构成可信系统的基石。

数据可用性独立于证明有效性

证明解决的是“计算是否正确”的问题，而数据可用性关注的是“原始数据是否仍可访问”。两者目标不同。PeerDAS（并行数据可用性采样）正是为后者设计，允许节点通过抽样方式对大容量blob数据集的可用性建立信任，无需下载全部内容。

该机制将随Fusaka升级引入以太坊扩展架构。Buterin的论述将其纳入更宏观的设计原则：减少个体节点的重复工作量，同时保留独立验证的可能性。此前Coindoo曾分析的Lean Ethereum提案聚焦验证器角色优化，而本次更新将其扩展至整个网络的计算、数据与隐私体系。

隐私防护延伸至元数据层面

以太坊面临的隐私挑战不仅限于隐藏交易金额或接收方地址。日常使用中，钱包常向外部服务查询余额、代币信息与历史记录，这些行为可能暴露用户关注的账户或资金动向。Buterin提出应采用先进的密码学工具与去中心化基础设施来保护此类元数据，目标包括私有支付、私有合约逻辑以及减少对单一中心化服务的依赖。

这一愿景的实现不仅依赖协议层面的研究，还需钱包软件具备安全支持能力，同时用户界面需清晰传达安全假设，帮助使用者做出知情决策。

Hegotá开启长期技术过渡期

以太坊官方路线图预计Hegotá升级将于2027年启动。Buterin将其视为最后一个围绕2010年代开发范式构建的重大升级。后续阶段或将引入递归STARKs、优化共识机制、自动化形式化验证以及后量子加密技术。形式化验证可用于检测代码与规范的一致性，但无法弥补规范本身的缺陷。后量子研究则旨在提前应对未来算力突破带来的威胁，因现有加密算法仍基于当前安全假设。

上述设想仍面临多重挑战：从理论研究、标准制定、客户端实现、安全审计、测试部署到社区共识形成均需逐步推进。证明生成的成本必须在真实负载下进一步降低且保持稳健；管理大规模共享应用状态亦是关键难题之一。

衡量该架构成功与否的唯一标准在于：用户、开发者与节点运营商能否在不依赖封闭中间人的情况下，获得透明且可验证的系统判断。证明必须足够紧凑，数据必须持续可访问，钱包必须明确告知其行为所依赖的前提条件。以太坊的新设计让链负责排序与结算，而证明系统与去中心化基础设施则承担更多前置验证任务。其真正价值将体现在是否让验证变得更可行，而非引入普通用户难以理解的复杂抽象。