工程不幸之路：理解 BitVM2 架構 第一部分：安全性存在於爭議路徑中 一個 Bitcoin L2 的生死取決於其不幸之路。 在 Bitcoin 上，你不能“在鏈上運行驗證器然後繼續”。你會得到一個受限的執行環境、預簽名的交易圖和定時鎖，這些都明確定義了每一方何時可以行動。 BitVM2 是一種對 Bitcoin 的樂觀執行模式：在鏈外執行，然後通過基於預簽名交易的鏈上爭議協議使正確性可執行。 這導致了一個簡單的工程規則：如果爭議成本高或可能因費用而被延遲，安全模型就根本無法運作。 基於 BitVM 的系統通過讓操作員在鏈外執行，然後給予任何人挑戰鏈上的能力，並在 1-of-n 誠實假設下強制協議進入爭議路徑（至少有一個誠實的挑戰者以確保有效性；至少有一個誠實的操作員以確保活躍性）。 這條爭議路徑就是機制。預簽名交易和一次性簽名（挑戰窗口、回應截止日期、最終化）是橋接及其出口的“運行時”。 因此，當我們談論在 BitVM2 上構建時，北極星不是像“無信任”這樣的市場術語。 北極星是： • 足夠便宜的爭議以便執行， • 足夠客觀的鏈上下文以防止“證明錯誤狀態”退出， • 在真實費用條件下持續進行的交易流。 本系列將逐步解析我們如何在 GOAT BitVM2 設計中應對這些限制，逐一介紹。 第二部分即將來臨：在 Bitcoin 上部署生產就緒的 zkRollup 的實際障礙。