Zypher Research：ZypherはExpanderを採用して効率的な全チェーンゲームのインフラを構築しています。
Zypher Network は、AIエージェントとZKP技術によって駆動される全チェーンゲームプラットフォームです。出典リンク：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エージェントと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エージェントの応用への道を開いています。Zypher Networkは、AIエージェントとZKP技術に駆動された全チェーンゲームプラットフォームであり、AIエージェントを利用してインテリジェントな非プレイヤーキャラクター、対戦相手、強力なゲームボスを作成し、日常的なキャラクター訓練や自動化されたPvP戦闘を実現しています。
Expanderを活用することで、Zypherは一方で少ない計算リソースでより複雑な実用的AIエージェントとより迅速な証明生成を実現し、他方でAIエージェントとプレイヤーの行動をより効率的に検証し、システムの安全性と公平性を確保することができ、分散型チェーン上ゲームを新たなレベルに引き上げ、より高いレベルのユーザー体験を提供します。
