来源链接:https://x.com/Zypher_Network/status/1871383005505396853
从Goth16到Plonk,整个zk工业界一直致力于设计更高效的证明系统。然而,如何客观评估一个zk证明系统的性能始终是一个复杂的问题,因为目前尚未有统一的基准测试标准。今年7月份,StareWare发布了下一代证明系统Stwo,通过引入每秒哈希证明 (HPPS) 这一指标,能够直观衡量系统性能。测试表明,Stwo在一台 M3 笔记本电脑上每秒可证 620,000 个 Poseidon2 哈希,一度被视为速度最快的证明系统。然而这一纪录很快被打破。8月,Expander发布了最新的基准报告,称其在AMD Ryzen 7950X3D机器上,Expander的吞吐量高达2,160,000 HHPS,远超 Stwo 的960,000 HHPS,俨然成为世界上最快的证明器。
Zypher Network是一家由AI Agents和ZKP技术驱动的全链游平台,持续关注行业的发展并积极引入高效的证明系统。更高效的证明系统不仅能够显著提升用户体验,还为构建高性能链上去中心化应用提供了无限可能。目前我们正携手Expander的发明者Polyhedra Network积极探索使用Expander打造下一代链上去中心化基础设施,为全链游生态注入源源不断的创新活力。作为零知识研究与应用领域的领先者,Polyhedra通过其EXPchainLayer1构建了AI和区块链系统中信任与可扩展性的基石技术。依托Expander 的高效性,他们实现了可验证的链上AI,为行业发展提供了全新的可能性和解决方案。
什么是Expander
大多数 SNARK 使用单变量多项式,这主要由其底层多项式承诺(如KZG,FRI)方案决定,而多项式承诺通常是SNARK性能的主要瓶颈。近年来,涌现一些新的证明系统,例如基于GKR+sumcheck的方案,通过巧妙使用多变量多项式,显著降低了证明者的复杂度。
GKR协议于2008年提出,并由Libra进一步改进,其提出了首个具有严格线性证明者时间的零知识证明方案。在此基础上,Libra的作者——Polyhedra团队,开发了Expander证明系统。该系统将高效的GKR协议与基于多变量多项式的多项式承诺方案相结合(如 Orion 和 Brakedown),使得证明者的计算仅涉及与多项式大小成线性关系的哈希运算和域操作。该证明系统不需要 FFT 运算,因此能够使用目前较为流行的小域,这也意味着证明器开销更低以及更好的硬件兼容性。Expander目前主要支持以下域:
GKR 电路编写相对复杂,因此Expander提供了电路编译器ECC,允许将用gnark编写的电路转化成层级电路,然后使用Expander证明器进行证明,整个开发流程如下图所示:
深入GKR协议
完整的协议流程如下, 令:
Zypher解决方案
Expander在性能上表现优越,尤其是在AI领域。据了解,Expander能够使用高性能 CPU 在几分钟内为具有 80 亿个参数的 Llama-3 模型快速生成证明,这一成果令人振奋,也为AI Agent的应用铺平了道路。Zypher Network是一家由AI Agents和ZKP技术驱动的全链游平台,正在利用AI Agents创建智能非玩家角色、对手以及强大的游戏Boss,进行日常的角色训练,以及实现自动化PvP战斗等。
借助 Expander,Zypher一方面能够以较少的计算资源实现更复杂的可实用AI Agents和更快的证明产生;另一方面,Zypher能够更高效的对AI agent和玩家的行为进行验证,确保系统的安全性和公平性,从而将去中心化链上游戏提升到一个新的层次,带来更高水平的用户体验。