GOAT ネットワークが BitVM2 テクノロジーに基づくテストネットを立ち上げるのを見て、注目に値する実装の 1 つは、リアルタイムのプルーフ オブ ビットコイン ZK ロールアップです。 高速 ZK ロールアップ証明を有効にすることは、BTC L2 のインフラストラクチャにとって重要な開発です。 ユーザーエクスペリエンスの観点から見ると、抽出時間が以前に比べて大幅に改善され、より多くの開発者が参加し、ユーザーの注目を集めるのに役立ちます。 では、技術的に簡単に理解するにはどうすればよいでしょうか? まず、GOATネットワーク上でのビットコインL2の実装プロセスを見てみましょう。 GOATネットワークは、BitVM2およびzkMIPSテクノロジーを使用してネイティブBTC利回りをサポートするビットコインL2ベースのソリューションです(つまり、参加者はより多くのBTCを獲得する機会があります)。 そのプロセスには、主にブリッジイン、ブリッジアウト、シーケンサーセットコミットメント、およびリインバセメントが含まれます。 ブリッジングは主に BTC を taproot スクリプト (誰も秘密鍵を制御しません) にステーキングし、リレイヤーがそれを Goat のコントラクトに送信することです。 委員会は BitVM2 トランザクション フローを構築し、オペレーターは IPFS に事前署名して存在し、ユーザーの検証後、中継者は L2 上で PegBTC を発行します。 ブリッジアウトは出金であり、ユーザーはオペレーターとアトミック トランザクションを実行し (ユーザーはオペレーターになることもできますが、望まない場合はオペレーターを通じて出金を完了できます)、L2 上の PegBTC を破棄し、オペレーターが払い戻しプロセスを開始します。 シーケンサーのコミットメントとは、主に、ビットコインのライト クライアント メカニズムの検証をサポートするために、委員会がマークル ツリーを定期的に使用して将来のシーケンサー セットをコミットすることを指します。 BTC でコミットされたバリデーターのセットは、L2 ブロックのコンセンサスを検証するために使用されるライト クライアント メカニズム検証を通じて、その後のゼロ知識証明検証のパブリック入力として使用されます。 払い戻しプロセスは、BTC をステーキングして出金を送信するオペレーターのトランザクション ID と最新のブロック ハッシュです。 チャレンジャーはオフチェーンとオンチェーンの検証を行い、チャレンジがなければオペレーターが資金を受け取ります。 チャレンジャーはチャレンジを提案することもでき、チャレンジが発生した後、ビットコイン スクリプトを通じてインタラクティブな検証を実行できるバリデーターがランダムに生成されます。 チャレンジ期間は約1日(約144BTCブロック)に短縮され、ファイナリティに必要な時間が圧縮されます。 さらに、分散型シーケンサーを使用し、オペレーターは参加するために BTC をステーキングし、経済モデルの L2 ガス料金はネイティブ BTC 収入を生み出します。 リアルタイム証明の ZK ロールアップに焦点を当て、まずロールアップ テクノロジーについて話しましょう。 GOAT ネットワークは、複数の L2 トランザクションをバッチ (バッチ) にパッケージ化し、オフチェーンで実行して ZK 証明を生成し、ビットコイン メイン チェーンによって検証され (BitVM2 の Assert/Disprove ステージ検証など)、ZK 証明の利点は、すべてのトランザクションの詳細をアップロードする必要がないことです。 さらに、イーサリアムの zksync や Starknet とは異なり、Goat はビットコイン Taproot スクリプトなどのネイティブ メカニズムを使用して状態更新を固定し、外部ブリッジングやマルチ署名メカニズムへの依存を回避します。 それでは、その Zk ロールアップ テクノロジーを簡単に見てから、リアルタイム証明メカニズムを見てみましょう。 GOAT ネットワークのドキュメントによると、リアルタイム証明生成は zkMIPS エンジンを使用して、パイプライン並列証明アーキテクチャ + 分散 GPU 証明者ネットワークを通じて迅速な証明生成を実現します。 まず、ブロック証明の生成では、実行軌跡シャーディングと並列証明技術を使用して、ロールアップ状態遷移が正しいかどうかを検証します。 2 つ目は、複数のブロック証明を再帰的に圧縮する集計証明です。 最後に、BitVM2 で検証できる少量の証明に圧縮された SNARK 証明 (Groth16) があります。 リアルタイムの証明を実現するために、上記の証明生成は単行で処理されるのではなく、パイプライン化された並列処理メカニズムを採用しており、主に ZKM の zkVM「Ziren」テクノロジーに依存して実装し、GPU アクセラレーションと分散証明者ネットワークと組み合わせて、テストネットの現在の公式 Web サイト データによると、ブロック証明は平均約 2.6 秒、集計証明は平均 2.7 秒、SNARK 証明は約 10.38 秒です。 ユーザーは、フロントエンド ページを通じて、各出金の完全な ZK 証明生成プロセスをリアルタイムで表示できます。 ZK 証明が 1 分以内に完了できれば、ユーザーの出金速度が大幅に加速されることを意味し、以前の一部のビットコイン L2 ネットワーク出金は開始されるまでに数時間待つ必要があります。 もちろん、ユーザーの最終到着時間はビットコインメインネットの取引状況にも依存します。 ただし、出金に関しては待つ必要はなく、基本的にビットコインチェーン上で取引を開始する時間体験に近いです。 リアルタイム証明は、出金に加えて、開発者が高頻度の L2 アプリケーションの構築を促進し、EVM とも互換性があるため、イーサリアム エコシステムの開発者を惹きつけることができます。 オペレーターにとっては、バッチ証明書を待つ必要がなく、資本効率も向上します。 ZK テクノロジーは比較的複雑であり、長期的なセキュリティの証明にもある程度の時間が必要です。 ただし、リアルタイム証明の実装は、ビットコイン L2 の技術インフラストラクチャにおける重要な進歩です。 もちろん、ビットコイン L2 にはまだ長い道のりがあり、技術インフラストラクチャの構築に加えて、ユーザーのニーズをマイニングし、開発者がビットコイン L2 アプリケーションを構築するよう促進することにも、最終的にはビットコイン L2 エコシステムがフライホイールの成長を達成するのに十分な取引手数料を持つことになるため、さらなる努力が必要です。 その中には比較的明確なニーズがあり、つまり、多くのBTC保有者も収入を得たいと考えており、これはイーサリアムチェーン上のBTC(wBTCなど)の数からもわかり、現在イーサリアムチェーンには15万BTC以上がラップされており、その価値は150億ドルを超えています。 BTC チェーンに基づくネイティブ セキュリティが実現できれば、より多くの BTC 保有者が BTCFI を通じて収入を得ようとするでしょう。