ZKMがBTC L2トラックに参入することについてどう思いますか？

著者：蓝狐笔记

ZKM が BTC L2 の領域に参入するのを見て、この領域はイーサリアム L2 と同様に、ますます混雑していくでしょう。最終的な市場の構図は、技術と市場の進化の結果を待つ必要があります。

ZKM の基盤技術は zkVM であり、その最終目標は、より多くのプロジェクトやエコシステムに zkVM 技術を採用させ、基盤インフラストラクチャとなることです。例えば、異なるエコシステム（イーサリアム、ビットコイン、Cosmos など）の資産を接続し、より良い流動性を形成することができます。この大枠の中で、ZKM が BTC L2 の領域に参入する理由をよりよく理解できます。

技術的解決策に戻ると、ZKM のコア技術は主に二つの側面があります：「Entangled Rollup アーキテクチャ + zkVM」。これらの二つの側面は、市場での二大関心事を解決することを目的としています。一つは、資産の安全性をどのように確保するか、もう一つは、自己ネットワークの持続可能性をどのように実現するかです。

現在、市場はクロスチェーンの安全性問題に非常に関心を持っています。ZKM は「Entangled Rollup Network（絡み合ったロールアップネットワーク）」メカニズムを導入し、再帰的なゼロ知識証明技術を通じてブロックチェーン間の状態を同期させ、従来のブリッジメカニズムに依存せずに資産のクロスチェーンを実現しようとしています。このフレームワークは以前にイーサリアム上で実現され、Metis の Optimistic Rollup メカニズムです。現在、ZKM はこの考え方とフレームワークを適用し、ビットコイン L1 自身の特性に基づいて改造を行い、BTC L2 を導入しようとしています。もちろん、BTC はスマートコントラクトをサポートしていないため、L2 を実現するには多くの課題があります。ZKM は Entangled Rollup を通じて状態を ZKM ネットワークに集約し、検証された状態を他のエコシステムに伝達しようとしています。BTC の資産の安全性は、ローカルで制御可能なモデルを採用しています。例えば、BTC はマルチシグスクリプトによって制御され、少なくとも一つの誠実な当事者が存在すれば、悪意のある者は質入れされた BTC を持ち去ることができません。一方、L2 では分散型オーダラーを採用し、取引の包含と最終性は分散型の方法で完了します。L2 の取引バッチの実行も BTC スクリプトを通じて検証される予定です。

ZKM は OCP メカニズム（Optimistic Challenge Process）を導入し、これはイーサリアム L2 の楽観的証明の BTC L2 バージョンに似ています。おおよそのメカニズムは、ユーザーが資産を L2（ZKM）に預けると、資産が事前署名された n-of-n のマルチシグスクリプトにロックされるというものです。署名者は一般的に独立した第三者または監査者です。マルチシグの交換スクリプトは指定されたチャレンジ期間後にアクティブになり、署名者は事前にターゲットユーザーに資産を送信し、チャレンジフェーズを開始します。チャレンジフェーズでは、署名者はチャレンジスクリプトと資産スクリプトを含む取引を事前に署名します。チャレンジスクリプトを発動するには、チャレンジは入力 UTXO を支払うことで開始され、オペレーターに対して資産スクリプトに中間計算の追跡を提供するよう要求します。もしコミットメントが成功裏に開かれない場合、検証者はチャレンジ期間終了後にすべての資産を受け取るか、チャレンジ資産を署名者に渡します。実行追跡は Tap Tree を通じて提出され、その中で Tree の各葉は一つの中間値を表します。各中間値はワンタイム署名計算を使用しており、前の値がその入力として使用されます。この方法を使用することで、BTC スクリプトは直接この計算を実行し、オンチェーン資産の検証を完了します。つまり、ZKM は OCP メカニズムを通じてオフチェーン計算に安全性を提供し、L2 取引が分散型オーダーネットワークに含まれることを保証しようとしています。

zkVM は暗号分野における重要な基盤探索の一つであり、ZKM の zkVM はその一つのタイプです。RSIC や SP1 とは異なる点の一つは、ZKM が Golang のネイティブサポートを提供していることです。（RSIC と SP1 は Rust をサポートしています）ZKM は Golang 開発者が Vanilla Golang コンパイラを使用してコードを MIPS 命令にコンパイルし、その後 ZKM の証明ネットワークでその実行を証明できるようにしています。また、将来的には ZKM も Rust をサポートする予定です。

市場は BTC のオンチェーン資産の安全性に関心を持つだけでなく、ZKM L2 自体がどのように持続可能性を実現するかにも関心を持っています。持続可能性を実現するためには、ネットワークに参加する各参加者が継続的な収入を得る機会が必要です。ZKM の BTC L2 では、分散型オーダラーの概念を導入し、これらのオーダーノードは貢献に応じて報酬を得ます。ZKM はその 40% のトークンをマイニング参加者（オーダーノード、流動性ステーキング、証明ネットワークマイニングに参加する者を含む）に報酬として配分する計画です。つまり、オーダーノードは L2 の取引から得られるガス料金に加えて、マイニングからも収益を得ることができます。

現在のトレンドに従えば、BTC L2 の探索は続いていくでしょう。ネイティブ L2 と EVM 互換 L2 の両方で継続され、ネイティブ L2 では内部エコシステムの張力の探索が行われます。そのネイティブ性により、多くの忠実な支持者がいます。一方、EVM 互換 L2 では、BTC エコシステムの拡張だけでなく、より多くのエコシステムの統合に向けた探索方向を提供することにもなります。