ZKMは、GPUアクセラレーションを搭載した次世代のzkVM「Ziren」を正式にリリースしました。主流の開発者向けにプロダクショングレードのZKインフラストラクチャを構築します。

2025年7月7日、ZKMはzkVMの次世代バージョンであるZiren（旧称zkMIPS）を正式にリリースしました。GPUアクセラレーション、分散証明アーキテクチャ、そして高度に最適化された制約システムにより、実世界のアプリケーションシナリオにおけるゼロ知識証明（ZK）システムの導入性と拡張性に新たな時代が到来しました。Zirenは、システムエンジニア、アプリケーション開発者、プロトコル設計者が主流言語で高性能なZKアプリケーションを構築できるようにすることで、ZKを研究室から主流の開発実践へと真に導くことを目指しています。

zkMIPSからZirenへ：パフォーマンスの飛躍、開発エクスペリエンスのアップグレード

Ziren は zkMIPS v1.1.0 の包括的なアップグレードであり、以下の機能を初めて導入します。

「Zirenは、適切な基盤の上に構築された、真にスケーラブルで開発者フレンドリーな、初めての汎用zkVMです」と、ZKMの共同創業者兼チーフサイエンティストであるミン・グオ氏は述べています。「CPU上ではトップクラスのパフォーマンスを実証しており、現在、GPUアクセラレーションによってさらに高いレベルを目指しています。クラス最高のZKプルーフスタックをお探しなら、Zirenこそが答えです。」

包括的な技術アップグレードに加え、Zirenという名前自体にも意味が込められています。zkMIPSの継承として、「Ziren」は神話「Siren」の派生形に着想を得ており、幻想から現実への移行を表しています。テクノロジーはもはや魅力的なものではなく、実際に利用可能になるという約束です。Zirenは、主流の開発者にとって真に効率的で信頼性が高く、導入可能なzkインフラストラクチャとなることを目指しています。

GPUアクセラレーションと分散証明並列処理：パフォーマンスから実用性への飛躍

Ziren のコア証明プロセスは完全に GPU ベースになっており、パフォーマンスが大幅に向上しています。

ネットワーク化された証明アーキテクチャと組み合わせることで、Zirenは証明タスクを複数のノードに分散して並列実行することができ、スループットを大幅に向上させるだけでなく、システムの分散型可用性も向上させます。このアーキテクチャは、モジュラーブロックチェーン、ロールアップ、およびチェーン間検証システムに非常に適しています。

制約システムの最適化

Ziren は制約システムを体系的に再構築します。

これらの最適化により、証明の複雑さが大幅に軽減され、生成速度とシステムの安定性が向上します。zkVMの観点から見ると、MIPSによって生成される実行トレースはRISCVよりも短く、命令効率も優れているため、証明効率の向上に寄与します。Zirenのリリースにより、MIPSを選択するメリットが徐々に反映されつつあります。

開発エクスペリエンスが向上し、構築から展開までがスムーズになります

Ziren はツールチェーンの新バージョン (20250522) をリリースしました。これにより、開発者エクスペリエンスに多くの改善がもたらされます。

開発エクスペリエンスが向上し、構築から展開までがスムーズになります

Ziren はツールチェーンの新バージョン (20250522) をリリースしました。これにより、開発者エクスペリエンスに多くの改善がもたらされます。

さらに、Ziren は Ethereum ネイティブ署名検証をサポートし、プリコンパイルされたモジュールは完全な ECDSA 楕円曲線署名をサポートするようになりました。これにより、オンチェーン統合がスムーズになるだけでなく、サポートできるアプリケーション シナリオも拡張されます。

安定性とセキュリティの修正

Ziren は、以下を含むバリデータと回路実行プロセスを完全に強化しました。

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にお任せください。安心してビルドでき、妥協することなくデプロイできます。