Vitalik Buterin重新审视2017年观点 零知识证明技术实现全量验证可行性

以太坊联合创始人Vitalik Buterin表示，他不再认同自己在2017年6月9日发表的帖子中关于普通用户无需验证完整区块链历史的观点。

该评论源于当时关于区块链应仅存储交易顺序还是同时保存完整系统状态（如余额和智能合约数据）的争论。

彼时Buterin反对那些要求用户必须重放每笔交易或依赖第三方才能重建状态的设计方案。

以太坊最终选择将状态根直接写入区块头，这使得用户可通过Merkle证明验证余额或合约值。该设计依赖诚实多数验证者而非单一服务提供商。

Buterin指出这种模式始终优于信任单个RPC端点，但在系统崩溃时仍无法为用户提供真正的备用方案。

零知识证明重构成本公式

关键转变来自零知识证明技术。Buterin认为，ZK-SNARKs现在允许用户无需从创世块重放交易即可验证链的正确性，彻底打破了信任与计算成本的传统权衡。

简言之，用户现在可通过简洁证明而非原始执行来校验完整链状态。这使得全量验证重新具备可行性，同时不必将区块尺寸压缩至网络不可用的程度。

Buterin称这是对区块大小战争论战的直接回应，剩余限制主要与数据带宽及区块生产中心化相关。

他表示，随着该技术的成熟，早年的设计妥协已不再必要。

失效模式比理论更重要

Buterin坦言现实世界的故障案例改变了他的认知，包括P2P网络故障、延迟激增、服务商关停以及验证者集中心化等问题。他补充指出审查制度的出现，如Tornado Cash事件所见。

当系统崩溃时，让用户依赖开发者会演变成另一种中心化控制。若修复需要深厚技术能力，多数用户将面临资产冻结或被迫退出系统。

Buterin强调旨在运行数十年的区块链必须提供最终备用方案，使用户在万不得已时可独立操作。他将全量验证比作安全舱而非日常工具，其价值在于随时可用性。

这种备用机制的存在也会迫使中介方规范行为，类似BitTorrent对媒体平台施加的制衡压力。