【英文长推】ZK 证明如何催生一个数十亿美元级的可验证计算新市场？

Chainfeeds 导读：

为何 ZK 证明需求并非投机，而是结构性必然？

文章来源：

文章作者：

jaehaerys

观点：

jaehaerys：以太坊正在经历一次由核心开发路线图推动的重大变革，这并非投机性的愿景，而是一种已被编程并必然发生的结构性演进。这次协议重构将带来对零知识（ZK）证明的结构化、可预测且呈指数增长的需求。在追求行星级吞吐量的过程中，以太坊将成为可验证计算这一新兴数十亿美元经济体中第一个也是最大的消费者。根据 Gigagas 路线图，L1 执行层的吞吐量目标为 1 Ggas/s（约 10,000 TPS），但这仅是冰山一角。最终目标是通过约 1,000 条 L2 协作，实现 1 Tgas/s（约 1,000 万 TPS）的 Teragas 生态，其中 99.9% 的交易量发生在 L2 上，L1 则演变为安全与结算的终极枢纽。为此，EIP-7938 提出每年自动将 L1 gas 上限提升 3 倍，以稳定、可预测的方式形成可靠的计算需求曲线。整个过程将分阶段推进，到 2027 年强制要求区块有效性 ZK 证明，从而将证明生成确立为协议的核心经济职能，相当于为 ZK 行业制定了一项产业政策，为基础设施投资提供了明确的经济信号。 Vitalik Buterin 指出，ZK 转型的紧迫性远超 L1 层面，它解决了当前 L2 生态中最显著的瓶颈：缓慢的提现终局性问题。在现有的乐观汇总设计下，等待一周提现对于用户和意图型跨链桥而言都过于漫长，流动性提供者的资金成本过高，从而催生了多签等不安全的信任假设，削弱了 L2 的意义。Vitalik 提议直接转向由 ZK 驱动的有效性证明系统，并强调过去因 ZK 技术不成熟和成本高昂而偏向乐观证明的格局正在迅速改变。通过 ZK 证明，原生提现时间可在短期内降至 1 小时以内，中期则可达到 12 秒，从而进一步巩固以太坊 L1 作为资产发行默认平台和经济中心的地位。这种高层背书，使得 ZK 从技术选项上升为保障整个以太坊生态安全与经济完整性的战略必需。此外，ZK 的易用性正吸引专用硬件厂商，例如 Cysic 宣布其即将推出原生支持 SP1 的 zkVM ASIC，这种从开源软件到定制硬件的深度结合，标志着行业对可验证计算标准化的信心。 Succinct 推出的 SP1 高性能开源 zkVM 是其技术栈核心，旨在服务最广泛的可验证计算任务，推动行业进入 ZK 2.0 时代。SP1 作为 RISC-V zkVM，让开发者可以直接使用 Rust 等标准语言编写代码，而无需掌握复杂的密码学。它的性能提升呈现摩尔定律式的轨迹，从 2023 年的数十分钟证明时间缩短到 2025 年的数秒，远超以太坊路线图提出的计算需求年增 3 倍的节奏。SP1 的通用性不仅支持完整的 ZK Rollup，还能推动混合设计，例如 ZK Fault Proof 模型，在正常情况下享有乐观系统的低成本，一旦遇到挑战则通过 ZK 单笔交易结算来快速裁定。这种设计使其市场空间超越了单一的安全模型。此外，cysic 等专业 ZK 硬件加速公司已加入 Succinct 证明者网络，作为多节点证明者运行，利用自主设计的定制硬件和高吞吐 GPU 集群，专为 ZK 负载打造，进一步验证了 SP1 在专业生态中的吸引力与应用潜力。