Chainfeeds 导读：
下一阶段不再是理论突破，而是运营与规模化： 证明是否足够易用、供给是否真正去中心化、定价是否向通用算力持续收敛。
文章来源：
https://x.com/castle_labs/status/2019088487119544577
文章作者：
Castle Capital
观点：
Castle Capital：2018 年，ZK 的重心从隐私转向了吞吐量与可扩展性。以太坊的扩容路径逐渐清晰：在许多工作负载中，「验证一次证明」比「重新执行所有计算」要便宜得多。于是，ZK 成为一种将大量计算压缩为简短证明的工具。这直接塑造了 zk Rollup 与隐私系统的发展方向：不再要求每个验证者重新执行每一步状态变化，而是只验证一个简洁的有效性证明。在 Rollup 架构中，执行发生在链下；有效性证明被提交到链上，使以太坊可以在不重放交易的情况下接受新的状态。这一阶段，Aztec 等隐私协议，以及 zkSync、Starknet、Scroll 等通用型 zk Rollup，推动了 ZK 技术的大规模工程化。进入 2020 年代中期，ZK 的采用形态再次发生转变：从「为单一用途设计电路」，演进为通用证明基础设施。这一阶段出现了三类关键组件：zkVM 可对任意程序生成证明；协处理器（coprocessors）对链上状态执行特定查询并生成证明；证明网络将证明生成工业化、规模化。这些系统由 Brevis、Axiom、Lagrange、Succinct、RISC Zero、Cysic 等团队推动。随着 ZK 从「隐私原语」演变为「通用证明工具」，整个技术栈开始拆分为多个专业层级。ZK Stack 已经发展为一个由多种专用层组成的生态系统。过去，在链上验证任何事情，通常需要大量人工和资金成本。如今，这一成本被转移到了证明阶段。流程变成了验证者执行一次快速检查、证明者完成大量计算、计算被压缩为一个证明及成本体现为硬件、能源与延迟。2025 年 7 月，以太坊基金会提出 L1 zkEVM 的「实时证明」目标：在开源软件条件下，用不超过 10 万美元、10kW 功耗的本地硬件，对 99% 的主网区块在 10 秒内完成证明。到 2025 年 12 月，基金会报告显示：证明延迟从约 16 分钟降至 16 秒，成本下降 45 倍，zkVM 已可在目标硬件配置下对 99% 区块实现 10 秒内证明。证明的本质，是让链在不重复执行工作的情况下验证结果。如果证明成本过高，Rollup 必须补贴用户；一旦证明成本下降，费用才可能在不压缩利润的情况下下行。Ethproofs 的基准数据显示：2025 年内，平均证明延迟从约 16 分 44 秒下降至 60 秒，平均成本从 1.69 美元降至 0.0376 美元。这表明证明正在从「实验室级工作」走向商品化基础设施。zkVM 使任意程序可被证明，是「验证而非执行」路线的核心。 Vitalik Buterin 近期指出，zkEVM 已进入 alpha 阶段，性能已具备生产可用性，剩余重点在安全性。接下来的关键，不再只是更快的证明，而是证明系统是否可靠；是否能被大规模部署及证明供给是否真正去中心化。【原文为英文】
内容来源
