ZKMが語るストーリーとは？着陸のシナリオは？

Author: Kiwibig.eth, Source: Author's Twitter @KiwiCryptoBig

Congratulations to ZKM 

1) 記録を見ると、私がこのプロジェクトについて最初に話したのは昨年の3月で、深い弱気相場の最中でした。

当時はまだチームが製品全体を磨き上げている最中で、zkmipsのコンセプトは今とはまったく違うものでした。

2）技術的な困難：当時、ZKMは、ZKロールアップ用のプログラミング言語としてMIPS命令セットを使用する方法であるzkMIPSを使用して、汎用用途のzkpシステムを構築していました。

スタンフォード大学で20年以上前に開発されたMIPSアーキテクチャは、クリーンで最適化された、拡張性の高いRISCアーキテクチャです。多数のレジスタ、命令数および文字数、目に見えるパイプライン遅延タイムスロットを特徴とするこれらの特徴により、MIPSアーキテクチャは、今日のSoC設計において、1平方ミリメートルあたり最高の性能と最低の消費電力を実現します。

これらの特徴は、実際、ZK命令を書きに行くのに最適ですが、問題は、開発コンポーネント、ツールキットがほとんどなく、構築するのが比較的難しいプロジェクトであるということでもあります。

したがって、その時、私の個人的な判断は、プロジェクトのような最下層を行うには、それは長い期間がかかるはずですが、弱気市場では、中程度の勝率の典型的なものであり、確率は非常に良いプロジェクトです。

今のZKMの話について

1)ホワイトペーパーを読み直すと、ZKMの風景がまたバラバラにされています:

ZKMの使命は、セキュリティと分散化を犠牲にすることなく、異なるブロックチェーン（さらには非ブロックチェーンシステム）間の状態変更通信を可能にする汎用ゼロ知識仮想マシン（zkVM）を構築することです。これは分散型インターネットを大幅に強化・統合し、最終的にはブロックチェーン・システムと非ブロックチェーン・システムの統合を可能にします。

2) 技術的な詳細

zkMIPSは、ゼロ知識証明という形で、MIPSアーキテクチャの下で計算の正しさを検証する効率的で安全な方法を提供します。

-MIPSアーキテクチャ： zkMIPSはMIPSプロセッサ向けに設計されており、組み込みシステムやIoTデバイスにおいて、クリーンな命令セットと効率的なパフォーマンスで知られています。

- ゼロ知識証明： zkMIPSは、代数的中間表現（Algebraic Intermediate Representation：AIR）と高速リードソロモン対話型オラクル近接証明（Fast Reed-Solomon Interactive Oracle Proofs of Proximity：FRI）を活用しています。MIPSの計算を多項式に変換するAIRと、多項式近似の低次を検証する技術であるFRIを組み合わせることで、zkMIPSはゼロ知識証明を効率的に生成し、検証することができます。

- ソフトウェア・システム・アーキテクチャ： ELFローダー、MIPS仮想マシン（VM）、プルーフ・ジェネレーター（Prover）、コミュニケーション・マネージャーなどのコンポーネントが含まれ、プログラムのMIPS実行可能ファイルへのコンパイル、MIPS命令シーケンスの実行、実行軌跡に基づくZKPの生成をサポートします。シナリオ

zkMIPSには、ブロックチェーン、IoT、クラウドコンピューティング、機械学習など、さまざまな分野をカバーする幅広いアプリケーションシナリオがあり、セキュリティとプライバシーに大きな利点があります。

a.レイヤー2ソリューション：ブロックチェーンでは、zkMIPSはレイヤー2ソリューションと組み合わせ、ZKPを通じてトランザクションのプライバシーとスケーラビリティを強化します。チェーン上のデータの改ざん防止と透過性を維持しながら、トランザクション処理を高速化します。

モノのインターネット（IoT）： zkMIPSは、IoTデバイス間の通信のセキュリティとプライバシーを強化するために使用できます。IoTデバイス間で機密データを送信する場合、zkMIPSはデータの完全性と機密性を保証し、機密情報の漏洩を回避します。

b.分散型クラウドコンピューティング：クラウドコンピューティングシナリオにおいて、zkMIPSは、クラウドサービスプロバイダを信頼する必要なく、計算結果が正しく信頼できることを保証しながら、ユーザーがクラウドリソースを使用して計算タスクを実行することを可能にします。

c. ゼロ知識機械学習（zkML）： zkMIPSは機械学習モデルに適用することができ、モデルのユーザーは、計算に使用されたプライベートデータやモデルの詳細を公開することなく、モデル出力の正しさを検証することができます。これは、機密データ（医療情報、個人データなど）を扱うシナリオにおいて特に重要です。

フィールドシナリオ：絡み合ったロールアップ

絡み合ったロールアップは、異なるロールアップ間でデータと状態を共有することで、効率的なクロスチェーン通信を可能にします。

また、ビットコインの流行をキャッチする市場に対応するため、Entangled Rollupsはビットコインの安全なクロスチェーンブリッジとして使用できます。

1) 統一されたクロスチェーンの流動性： Entangled Rollupsのアーキテクチャにより、個々のブロックチェーン間のシームレスな接続を実現することができます。流動性が非常に断片化されているという問題を解決します。

2）安全なクロスチェーンブリッジング：既存のクロスチェーンブリッジング方法にはセキュリティリスクがありますが、Entangled Rollupsは再帰的なゼロ知識証明を通じて異なるブロックチェーンの状態を同期させ、従来のブリッジングメカニズムをバイパスし、より安全なユーザーエクスペリエンスを提供します。

3) ビットコインのレイヤー2ソリューション： Entangled Rollupsは、ビットコインネットワークにレイヤー2ソリューションを提供します。これは、BTC保有者とマイナーが分散型シーケンサーノードに参加することで、取引手数料収入とZKMマイニング報酬を得る新しい方法を提供するだけでなく、プルーフ・オブ・オーダーを通じて取引手数料収入とZKMマイニング報酬を得る新しい方法を提供します。

4）ネイティブなセキュリティと持続可能な収入： Entangled Rollupsは、独自のOptimistic Challenge Processメカニズムと分散型シーケンサーを通じて、BTCレイヤー2ネットワークにネイティブなセキュリティを提供し、ノード運営者、プレッジャー、ユーザーに持続可能な収入源を提供します。

BTCは、持続可能な収入源をユーザーに提供します。

最後になりましたが、1年以上経ちました。

研究者にとって、1年前に判断を下したプロジェクトを観察することは、素晴らしいフィードバックであり、認知的な終結でもあります。

さかのぼって当時の最もオリジナルな調査報告書を見てみると、チームは本当に今年1年の構想を少しずつ完成させていることがわかった。