2025年7月7日、ZKMはzkVMの次世代バージョンであるZiren（旧称zkMIPS）を正式にリリースしました。GPUアクセラレーション、分散証明アーキテクチャ、そして高度に最適化された制約システムにより、実世界のアプリケーションシナリオにおけるゼロ知識証明（ZK）システムの導入性と拡張性に新たな時代が到来しました。Zirenは、システムエンジニア、アプリケーション開発者、プロトコル設計者が主流言語で高性能なZKアプリケーションを構築できるようにすることで、ZKを研究室から主流の開発実践へと真に導くことを目指しています。
zkMIPSからZirenへ：パフォーマンスの飛躍、開発エクスペリエンスのアップグレード
Ziren は zkMIPS v1.1.0 の包括的なアップグレードであり、以下の機能を初めて導入します。
- 30 倍の GPU アクセラレーションにより、証明の遅延が大幅に短縮されます。
- 並列コンピューティングとスケーラブルな展開をサポートする分散ネットワーク実証アーキテクチャ。
- 命令制約システムがアップグレードされ、命令のモジュール化、列使用の最適化、冗長性の排除が行われます。
- ツールチェーンと開発エクスペリエンスがアップグレードされました。Rustのサポートに加え、C/C++のサポートも追加され、Golangも近日中にリリースされる予定です。
- Ethereum エコシステムとのネイティブ互換性を実現するための主要なセキュリティ修正とプリコンパイルの強化。
「Zirenは、適切な基盤の上に構築された、真にスケーラブルで開発者フレンドリーな、初めての汎用zkVMです」と、ZKMの共同創業者兼チーフサイエンティストであるミン・グオ氏は述べています。「CPU上ではトップクラスのパフォーマンスを実証しており、現在、GPUアクセラレーションによってさらに高いレベルを目指しています。クラス最高のZKプルーフスタックをお探しなら、Zirenこそが答えです。」
包括的な技術アップグレードに加え、Zirenという名前自体にも意味が込められています。zkMIPSの継承として、「Ziren」は神話「Siren」の派生形に着想を得ており、幻想から現実への移行を表しています。テクノロジーはもはや魅力的なものではなく、実際に利用可能になるという約束です。Zirenは、主流の開発者にとって真に効率的で信頼性が高く、導入可能なzkインフラストラクチャとなることを目指しています。
GPUアクセラレーションと分散証明並列処理：パフォーマンスから実用性への飛躍
Ziren のコア証明プロセスは完全に GPU ベースになっており、パフォーマンスが大幅に向上しています。
- コアプルーフ速度が30倍に向上
- 集約証明の速度が15倍に向上
- bn254変換は30倍高速であることが証明された
ネットワーク化された証明アーキテクチャと組み合わせることで、Zirenは証明タスクを複数のノードに分散して並列実行することができ、スループットを大幅に向上させるだけでなく、システムの分散型可用性も向上させます。このアーキテクチャは、モジュラーブロックチェーン、ロールアップ、およびチェーン間検証システムに非常に適しています。
制約システムの最適化
Ziren は制約システムを体系的に再構築します。
- 命令レベルの制約をモジュール式の「チップ」（CPU、ジャンプ/分岐、メモリなどをカバー）に分割します。
- データ構造を最適化して使用する列の数を減らす
- 冗長または未使用の制約ロジックを削除する
- ALU、MADDU/MSUBU、分岐処理を合理化して実行効率を向上
これらの最適化により、証明の複雑さが大幅に軽減され、生成速度とシステムの安定性が向上します。zkVMの観点から見ると、MIPSによって生成される実行トレースはRISCVよりも短く、命令効率も優れているため、証明効率の向上に寄与します。Zirenのリリースにより、MIPSを選択するメリットが徐々に反映されつつあります。
開発エクスペリエンスが向上し、構築から展開までがスムーズになります
Ziren はツールチェーンの新バージョン (20250522) をリリースしました。これにより、開発者エクスペリエンスに多くの改善がもたらされます。
開発エクスペリエンスが向上し、構築から展開までがスムーズになります
Ziren はツールチェーンの新バージョン (20250522) をリリースしました。これにより、開発者エクスペリエンスに多くの改善がもたらされます。
- LLVM Patchを統合してコンパイルプロセスを最適化する
- C/C++ 静的ライブラリと teq 命令の修正をサポート
- Rustツールチェーンはより堅牢になり、非標準のハックが排除される
- Golangサポートは近日公開予定
さらに、Ziren は Ethereum ネイティブ署名検証をサポートし、プリコンパイルされたモジュールは完全な ECDSA 楕円曲線署名をサポートするようになりました。これにより、オンチェーン統合がスムーズになるだけでなく、サポートできるアプリケーション シナリオも拡張されます。
安定性とセキュリティの修正
Ziren は、以下を含むバリデータと回路実行プロセスを完全に強化しました。
- Plonky3の重大なFRI乱数脆弱性を修正しました
- Rust バリデーターの vk_root 検証バグを修正
- 命令実行ロジックと制約システムの一貫性を最適化
- シャーディングロジックとプログラムカウンタの動作管理の改善
Ziren と zkMIPS 1.0 の比較表
すべてのアップデートにより、Ziren のセキュリティと一貫性が向上し、実稼働環境での ZK 証明のニーズにより適したものになります。
リアルタイム証明に向けて：ethproofs.orgが最適化の結果を目撃
ethproofs.orgにおいて、Zirenはリアルタイムパフォーマンスの結果を実証しました。リアルタイム証明は間近に迫っています。仮想マシンをRevmからRethに置き換え、アカウントステータスを並列抽出し、debug_traceBlockを使用することで、ブロックステータスの準備時間が5分から30秒未満に短縮されました。これにより、各段階における証明プロセスの遅延が大幅に削減され、Zirenのパフォーマンスはリアルタイムレベルに近づき、高頻度ZKアプリケーションの実装に向けた強固な基盤が築かれました。
GOAT Networkはすでにリリース済み：ビットコインネイティブzkRollupを構築するためのコアエンジン
Zirenは、ビットコインネイティブのzkRollupプロジェクトであるGOAT Networkで利用されており、ブリッジや信頼できる関係者を必要とせずにイーサリアムのようなプログラマビリティを実現しながら、ビットコインメインネットのセキュリティを維持しています。GOAT Networkは、BitVM2およびBitVM3ルートにおける重要なプラクティスの一つです。
「ビットコインのスケール化を決定した際、私たちはトップからボトムまで信頼できるシステムを必要としていました。パフォーマンスのレイヤーだけでなく、回路レベルの安定性と効率性も求められます」と、ZKMの共同創業者兼CEOであり、GOAT Networkの中核貢献者であるケビン・リュー氏は述べています。「Zirenはまさにこのニーズから生まれた製品であり、あらゆる証明に自信を持てるインフラレイヤーです。」
Zirenを使ってZKアプリケーションを構築しましょう
Zirenは、ZKMが長年にわたり基盤システムエンジニアリングとゼロ知識研究に注力してきた深い研究成果を凝縮したものです。よりオープンなだけでなく、より優れた構造、優れたエクスペリエンス、そして幅広い応用範囲を備えたzkVMです。Ethereum DApp、Bitcoin L2、あるいはクロスチェーン検証システムの構築など、Zirenは信頼できるコンピューティング基盤を提供します。
Rustで記述し、MIPSにコンパイルすれば、あとはZirenにお任せください。安心してビルドでき、妥協することなくデプロイできます。
全てのコメント