长期以来，零知识证明技术因其生成过程的高计算开销和缓慢的速度，被认为是 “理论上完美，实践中迟缓” 的技术，难以满足区块链出块时间的严苛要求，阻碍了其在实际场景中的应用。然而在 2025 年，这一局面被彻底扭转，ZK 性能不再是制约其应用的主要障碍。 一个标志性的突破是 Succinct 团队研发的 SP1 Hypercube 证明系统。它成功展示了在一组消费级 GPU 集群上，为超过 93% 的以太坊主网区块在 12 秒的出块时隙（Slot）内生成 ZK 证明的能力，平均证明时间仅为 10.3 秒。至于 Succint SP1 Hypercube 为什么能够取得如此大的技术进步，可以简单理解为主要源于以下两方面改进： 🔹 生成 ZK 证明的过程，需要将区块链交易数据编码进一个数学多项式，这个编码结果帮助形成最终的证明。可以想象成把一大堆杂乱的行李塞进箱子。以前用的多项式叫 Univariate Polynomials，不太匹配区块链数据的结构，就像用圆形箱子塞方形物品，总有空隙或挤压，导致编码准备工作费时费力、效率低下。SP1 Hypercube 则发明了新多项式（Multilinear Polynomials），更贴合交易数据的多维度特性，这相当于设计出矩形箱子，能完美填充行李。从而大幅缩短了数据编码的准备时间，让证明生成从分钟级加速到秒级，实现实时； 🔹 原来证明生成像单人手工打包，整个过程一步接一步，无法拆分。现在 SP1 Hypercube 用新型算法（包括递归聚合和优化协议），允许把大证明拆成多个小证明任务，每个小任务独立处理，然后轻松合并成完整证明。拆分的好处就是能充分利用多核 CPU 或 GPU 并行运算，就像多人同时打包行李，从而整体速度飞升，能够赶上 Ethereum 每 12 秒一个块的节奏，实现实时证明。

1/ 📖 Web3Caff Research 研报上线：《2025 以太坊生态与未来命运推演 2.5 万字研报：ZK 终局下，一场向内的深刻变革能否在历史洪流中继续突围领先？》 由 @Web3Caff_Res 研究员 @ChromiteMerge 撰写，系统解析以太坊在 2025 年的技术革新、生态重构与治理转向：从 L1 重振与 ZK 化，到 L2 转型与基金会战略演进，全景式呈现以太坊的关键拐点。 阅读全文👇

在传统 VM 中，共识依赖 “所有节点重复执行每笔交易”，因此全网吞吐量受最慢节点限制，算力也被浪费在大量重复计算上。而在 zkVM 中，流程被拆成 “执行 + 证明 + 验证”：程序和输入只需要在 zkVM 中运行一次，生成结果和一份零知识证明；其他节点无需重复计算，只需验证这份证明即可。这样，计算负担大大减轻。 以 RISC Zero 的 zkVM（以下简称 R0VM）为例： 🔹它以 RISC-V 指令集为内核，开发者只需用 Rust / C / C++ 编写 guest 程序，再编译成 RISC-V ELF 文件； 🔹每个 ELF 文件都会对应一个唯一的 Image ID，用来确保 “执行的确是这段代码”； 🔹执行结果会生成一份 Receipt（收据），其中包括： Journal：公开的输出或承诺结果； Seal：可在链上或链下验证的简短 ZK 证明。 最终，网络上的节点只需验证这份收据，而不必重新执行所有计算。这样，“全网一致” 的成本就从重复执行大幅下降到验证短证明。