原作者：ブルーフォックスノート

ZKMもBTC L2トラックに参入したことを考えると、このトラックはイーサリアムL2と同様にますます混雑することになるでしょう。最終的な市場構造はテクノロジーと市場の進化の結果を待つ必要があります。

ZKM の基盤となるテクノロジーは zkVM であり、その最終的な目標は、その zkVM テクノロジーがより多くのプロジェクトやエコシステムに採用され、それによって基盤となるインフラストラクチャになるように努めることです。たとえば、さまざまな生態系ネットワーク (イーサリアム、ビットコイン、コモスなど) の資産を接続して、より優れた流動性を生み出すことができます。この広い枠組みの中で、ZKMがBTC L2トラックに参入したい理由をよりよく理解できます。

技術ソリューションの話に戻りますが、ZKM コア テクノロジーには主に「Entangled Rollup アーキテクチャ + zkVM」という 2 つの側面があります。これら 2 つの側面は主に、市場における 2 つの主要な懸念事項を解決します。1 つ目は資産のセキュリティを確保する方法、2 つ目は独自のネットワークの持続可能性を実現する方法です。

市場は現在、クロスチェーンのセキュリティ問題に大きな注目を集めており、従来のブリッジメカニズムに依存せず、再帰的ゼロ知識証明技術を通じてブロックチェーンのステータスを同期しようとする「Entangled Rollup Network」メカニズムを立ち上げました。 -チェーンアセット。このフレームワークは、Metis の Optimistic Rollup メカニズムである Ethereum に以前に実装されていました。現在、ZKMはこのアイデアとフレームワークを適用すると同時に、ビットコインL1の特性に従ってそれを変換してBTC L2を開始しようとしています。もちろん、BTC はスマート コントラクトをサポートしておらず、L2 を実装することははるかに大きな課題です。 ZKM は、Entangled Rollup を通じて状態を ZKM ネットワークに集約し、検証された状態を他のエコシステムに渡そうとします。 BTC の資産セキュリティは、ローカルで制御可能なモデルを採用しています。たとえば、BTC は、少なくとも 1 つの誠実な当事者が存在する限り、L2 の分散型ソーティングの観点から、悪者が担保された BTC を奪うことはできません。コンテナ、トランザクションの包含、ファイナリティはすべて分散型で行われ、L2 のトランザクション バッチの実行も BTC スクリプトを通じて検証される予定です。

ZKM は、イーサリアム L2 オプティミスティック プルーフの BTC L2 バージョンと部分的に類似した OCP メカニズム (オプティミスティック チャレンジ プロセス) を導入しています。一般的なメカニズムは、ユーザーが資産を L2 (ZKM) にデポジットすると、その資産は事前に署名された n-of-n マルチ署名スクリプトにロックされ、署名者は通常、独立した第三者/監査人であるというものです。マルチ署名引き換えスクリプトは、指定されたチャレンジ期間後にアクティブ化され、署名者は事前にターゲット ユーザーにアセットを送信してチャレンジ フェーズを開始します。チャレンジフェーズでは、署名者はチャレンジスクリプトとアセットスクリプトを含むトランザクションに事前署名します。チャレンジ スクリプトを開始するには、入力 UTXO を支払うことでチャレンジを開始できます。オペレーターは、中間の計算トレースをアセット スクリプトに提供することでコミットメントをオープンしようとする必要があります。コミットメントを正常にオープンできない場合、検証者はチャレンジ期間の終了後にすべてのアセットを受け取るか、チャレンジアセットが署名者に与えられます。実行トレースはタップ ツリーを通じて送信され、ツリーの各葉は中間値を表します。各中間値は、前の値を入力として 1 回限りの署名を使用して計算されます。このアプローチを使用すると、BTC スクリプトはこの計算を直接実行し、オンチェーン資産検証を完了します。言い換えれば、ZKM は OCP メカニズムを通じてオフチェーン計算にセキュリティを提供し、L2 トランザクションが分散型シーケンサー ネットワークに確実に含まれるようにしようとします。

zkVM は常に暗号化の分野における重要な基礎研究の 1 つであり、ZKM の zkVM はそのタイプの 1 つです。 RSIC および SP 1 との違いの 1 つは、ZKM が Golang のネイティブ サポートを提供していることです。 (RSIC と SP 1 は Rust をサポートします) ZKM を使用すると、Golang 開発者は標準の Golang コンパイラを使用してコードを MIPS 命令にコンパイルし、ZKM の証明ネットワークを使用してその実行を証明できます。同時に、ZKM は将来的に Rust もサポートする予定です。

市場はBTCチェーン上の資産の安全性に注目することに加えて、ZKM L2自体がどのように持続可能性を達成できるかにも注目しています。持続可能であるためには、ネットワークに関わるすべての関係者が継続的に収入を得る機会を持つ必要があります。 ZKM の BTC L2 では、分散型ソーターの概念が導入され、これらのソーター ノードは貢献に基づいて報酬収入を受け取ります。 ZKMは、トークンの40％をマイニング参加者（シーケンサーノード、流動性ステーキング、プルーフネットワークマイニングへの参加を含む）に報酬を与える予定です。つまり、シーケンサー ノードは、L2 トランザクションからガス料金を取得するだけでなく、マイニングからも収益を得ることができます。

現在の傾向によれば、ネイティブ L2 と EVM 互換 L2 の両方の観点から、BTC L2 の探索は継続されます。ネイティブ L2 の側面は、そのネイティブ性により、内部の生態学的緊張の探索にあります。 L2 との EVM 互換性の点で、BTC エコシステムを拡張するだけでなく、より多くのエコシステムを統合するための探求の方向性も提供します。