工程不愉快的路徑：理解 BitVM2 架構 第四部分：用戶流的提款 提款是標準設計變得以操作員為中心的地方：固定的 peg-in UTXO、預簽名圖形和時間鎖滲透到用戶體驗中。 這就是為什麼 GOAT BitVM2 將「用戶獲得 BTC」與「操作員獲得報銷」分開。 1) 用戶提款 = 原子交換（簡單，任意金額） 提款被定義為原子交換 + Peg-Out。 在基本流程中： • 用戶在 L2 中鎖定 PegBTC 在 HTLC（哈希鎖定）中。 • 操作員在 L1 中鎖定 BTC 在匹配的 HTLC 中。 • 用戶索取 BTC 並揭示預影像。 • 操作員使用該預影像來索取 PegBTC。 這使得用戶可以在不需要參與 BitVM2 交易圖形機制的情況下獲得「金額 X」的提款。 規範還指出了用戶體驗的改進（例如，使用 Bitcoin SPV）以避免用戶手動處理預影像。 2) 操作員報銷 = peg-out，根據標準 L2 狀態證明 在交換後，操作員通過 peg-out 路徑退出，並根據 L2 狀態轉換證明獲得報銷，而不是依賴用戶級協調。 在操作上，操作員的角色明確包括「將 PegBTC 與用戶交換為原生 BTC」，然後運行證明/報銷工作流程。 最終效果： • 用戶獲得一條不需要「操作員行為」的任意金額提款路徑。...