不幸な道を設計する:BitVM2アーキテクチャの理解 パート4:ユーザーフローとしての離脱 撤退は標準設計がオペレーター中心になる部分であり、固定されたペグインUTXO、事前署名されたグラフ、タイムロックがユーザー体験に漏れ出します。 だからこそGOAT BitVM2は「ユーザーがBTCを受け取る」と「オペレーターが払い戻しを受ける」を分けています。 1) ユーザー引き出し = アトミックスワップ(単純で任意の金額) 引き出しとはアトミックスワップ+ペグアウトと定義されます。 基本的な流れでは: ・ユーザーがHTLCでL2にPegBTCをロック(ハッシュロック)する。 ・オペレーターがマッチングHTLCでL1にBTCをロック。 ・ユーザーがBTCを主張し、原像を明かす。 ・オペレーターがそのプリイメージを使ってPegBTCを取得。 これにより、ユーザーはBitVM2のトランザクショングラフの仕組みに参加することなく「金額X」の引き出しが可能になります。 仕様書には、ユーザーが手動でプリイメージを扱う必要を避けるため、ビットコイン SPVの使用などUXの改善も記載されています。 2) 演算子のリリ戻し = ペグアウト、正準L2状態に対して証明 スワップ後、オペレーターはペグアウト経路を経由して退出し、ユーザーレベルの調整に頼らず、L2状態遷移の証明に基づいて報酬を受け取ります。 運用面では、オペレーターの役割には「ユーザーとPegBTCをネイティブBTCに交換する」ことが含まれ、その後プルーフ/リベンシメントのワークフローを実行します。 純効果: • ユーザーは「オペレーターの行動」を必要としない任意の金額の引き出し経路を得られます。...