ZKMは新世代のGPUアクセラレートzkVMを正式に発表し、Zirenと名付けました：主流の開発者向けのプロダクションレベルのZKインフラストラクチャを構築します。

ZKM は、GPU アクセラレーション、分散証明アーキテクチャ、そして深く最適化された制約システムを通じて、ゼロ知識証明（ZK）システムの実際のアプリケーションシナリオにおける展開性と拡張性を新たな章へと開く、zkVM の次世代バージョン Ziren（旧 zkMIPS）を正式に発表しました。Ziren は、システムエンジニア、アプリケーション開発者、プロトコル設計者が主流の言語で高性能な ZK アプリケーションを構築できるようにし、ZK を実験室から主流の開発実践へと本当に持ち込むことを目指しています。

zkMIPS から Ziren へ：性能の飛躍、開発体験の向上

Ziren は zkMIPS v1.1.0 の全面的なアップグレードであり、初めて以下を導入しました：

• 30× GPU アクセラレーションにより、証明遅延を大幅に削減；

• 分散ネットワーク証明アーキテクチャにより、並列計算と拡張可能な展開をサポート；

• 命令制約システムのアップグレード、命令のモジュール化、列使用の最適化、冗長の排除；

• ツールチェーンと開発体験の向上、Rust のサポートに加えて C/C++ のサポートを新たに追加、Golang が近日中に登場予定；

• 重要なセキュリティ修正とプリコンパイルの強化により、Ethereum エコシステムとのネイティブな互換性を実現。

「Ziren は、正しい基盤の上に構築された、真にスケーラブルで開発者に優しい汎用 zkVM です。」と ZKM の共同創設者兼最高科学者の Ming Guo は述べています。「それは CPU 上で先進的な性能を証明しており、今や GPU アクセラレーションのおかげで新たな高みへと押し上げられています。最適な ZK 証明スタックを探しているなら、Ziren が答えです。」

技術の全面的なアップグレードに加え、Ziren の名称自体にも意味が込められています。zkMIPS の継続として、「Ziren」は神話の「Siren」の変種からインスパイアを受けており、幻想から現実への移行を象徴しています ------ 技術はもはや魅力を引きつけるだけでなく、実際に利用可能な約束を実現します。Ziren は、主流の開発者にとって真に効率的で信頼でき、展開可能な zk インフラストラクチャとなることを目指しています。

GPU アクセラレーションと分散証明の並行：性能から実用への飛躍

Ziren のコア証明プロセスは全面的に GPU 化され、性能が大幅に向上しました：

• コア証明の速度が 30 倍向上

• 集約証明の速度が 15 倍向上

• bn254 変換証明の速度が 30 倍向上

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

制約システムの最適化

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

• 命令レベルの制約をモジュール化された「チップ」に分割（CPU、ジャンプ/分岐、メモリなどをカバー）

• データ構造を最適化し、列（column）使用数を削減

• 冗長または未使用の制約ロジックを削除

• ALU、MADDU/MSUBU、および分岐処理フローを簡素化し、実行効率を向上

これらの最適化により、証明の複雑さが大幅に削減され、生成速度とシステムの安定性が向上しました。zkVM の観点から、MIPS が生成する実行トレースは RISCV よりも短く、より良い命令効率（Instruction efficiency）を持ち、証明効率の向上に寄与します。Ziren のリリースに伴い、MIPS の選択の利点が徐々に明らかになっています。

より良い開発体験：構築から展開までのスムーズさ

Ziren は新しいバージョンのツールチェーン（20250522）を発表し、開発者体験を向上させる多くの機能を提供します：

• LLVM パッチを統合し、コンパイルプロセスを最適化

• C/C++ 静的ライブラリと teq 命令の修正をサポート

• Rust ツールチェーンがより堅牢になり、非標準のハックを削除

• Golang サポートが近日中に登場予定

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

セキュリティと安定性の修正（Stability and Security Fixes）

Ziren は検証者と回路実行プロセスを全面的に強化しました。具体的には：

• Plonky3 における重要な FRI ランダム数の脆弱性を修正

• Rust 検証者における vk_root 検証の脆弱性を修正

• 命令実行ロジックと制約システムの整合性を最適化

• シャーディング処理ロジックとプログラムカウンタの動作管理を改善

Ziren vs 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 に投入され、ブリッジや信頼できる第三者なしで Ethereum スタイルのプログラマビリティを実現し、ビットコインメインネットのセキュリティを保持しています。GOAT Network は BitVM2 および BitVM3 の路線における重要な実践の一つです。

「ビットコインを拡張することを決定したとき、私たちが必要としたのは、上から下まで信頼できるシステムです --- 表面的な性能の積み重ねではなく、回路レベルの安定性と効率の保証です。」と ZKM の共同創設者兼 CEO、GOAT Network のコア貢献者 Kevin Liu は述べています。「Ziren はまさにそのニーズの産物であり、私たちがすべての証明に自信を持てるインフラストラクチャの層です。」

あなたの ZK アプリケーションを構築する、Ziren から始めましょう

Ziren は ZKM が長年にわたって底層システムエンジニアリングとゼロ知識研究に取り組んできた成果を結集したものであり、単なる会議の場を超え、構造がより優れ、体験がより良く、応用範囲が広い zkVM です。あなたが Ethereum DApp、ビットコイン L2、またはクロスチェーン検証システムを構築しているかどうかにかかわらず、Ziren は信頼できる計算基盤を提供します。

Rust で記述し、MIPS にコンパイルし、残りは Ziren に任せましょう。Build with confidence. Deploy without compromise.