披露：此处表达的观点和观点仅属于作者，不代表crypto.news社论的观点和观点。
以太坊（ETH）正处于十字路口。零知识证明（简称ZKP）将成为保护隐私、可扩展区块链未来的支柱，预计到2030年每年将产生900亿个证明。然而，以太坊的主线，即使有了非凡的进化，也无法应对这场洪水。天然气成本和区块空间限制使得链上验证完全不切实际，就像试图用吸管容纳海洋一样。
就像几年前Celestia和Avail等替代数据可用性（简称DA）等层出现以解决以太坊的扩展困境一样，我们现在需要替代ZK证明验证方法来跟上即将到来的需求海啸。历史表明实用主义者将占上风。
ZKP大爆发即将到来，以太坊还没有准备好
零知识证明已超越小众技术，成为区块链隐私和可扩展性的关键支柱。从支持高吞吐量第2层的ZK汇总到以隐私为中心的dApp，ZKP正在将自己嵌入到web 3的结构中。Protocol Labs的研究估计，到2030年，随着ZK用例的激增，例如手机上的客户端证明或人工智能驱动的DeFi协议，产生的ZK证据数量可能会激增至每年900亿个。这不是猜测;这是基于ZK技术加速采用的预测。
问题在于：目前，以太坊无法满足这一需求。如果它将其每一盎司的容量（每个区块3000万个气体单位）用于验证ZKP（假设每个样本20万个气体），那么它每年可以处理大约1.5亿个样本，区块空间大约半满。这还不到预计900亿美元的0.2%。
即使将估计减半，以太坊的L1以当前形式也严重不足以完成这项任务。天然气价格将会飙升，将证据验证变成少数人能负担得起的奢侈品。虽然有计划将网络改进为加密环境，但以太坊路线图进展缓慢，可能需要数年时间。我们需要一个更好的解决方案来处理即将到来的证据泛滥。
Alt DA铺平了道路，ZK证明验证可以遵循
以太坊此前曾面临过规模危机，但社区已经适应了。几年前，汇总作为生命线出现，但它们遇到了瓶颈：数据可用性。将交易数据发布到以太坊的L1成本高昂且效率低下，可能会抑制L2增长。该社区是分裂的--纯粹主义者坚持为了安全起见，一切都留在链上，而实用主义者则推动替代DA层。然后Celestia和Avail等项目介入，提供专用区块链来处理链外数据存储，并大幅削减成本。尽管早期遭到抵制，但alt DA现在已成为以太坊路线图的组成部分，并受到汇总和RaSaaS提供商的欢迎。
ZK证明验证面临类似的拐点。今天的权宜之计、证据汇总反映了另类DA时代前的创可贴。聚合器将数百个证明批处理成一个用于以太坊验证的“超级证明”，降低了成本，但引入了延迟。有些批次需要几个小时甚至一天的时间才能完成，这与ZK汇总承诺的即时最终结果相去甚远。更糟糕的是，用户必须信任这些聚合器，它们通常在游戏中缺乏皮肤-没有抵押令牌，因此没有对不当行为的削减。
这是一个不信任的生态系统的不稳定基础。这就是为什么zkVerify等替代验证层提供了基于区块链的替代方案：快速、廉价且受到权益证明激励的保护。与另类DA的相似之处不仅仅是逻辑性的--事实证明它是有效的。
坚持现状的代价
如果没有替代证据验证，未来看起来很严峻。今天，在以太坊上验证一个Groth 16证明，以中等天然气价格（30 gwei，1，500美元ETH）计算，需要花费10美元。将其乘以900亿美元，到2030年你就会面临一个数万亿美元的问题--这是任何区块链都无法维持的荒谬现象。
即使采用聚合，当与以太坊的天然气市场相关时，成本仍然不稳定，并且延迟问题会破坏实时DeFi或游戏等高吞吐量用例。纯粹主义者认为，链下验证牺牲了安全性，但他们忽视了已经做出的让步：信任聚合器而不受任何利益，或者将STARK证明转换为SNARK以实现以太坊兼容性，这增加了复杂性和成本。
将其与模块化方法进行比较。专用验证链可以将成本削减90%，同时避免以太坊的气体峰值并支持本地STARK验证。这不仅仅是节省;这是关于释放创新。例如，如果验证不是瓶颈，客户端证明（用户在设备上生成证明）可能会爆炸式增长。想象一下，数十亿部手机大量生产用于私人身份或微交易的ZKP;这就是客户端证明所能实现的。以太坊无法托管该派对，但alt验证层可以。
克服纯粹主义的阻力
以太坊社区的犹豫并不新鲜。当alt DA首次亮相时，批评者称其犯规，声称它削弱了L1的安全性。然而，天没有塌下来。Rollup蓬勃发展，费用暴跌，以太坊的生态系统变得更加强大。今天的ZK怀疑论者也重复了这句话：“验证必须留在以太坊上，因为不可信。但不信任并不是二元的。聚合器已经引入了信任假设，而以太坊的预编译限制也迫使做出权衡。具有赌注代币和削减机制的股权证明ZKP验证链提供了聚合商所缺乏的问责制。这并不是对以太坊安全性的降低，而是针对ZK独特需求量身定制的横向举措。
Vitalik Buterin早期关于ZK-SNARKs的文章预见了它们的主导地位，预测ZK-Rollup最终会超过乐观的人。他对这项技术的看法是正确的;现在是时候扩大它了。Dencun升级（EIP-4844）证明了以太坊可以通过模块化解决方案进行发展; Blob大大降低了DA成本。Alt ZK证明验证是下一个合乎逻辑的步骤，与以太坊的长期愿景一致。
在海啸来袭前呼吁采取行动
无论我们是否准备好，ZKP浪潮都即将到来。如果一个杀手级应用程序引发大规模采用，例如保护隐私的社交网络或人工智能驱动的交易平台，以太坊就会在证明负载下崩溃。
我们不能等到危机发生后才采取行动。替代ZK验证层正在成为一种必需品，zkVerify等早期推动者已经在构建它们。以太坊社区必须摆脱对整体设计的怀旧之情，拥抱模块化，就像DA所做的那样。
到2030年，900亿个证明可以重新定义web 3，释放隐私、效率和规模。但前提是我们现在采取行动。我们不要重蹈去年的拥堵噩梦。Alt ZK证明验证不仅仅是一个解决方案--这是以太坊应得的未来。
约翰·卡马多是Horizen Labs的产品副总裁，他领导zkVerify，这是一个与链无关的模块化区块链，专注于高效的零知识证明验证。约翰在产品管理和数据驱动创新方面拥有十多年的经验，曾在Capital One担任高级职位，在那里他发现了商业银行领域价值数百万美元的机会，并领导跨职能团队开发以数据为中心的产品。在Horizen Labs，他从产品经理晋升为副总裁，塑造了公司的ZK产品战略。John拥有康奈尔大学的运营研究和信息工程学士学位，热衷于构建可扩展的、以加密为动力的系统来解决现实世界的挑战。
