ZKMはGOAT Networkと共同でzkMIPS 1.0を正式に発表しました：スケーラブルで検証可能な計算を目指したプロダクションレベルの高性能ゼロ知識仮想マシン（zkVM）

ZKMはGOAT Networkと共同で、zkMIPS 1.0を正式に発表しました。これはMIPSアーキテクチャに基づく初のプロダクションレベルのゼロ知識仮想マシン（zkVM）です。このバージョンは、業界に真の高性能、安定性、スケーラブルなデプロイメントが可能なzkVMの到来を示し、EthereumやBitcoinなどの主流ブロックチェーンエコシステムの実際のアプリケーションに向けて準備が整いました。

zkMIPS 1.0は、長年にわたり検証されたMIPS32r2命令セットアーキテクチャを採用しており、主流のRISC-VベースのzkVMとは異なり、より成熟し、シンプルで効率的であり、検証可能な計算ニーズに適したアーキテクチャ設計を導入しています。このアップグレードは、証明器アーキテクチャ、回路レイアウト、メモリ整合性モデル、プリコンパイルの統合を全面的に再構築することにより、zkMIPS 0.3.0に比べて6倍から19倍の性能向上を実現しました。

" 多くのzkVMプロジェクトは露出度の向上に焦点を当てていますが、私たちは常にエンジニアリング開発に注力し、最高の製品を磨くことに専念しています。RISC-Vと比較してMIPS32r2を選択するのはより困難な道ですが、私たちは最適な検証可能な計算zkVMを構築するための必然的な道だと考えています。zkMIPS 1.0のリリースに伴い、このアーキテクチャの基盤が業界で最も強力なソリューションであることを証明する自信があります。 " ------ ZKM共同創設者兼最高科学者 Ming Guo

zkMIPS 1.0の主な特徴：

• MIPS32r2アーキテクチャのサポート： MIPS32r2はよりシンプルで効率的であり、一貫性が高く、プログラムコンパイル後の命令列と実行トレースが短く、証明効率が向上します。
• Plonky3とKoala Prime Fieldに基づく構築： 31ビットフィールドに基づく効率的なSTARK証明生成と回路最適化を実現。
• マルチセットハッシュメモリモデル： メモリ検証プロセスを簡素化し、証明生成の効率を向上。
• 面積最適化されたZKチップ設計： 回路の完全性を保持しつつ、証明コストを削減。
• ハードウェアアクセラレーションのサポート： GPUアクセラレーションをサポート。
• プリコンパイルモジュールが複雑な計算操作をサポート： フィールド算術やKeccakなどの高コスト演算に対する最適化回路サポートを提供。

実測性能

zkVM-benchmarksスイートを使用して、zkMIPS 1.0は複数のテストで顕著な効率向上を示しました。いくつかのテスト結果は以下の通りです：

• SHA3-chain（460回の反復）：1358秒から68秒に短縮（18.8倍の向上）
• Fibonacci（n=58,218）：223秒から14秒に短縮（13.9倍の向上）
• SHA2（2048バイト）：22秒から2.9秒に短縮（6.6倍の向上）

こちらをクリックして、zkMIPS 1.0と他の主流zkVMの包括的な性能比較を確認してください。

EthereumとBitcoin向けのプロダクションレベルのアプリケーション

zkMIPS 1.0はEthereumメインネットのブロック生成に適用され、Ethereum財団が主導するEthProofsプログラムにサービスを提供し、またGOAT Network - BitVM2に基づいて構築された、持続可能なネイティブ収益メカニズムを備えたBitcoinの第2層ネットワークを支えています。ZKM証明ネットワークは、Groth16、PLONK、圧縮STARKsなどの主流の証明システムを全面的にサポートし、現在はAIやOptimistic Rollupのアップグレードなど、さらに多くのシーンに拡大しています。

"zkMIPS 1.0は、私たちのzkVMにとって最も重要なアプリケーションケース - GOAT Networkを通じてBitcoinのネイティブアプリケーションを実現する - の堅固な基盤を築きました。GOATは独自の分散型ソーター設計を採用し、業界初の持続可能なBTC収益メカニズムを導入しています。zkMIPS 1.0を活用することで、GOATは業界で最も強力なzkVMサポートを得ています。 "

------ ZKM共同創設者兼最高経営責任者 Kevin Liu

慎重に考えられたアーキテクチャの決定

MIPS32r2を選択することは、RISC-Vではなく、慎重に考えられたエンジニアリングの決定です。MIPSの実装はより複雑ですが、より短いプログラム、より少ない回路制約をサポートし、ゼロ知識回路設計により適合しています。zkMIPS 1.0は、成熟した命令セットに基づき、コンパイラ最適化を組み合わせることで、既存の汎用アプリケーションに対する証明生成を実現し、証明効率を大幅に向上させています。

開発者ツールが完全に準備完了 zkMIPS 1.0は、以下を含む完全な開発ツールチェーンのサポートを提供します：

• zkm_sdk Rustクレート
• mipsel-zkm-zkvm-elfコンパイラツールチェーン
• ネットワーク証明サポートとローカル証明器の統合

開発者はZKMドキュメントを通じて迅速に始められ、数分以内に開発を開始できます。

未来展望

zkMIPS 1.0は、リアルタイム証明、ゼロ知識に基づくBitcoinのスケーリングソリューション、クロスチェーンの統一流動性の基盤を築きました。性能の検証と統合アプリケーションの実現に伴い、ZKMはプリコンパイルサポートをさらに強化し、コストモデルを最適化し、より多くのRollupエコシステムに拡大していく予定です。

英文原文

https://www.zkm.io/blog/zkmips-1-0-production-ready-performance-optimized-and-open-for-developers

ZKMについて

ZKMは、汎用ゼロ知識証明インフラストラクチャの構築を目指しており、zkMIPS（MIPSアーキテクチャに基づくzkVM）、Proof Networkなどを含み、汎用決済と非信頼性の相互運用性を実現し、ブロックチェーンエコシステムの流動性の統一を推進しています。

zkMIPSは、ZKMチームが開発した業界初のMIPS命令セットをサポートするゼロ知識証明仮想マシンであり、汎用計算のゼロ知識証明生成を実現します。zkMIPSは完全にオープンソースであり、充実した開発者ツールセットと効率的な証明ネットワークを備えています。zkMIPSに基づいて構築されたEntangled Rollupプロトコルは、ネイティブ資産のクロスチェーン流通プロトコルであり、典型的なアプリケーションケースにはMetis Hybrid RollupやGOAT Networkが含まれます。