Vitalik Buterin 表示 ZK-SNARKs 消除了过去的权衡，使链上验证变得更强大，无需完全重新执行交易。
现实中的故障、审查和验证者集中推动 Buterin 重视用户直接验证，作为安全的后备方案。
他现在将自主主权验证视为韧性保险，而非“山人”理想，从而增强用户的杠杆作用。
以太坊联合创始人 Vitalik Buterin 在最近的一篇书面文章中公开修正了他长期以来关于区块链的观点。他解释了为什么改进的密码学、现实世界的失败和用户风险改变了他对区块链验证和自主主权的看法。
在2017年，Buterin 与 Ian Grigg 就区块链应如何记录信息展开辩论。Grigg 认为区块链应当保存交易顺序，而不是明确的状态信息，如余额或合约存储。
然而，Buterin 反对这种设计，因为用户需要完整的历史处理或依赖第三方信任。根据 Buterin 的说法，以太坊的状态根承诺允许使用 Merkle 证明进行直接状态验证。
值得注意的是，这种模型依赖于共识参与者中的多数诚实。在当时，Buterin 认为完全的个人验证对普通用户来说既不切实际也不必要。他在之前的帖子中将其描述为“山人幻想”。
然而，Buterin 现在将 ZK-SNARKs 视为决定性的技术转折点。他解释说，零知识证明允许在不重新执行所有交易的情况下验证链的正确性。因此，用户可以在无需大量计算的情况下获得强有力的保证。
据 Buterin 所述，这消除了早期的成本与安全性之间的权衡。他将这一进步比作消除了过去区块链扩展辩论中的一个主要限制。因此，随着技术的进步，旧有的妥协值得重新评估。
除了技术之外，Buterin 还强调了现实世界的脆弱性。他列举了网络中断、极端延迟、服务关闭、验证者集中以及应用审查等问题。值得注意的是，他提到 Tornado Cash 作为一个例子，说明中介机构限制访问。
在这种情况下，直接与链交互成为唯一选择。Buterin 认为，在危机中依赖开发者会带来中心化风险。他将“山人小屋”重新定义为一种后备方案，而非生活方式。根据 Buterin 的说法，保持这一选项可以增强用户的杠杆作用和系统的韧性。
