长期以来,零知识证明技术因其生成过程的高计算开销和缓慢的速度,被认为是 “理论上完美,实践中迟缓” 的技术,难以满足区块链出块时间的严苛要求,阻碍了其在实际场景中的应用。然而在 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.44万
1
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。