工程不幸之路：理解 BitVM2 架構 第二部分：BitVM2 的實際障礙 BitVM2 是一個強大的橋接框架，但「理論上可行」並不是 Bitcoin 的標準。標準是，不幸的路徑是否便宜、明確且具激勵相容性。 在 zkRollup 風格的 BitVM2 部署中，三個實際障礙很快就會出現： 1. 證明錯誤的狀態 在挑戰的 peg-out 過程中，操作員可以嘗試使用有效的證明來證明不正確/分叉的 L2 歷史。如果「最新狀態」沒有客觀確定，證明可能在內部是正確的，但在經濟上是欺詐的。 2. 用戶無法提取任意金額 經典的 BitVM2 peg-out 與固定的 L1 peg-in 金額和操作員風格的流程相關聯。最終用戶不能被期望僅僅為了提取「x BTC」而運行操作員工作流程。 3. 激勵無法可靠地支付誠實的行為者 如果挑戰者無法持續獲得報酬，他們就會停止監視。一種特定的失敗模式是：資助/發起挑戰的實體不一定是最終證明失敗步驟的實體，因此獎勵可能會被其他人獲得。 GOAT BitVM2 設計直接針對這些問題，採取了三個架構措施： • 在 Bitcoin 上提交序列器集，以便「標準 L2 狀態」得到外部錨定。 • 將操作員/挑戰者的抵押品移至 L2 + 使用原子交換提取流程，以便用戶能夠乾淨地提取任意金額，同時操作員通過 L2 證明來報銷自己。 • 通過混淆電路 + DV-SNARK 減少爭議開銷，使挑戰路徑在操作上可行。 第三部分即將來臨：提交序列器集在 Bitcoin 上錨定標準 L2 視圖的意義，以及為什麼這能關閉「證明錯誤狀態」的退出。