ZKMがBTC L2レースに参入することをどう見るか？

執筆：藍狐ノート

ZKMがBTC L2分野に参入したことに伴い、この分野はイーサリアムL2と同様にますます競争が激化する可能性がある。最終的な市場構造については、技術と市場の進化を見守る必要がある。

ZKMの基盤技術はzkVMであり、その最終目標はzkVM技術をより多くのプロジェクトやエコシステムで採用され、インフラとして定着させることにある。たとえば、イーサリアム、ビットコイン、Cosmosなどの異なるエコネットワーク間の資産を接続し、流動性を高めることも可能になる。このような大きな枠組みの中で、ZKMがなぜBTC L2分野に参入するのかという戦略的意図が理解できる。

技術的ソリューションに戻ると、ZKMのコア技術は主に「Entangled Rollupアーキテクチャ＋zkVM」の二つに分けられる。これらは市場における2つの主要な課題に対処している。第一に資産の安全性の確保、第二にネットワーク自体の持続可能性の実現である。

現在、クロスチェーンのセキュリティは市場の注目を集めている。ZKMは「Entangled Rollup Network（絡み合ったロールアップネットワーク）」メカニズムを導入し、再帰的なゼロ知識証明（ZKP）技術を用いてブロックチェーン間の状態を同期することで、従来のブリッジ方式に依存せずに資産のクロスチェーンを実現しようとしている。このフレームワークは以前、イーサリアム上で実装された例があり、それがMetisのOptimistic Rollup方式である。ZKMはこの考え方とフレームワークを応用し、ビットコインL1の特性に合わせて調整を加えることで、独自のBTC L2を展開しようとしている。ただし、BTCはスマートコントラクトをサポートしないため、L2を実現することははるかに大きな挑戦となる。ZKMはEntangled Rollupを通じて状態をZKMネットワークに集約し、検証済みの状態を他のエコシステムに伝達することを目指している。BTC資産の安全性についてはローカル制御モデルを採用しており、例えばBTCはマルチシグスクリプトによって管理され、少なくとも1人の正直な当事者が存在すれば、悪意のある者による质押されたBTCの不正引き出しは不可能となる。一方、L2側では分散型のオーダリングノード（sequencer）を採用し、トランザクションの取り込みおよび最終確定は分散型の方法で行われる。また、L2のトランザクションバッチの実行検証も、将来的にはBTCスクリプトによって行われる予定だ。

ZKMはOCP（Optimistic Challenge Process）メカニズムを導入しており、これはイーサリアムL2のオプティミスティックプロウイングに類似した、BTC L2向けの仕組みと言える。概要としては、ユーザーが資産をL2（ZKM）に預けると、その資産はn-of-nのマルチシグスクリプトにロックされる。署名者は通常、独立した第三者または監査機関が務める。マルチシグの交換スクリプトは指定されたチャレンジ期間後に有効化され、署名者は事前にターゲットユーザーに資産を送信し、チャレンジフェーズを開始する。このフェーズ中、署名者はチャレンジスクリプトと資産スクリプトを含むトランザクションを事前署名する。チャレンジスクリプトを発動するには、UTXOへの支払いを入力として開始でき、運営者に対して資産スクリプトに中間計算の追跡を提示してコミットメントを開くよう要求する。もしコミットメントが正常に開けない場合、チャレンジ期間終了後に検証者がすべての資産を受け取るか、あるいはチャレンジ資産が署名者に渡る。計算の追跡はTapTreeを用いて提出され、ツリーの各リーフは中間値を表す。各中間値はワンタイム署名を使って計算され、前の値がその入力となる。この方法により、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では、分散型オーダラー（sequencer）の概念を導入しており、これらのノードは貢献度に応じて報酬を得る。ZKMはそのトークンの40%をマイニング参加者（オーダラー参加者、流動性ステーキング参加者、証明ネットワークマイニング参加者）に報酬として分配する予定だ。つまり、オーダラーはL2のガス代に加えて、マイニング報酬からも収益を得ることができる。

現在のトレンドから見ると、BTC L2に関する探求は今後も続いていくだろう。ネイティブL2とEVM互換L2の両方において進展が期待される。ネイティブL2は内部エコシステムの拡張性を探るものであり、その純粋性ゆえに多数の支持者を抱えている。一方、EVM互換L2はBTCエコシステムの拡張にとどまらず、複数のエコシステム統合の方向性を示す試みでもある。