不幸な道を設計する:BitVM2アーキテクチャの理解 パート2:BitVM2の実用的なブロッカー BitVM2は強力なブリッジフレームワークですが、「理論上は動く」というのがビットコインの基準ではありません。基準は、不幸な道が安価で明確かつインセンティブに適合しているかどうかです。 zkRollupスタイルのBitVM2展開では、3つの実用的なブロッカーがすぐに現れます。 1. 誤った状態の証明 チャレンジされたペグアウト中、オペレーターは誤った/フォークされたL2履歴に対して有効な証明を試みることができます。「最新の状態」が客観的に決定されなければ、内部的には正しい証明であっても経済的には不正になることがあります。 2. ユーザーは任意の金額を引き出すことはできません クラシックなBitVM2のペグアウトは、固定されたL1ペグイン量とオペレータースタイルのフローに紐づいています。エンドユーザーが「x BTC」を引き出すためだけにオペレーターのワークフローを実行することを期待することはできません。 3. インセンティブは誠実な俳優に確実に報酬を支払わない 挑戦者が安定した報酬を得られなければ、視聴をやめてしまいます。一つの特定の失敗モードは、チャレンジに資金を出したり開始したりするエンティティが、必ずしも最終的な反証ステップを決めるエンティティとは限らないため、報酬が他の人に奪われることがあるということです。 GOAT BitVM2の設計はこれらを直接ターゲットにしており、3つのアーキテクチャ的動きを施しています。 • シーケンサーセットをビットコインにコミットし、「標準的なL2状態」を外部にアンカー化します。 • オペレーター/チャレンジャー担保をL2に移動させる + アトミックスワップの引き出しフローを使い、ユーザーが任意の金額をきれいに引き出し、オペレーターはL2プルーフで自己返済する。 • 混乱した回線+DV-SNARKによる紛争オーバーヘッドを削減し、チャレンジパスを運用的に実現可能にすること。 次回はパート3で、シーケンサーセットをコミットすることでビットコインの正準的なL2視点を固定するとはどういうことか、そしてなぜこれが「間違った状態を証明する」出口を閉じるのかについてです。