Vitalik Buterin 在 ZK-SNARK 崛起后对区块链验证态度大转弯

简要概述

• Vitalik Buterin 公开改变了他自2017年以来一直坚持的区块链设计立场。
• 他表示零知识密码学的进步改变了普通 Ethereum 用户的实际可行性。
• Buterin 此前认为由于高昂的计算成本，用户端完整区块链验证是不切实际的。
• 他现在相信 zk-SNARKs 允许完整验证，而无需强迫用户重新运行交易历史。
• Ethereum 的路线图越来越以零知识证明和基于 rollup 的扩展系统为中心。

Ethereum 联合创始人 Vitalik Buterin 改变了他自2017年以来持有的立场,现在支持用户进行完整的区块链验证,而这是他此前所否定的。他将这一变化归因于零知识密码学的突破,特别是 zk-SNARKs,它允许用户在无需重新运行整个交易历史的情况下验证链状态。这一转变标志着 Ethereum 对自主权和密码学安全的更深层承诺,特别是在面临现实世界基础设施风险的情况下。

Vitalik Buterin 改变对完整链验证的看法

Vitalik Buterin 公开撤回了他在2017年的观点,即用户进行完整区块链验证是"奇怪的山区隐士幻想"。在最近的 X 平台帖子中,他表示由于技术进步和实际考虑,他早期的立场已不再成立。他承认他过去的立场是基于理想化的假设,而现实世界的区块链使用已证明这些假设是错误的。

当时,Buterin 更倾向于在链上存储完整状态,而不是卸载并在本地重建,他认为后者效率低下。他认为这样的设计会迫使用户依赖中心化的 RPC 服务或重新处理整个交易历史。相反,Ethereum 使用 Merkle 证明并将状态根锚定在区块头中。

Buterin 表示这种设置平衡了去中心化与效率,尽管它限制了普通用户的完全独立性。他此前称完整验证是不切实际的,除非 Ethereum 严重限制其容量。现在,他表示这种限制已不再必要。

ZK-SNARKs 为 Ethereum 可扩展性引领方向

Buterin 认为 zk-SNARKs 使 Ethereum 能够提供完整验证,而不会让用户在计算上不堪重负。这些证明允许在不透露底层数据或重新运行计算的情况下验证计算。

Ethereum 的路线图现在突出地展示了 zk-SNARKs 和 rollups,特别是为了降低费用和安全地扩展网络。像 zkSync、Scroll 和 StarkNet 等 Rollups 都依赖于这些密码学系统。它们批量处理交易并向 Ethereum 发布单一证明,从而提高吞吐量。

每个系统根据所使用的密码学模型,在成本、透明度和证明大小等方面以不同方式平衡权衡。Buterin 承认这些权衡,但强调它们的净收益。他认为它们解决了以前需要不舒服妥协的问题。

Ethereum 重新审视早期设计限制并继续前进

Buterin 指出持续的网络问题,如服务关闭和延迟,是减少对中介依赖的原因。他表示中心化基础设施在压力下往往成为单点故障。他补充说,这一现实支持为用户提供完全自我验证的工具。

他用比喻的方式将后备选项描述为在其他一切都失败时仍能运作的"山区隐士小屋"。他现在认为这个选项必须对所有用户可用,而不仅仅是专家。他的新立场出现在 Ethereum 采用密码学以确保弹性之际。

Ethereum 的开发人员已经开始移除阻碍 zk 采用的旧设计功能,包括模块化指数预编译。Buterin 多年前引入了该功能,但现在表示它减慢了 zk 证明生成。在2025年底,他提议移除它以提高效率。

他还表示 Ethereum 架构中的一些早期假设不再与当前的密码学能力相符。Ethereum 现在寻求升级其协议以支持原生 zk 功能。社区提案还探索了用于数据保护合规的 zk 证明。

在2025年中,贡献者建议 zk 方法可以通过将个人数据隐藏在链外,使 Ethereum 符合欧洲数据保护规则。验证者仍然可以在不查看其内容的情况下验证数据完整性,使用 zk-SNARKs。这种方法可以在保护隐私的同时限制监管摩擦。

文章《Vitalik Buterin 在 ZK-SNARK 崛起后对区块链验证态度大转变》首次出现在 CoinCentral。