來源鏈接：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和玩家的行為進行驗證，確保系統的安全性和公平性，從而將去中心化鏈上游戲提升到一個新的層次，帶來更高水平的用戶體驗。
