GOATはリアルタイムZK Rollupテストネットを発表：​​ネイティブBTCの収益の新たな可能性？

GOATネットワークがBitVM2技術に基づくテストネットを立ち上げたのを見ました。その中で注目すべき実装があります：リアルタイム証明のビットコインZKロールアップ。迅速なZKロールアップ証明を実現しており、これはBTC L2の基盤にとって重要な発展です。ユーザー体験の観点から見ると、引き出し時間に関して以前よりも大きな効率向上が見られ、これによりより多くの開発者の参加とユーザーのフォローを促進することが期待されます。

では、技術的にどのように簡単に理解できますか？

まずGOATネットワークのビットコインL2の実現プロセスを見てみましょう。GOATネットワークはビットコインL2のソリューションに基づいており、BitVM2とzkMIPS技術を使用して、ネイティブBTCの収益（つまり、参加者がより多くのBTCを獲得する機会がある）をサポートしています。そのプロセスは主にブリッジイン（Bridge in）、ブリッジアウト（Bridge out）、シーケンサーコミットメント（Sequencer Set Commitment）、および払い戻し処理（Reimbursement）などを含みます。ブリッジインは主にBTCをtaprootスクリプト（無人管理のプライベートキー）に質入れし、中継者がそれをGoatの契約に提出することです。委員会はBitVM2トランザクションフローを構築し、オペレーターは事前に署名し、IPFSに保存します。ユーザーが確認した後、中継者がL2でPegBTCを発行します。ブリッジアウトは引き出しであり、ユーザーはオペレーターと原子取引を行います（ユーザー自身もオペレーターになれますが、自分がやりたくない場合はオペレーターを通じて引き出すことができます）、L2上のPegBTCを破棄し、オペレーターが払い戻し処理を開始します。BTCメインチェーン上でPeg-OUTトランザクションを行う必要はありません。シーケンサーコミットメントは主に委員会が定期的にMerkleツリーを使用して将来のシーケンサーセットをコミットし、ビットコインライトクライアントメカニズムの検証をサポートすることを指します。ライトクライアントメカニズムを通じて、BTC上でコミットされた検証者セットを後のゼロ知識証明の検証における公共入力として利用し、L2ブロックの合意性の検証を実現します。払い戻し処理では、オペレーターがBTCを質入れし、出金のトランザクションIDおよび最新のブロックハッシュを提出します。チャレンジャーはオフチェーンおよびオンチェーンの検証を行い、異議がなければオペレーターが資金を受け取ります。チャレンジャーは異議を提起することもでき、異議が発生した場合、ランダムに検証者が生成され、検証者はビットコインスクリプトを通じてインタラクティブな検証を実行します。異議期間は約1日（約144のbtcブロック）に短縮され、最終的な時間を圧縮します。また、分散型のシーケンサーを使用し、オペレーターがBTCを質入れして参加し、経済モデルの中でL2のガス料金などがネイティブBTCの収益を生成します。

リアルタイムプルーフのZK Rollupに注目し、まずはRollupテクノロジーから見ていきましょう。 GOATネットワークは、複数のL2トランザクションをバッチ(バッチ)にパッケージ化し、オフチェーンを実行してZKプルーフを生成し、ビットコインのメインチェーン(BitVM2のアサート/ディスポーズステージ検証など)によって検証され、ZKプルーフの利点は、すべてのトランザクションの詳細をアップロードする必要がないことです。 さらに、イーサリアムのzksyncやStarknetとは異なり、GoatはビットコインのTaprootスクリプトなどのネイティブメカニズムを使用して状態の更新を固定するため、外部ブリッジングやマルチシグメカニズムへの依存を回避できます。

さて、Zk Rollup技術について簡単に理解したところで、次にリアルタイム証明のメカニズムを見てみましょう。GOATネットワークの文書によると、そのリアルタイム証明生成はzkMIPSエンジンを使用しており、パイプライン並列証明アーキテクチャと分散GPU証明者ネットワークを通じて証明の迅速な生成を実現しています。まずはブロック証明生成で、実行トレースの分割と並列証明技術を使用してRollupの状態遷移が正しいかを検証します。次に、複数のブロック証明を再帰的に圧縮する集約証明があります。最後に、SNARK証明（Groth16）は、BitVM2上で検証可能な小さな体積の証明に圧縮されます。

リアルタイム証明を実現するために、上記の証明生成は単一行処理ではなく、パイプライン（Pipelined）並列処理メカニズムを採用しており、主にZKMのzkVM「Ziren」技術に依存して実現しています。さらにGPUアクセラレーションと分散型の証明者ネットワークを加え、テストネットの現在の公式データによれば、ブロック証明は約平均2.6秒、集約証明は平均2.7秒、SNARK証明は約10.38秒です。ユーザーはフロントエンドページを通じて、各引き出しの完全なZK証明生成プロセスをリアルタイムで確認できます。

もし1分以内にZK証明が完了できれば、ユーザーの出金速度が大幅に向上することを意味します。以前のいくつかのビットコインL2ネットワークの出金は数時間待たなければならないことがありましたが、迅速な証明があれば、ユーザーは証明生成後すぐに出金を開始できます。つまり、約1分以内にユーザーは出金を開始できるということです。もちろん、ユーザーの最終的な入金時間はビットコインメインネットの取引状況に依存します。しかし、出金に関しては待つ必要がなく、つまり、出金はビットコインチェーン上で取引を開始するのとほぼ同じ時間体験に近いです。

引き出しを除いて、リアルタイム証明も開発者が高頻度のL2アプリケーションを構築することを促進します。また、EVMに対応することで、イーサリアムエコシステムの開発者を引き付けることもできます。オペレーターにとっては、バッチ証明を待つ必要がなく、資金効率を向上させることができます。ZK技術は比較的複雑で、長期的な安全性も一定の時間の証明が必要です。しかし、リアルタイム証明の実現はビットコインL2にとって技術的基盤の重要な進歩です。もちろん、現在のビットコインL2にはまだ遠い道のりがあります。技術基盤の構築だけでなく、ユーザーのニーズを掘り起こし、ビットコインL2アプリケーションを構築する開発者を促進するために、さらに多くの努力をする必要があります。最終的には、ビットコインL2エコシステムが形成されることで、取引手数料が十分に得られ、フライホイールの成長を実現できるからです。その中で、比較的明確なニーズの1つは、多くのBTC保有者が利益を得たいと考えていることです。これは、イーサリアムチェーン上のBTC（例えばwbtcなど）の量からも見て取れます。現在、15万以上のBTCがイーサリアムチェーンに包まれており、その価値は150億ドルを超えています。もしBTCチェーンのネイティブな安全性に基づくことができれば、より多くのBTC保有者がBTCFIを通じて利益を得ることを試みるでしょう。