ZK 证明的瓶颈不在数学,在算力调度:去中心化 Prover 运维的万亿想象空间
2024 年,以太坊悄悄完成了一次角色切换:它不再亲自做计算,而成了一个结算层——真正的计算发生在 L2,真正的扩容靠的是 zk-Rollup。 Scroll、Linea、Starknet、zkSync……这些名字背后,是同一套底层逻辑: 用零知识证明(ZKP)替代链上重复执行,用数学保证安全,用算力换吞吐量。 但算力,才是这件事最难的部分。 一个证明,几分钟到几秒的距离 ZK 证明的生成是一种极其特殊的计算:它不是在"算答案",而是在"证明自己知道答案"。这个过程的核心是两类数学运算: MSM(多标量乘法) :在椭圆曲线上对海量点进行标量乘法并求和,占整个证明算力的约 70% 。 NTT(数论变换) :有限域上的快速傅里叶变换,处理多项式承诺,占约 25% 。 在 CPU 上串行执行这两类运算,Scroll 生成一笔批次证明需要 2–8 分钟 。这对任何需要"分钟级确认"的应用都是灾难性的延迟。 切换到 GPU——以 Barretenberg Prover(Aztec 的开源证明系统)在 RTX 4090 上的测试为参照——同样的工作量可以在 10 秒以内 完成,加速比超过 100× 。 这个数字解释了为什么"ZK 硬件加速"不是学术议题,而是一个正在发生的工程竞赛。 去中心化 Prover 网络:谁来跑这些 GPU? 一个 zk-Rollup 的 Sequencer 排序交易,Prover 则负责生成证明。在早期系统里,Prover 往往是中心化的——协议方自己跑一台服务器。这产生了一个单点故障:Prover 宕机,整条链停止出块。 去中心化 Prover 网络的出现解决了这个问题。代表性项目包括: Gevulot :专注于去中心化 ZK 证明市场,任何人都可以贡献算力成为 Prover,按任务竞价赚取报酬。 RISC Zero :通过 zkVM 将任意 Rust/C 程序编译成可证明电路,配套的 Bonsai 网络提供去中心化证明服务。 Ulvetanna / Irreducible :专注于 FPGA 加速的 ZK 证明,在某些电路上比 GPU 快 3–5 倍,能效比更高。 这张架构图揭示了一个关键分工:Sequencer 做排序,...