我的知識庫

區塊鏈 · 2026-07-20

閱讀時間約 12 分鐘

比特幣本身故意做得很笨:沒有圖靈完備的智能合約、出塊十分鐘、每個區塊只有幾 MB 空間。這是安全的代價,也是十五年來 BTC 幾乎沒被攻破的原因。但「安全又笨」擋不住市場想在全世界最硬的資產上做 DeFi 的慾望,於是 2024–2026 這波比特幣 Layer 2 (L2) 浪潮的核心命題只有一個:如何在不修改比特幣共識的前提下,把 BTC 搬到一條能跑合約的鏈上,同時把「橋」的信任假設壓到最低。答案的關鍵字叫 BitVM。

📖 學（核心）

為什麼比特幣需要 L2,而且和以太坊的 L2 不一樣

以太坊的 L2 (rollup) 可以把交易資料與有效性證明直接發回 L1,由 L1 上的合約驗證。比特幣沒有這種能力——它的腳本語言 (Script) 刻意不圖靈完備,不能在鏈上跑一段任意程式來驗證 rollup 的狀態轉換,也沒有 keccak、橢圓曲線配對這類 opcode。這代表比特幣 L2 無法照抄以太坊的 rollup 架構,只能繞路。

實務上 2026 年的比特幣 L2 分成幾種路線:Lightning Network 走支付通道,已經是成熟的即時小額支付基建;Stacks、Rootstock 走側鏈或錨定鏈,用自己的共識跑合約再週期性把狀態摘要寫回 BTC;Babylon 走比特幣質押,讓 BTC 為其他 PoS 鏈提供安全性。這些方案共同的痛點都在同一個地方:橋。把 BTC 鎖進 L2、再把資產贖回 L1 的那道門,歷來都是最脆弱的一環。

舊橋的原罪:託管與多簽

WBTC、renBTC 這類包裝比特幣,本質上是「你把 BTC 交給一個託管方或一組多簽簽署人,他們在另一條鏈上幫你鑄一個 IOU」。安全模型是 t-of-n 誠實多數:只要超過門檻的簽署人合謀,你的 BTC 就會消失。renBTC 的崩盤、各種跨鏈橋被駭損失數十億美元,都在證明這個模型的中心化風險是真實的。比特幣人最不能接受的,就是為了做 DeFi 反而把 BTC 交回給一個可被賄賂、可被脅迫、可能自己捲款的委員會。

理想的橋應該做到 1-of-n 存在性誠實 (existential honesty):只要 n 個參與者裡至少有一個誠實,你的資金就安全。這是質的差異——從「多數人不作惡」降到「只要有一個人不作惡」。BitVM 就是為了把橋的信任假設拉到這個層級而生。

BitVM2:把樂觀計算搬到比特幣上

BitVM 的洞見是:比特幣腳本雖然不能直接跑複雜運算,卻能驗證一段「這個運算被錯誤執行」的證據。於是它不在鏈上算,而是樂觀假設 (optimistic) 執行者是誠實的,只有當有人質疑時,才把爭議放到鏈上用一連串腳本來裁決——這就是欺詐證明 (fraud proof),邏輯上和以太坊的 optimistic rollup 同源。

BitVM2 相較最初版本有三個關鍵進步:

  • 允許無需許可的挑戰 (permissionless challenging):任何人都能當挑戰者揪出作弊的操作者 (operator),不再侷限於預先指定的一組驗證者,這正是 1-of-n 安全的來源。
  • 鏈上交易數大幅減少:透過 SNARK 證明驗證腳本搭配樂觀計算,爭議在正常情況下只需要極少的鏈上交易(理想路徑約三筆)就能解決,不再需要早期版本那種漫長的逐位元互動挑戰。
  • 不需要比特幣共識層改動:全部用現有的 Taproot、Schnorr 簽章與既有 opcode 拼出來,不用軟分叉,這是它能在 2026 年真的上線而非停留在論文的原因。

運作流程大致是:操作者在 L1 為使用者的贖回墊付 BTC,同時對外公開「我這筆處理是正確的」的承諾。若他撒謊,任何挑戰者可以拿出反例,觸發鏈上的 disprove 腳本,沒收操作者事先鎖定的保證金。誠實時所有人省事;作弊時作弊者賠光——賽局把作惡變成不划算。Bitlayer 等專案在 2026 年已經推出以此為基礎的 BitVM Bridge,把 BitVM 從研究論文推進到早期實作。

BitVM3 與更前沿的方向

BitVM 的演進沒停。BitVM3 引入混淆電路 (garbled circuits) 來讓橋更有效率,目標是進一步壓低鏈上成本與資本佔用;學術界也出現像 BATTLE 這類設計,探討如何用大型委員會做「資本效率高的樂觀橋」。方向是一致的:在保住 1-of-n 安全的同時,讓操作者不用鎖那麼多保證金、讓爭議解決更便宜。這是比特幣 DeFi 能不能規模化的技術瓶頸。

2026 年 7 月的即時進展:$DOG Mode 與資料層之爭

L2 的熱鬧也把壓力送回 L1。2026 年 7 月 17 日,開發者 Leonidas 發布名為 $DOG Mode 的開源比特幣客戶端,主張把單筆交易的重量上限從 40 萬 weight units 拉高到 390 萬 WU,並把粉塵限制 (dust limit) 降到 1 satoshi,方便把整個 Ordinals 銘文集合或大檔案塞進單一交易。這觸及比特幣社群長年的路線之爭:比特幣到底該不該被當成資料層與資產發行層,還是純粹的價值結算層?

這件事和 L2 直接相關:當 Ordinals、Runes 把 L1 區塊塞爆、手續費飆高,更多活動被推向 L2——在 L2 上銘刻再批次把狀態寫回比特幣,成本可以低 10 到 100 倍,同時繼承比特幣的安全性。換句話說,L1 的擁堵不是 L2 的敵人,反而是 L2 敘事最強的推力。

🧠 記

  • 比特幣 Script 刻意不圖靈完備,無法在鏈上驗證任意運算,所以比特幣 L2 不能照抄以太坊 rollup。
  • 2026 年比特幣 L2 主流路線:Lightning(支付通道)、Stacks/Rootstock(側鏈/錨定鏈)、Babylon(BTC 質押),共同痛點都是「橋」。
  • 舊橋 (WBTC、renBTC) 是 t-of-n 誠實多數的託管/多簽模型,合謀即失守,中心化風險真實存在。
  • 理想橋是 1-of-n 存在性誠實:只要有一個誠實參與者資金就安全,BitVM 把信任降到這個層級。
  • BitVM 用樂觀計算 + 欺詐證明:平常假設操作者誠實,被質疑時才在鏈上跑腳本裁決作弊。
  • BitVM2 三大進步:無需許可的挑戰、鏈上交易大減(理想約三筆)、不需比特幣共識改動(靠 Taproot/Schnorr)。
  • BitVM3 用混淆電路提升橋的效率;方向是保住 1-of-n 同時降低保證金與爭議成本。
  • 2026-07-17 Leonidas 發布 $DOG Mode 客戶端,擬放寬交易大小與粉塵限制,重燃比特幣「資料層 vs 結算層」路線之爭。

✍️ 實踐

  1. 分辨你手上的「比特幣」是哪一種:是 L1 原生 BTC、託管型 WBTC、還是 BitVM 橋鑄出的資產?查清楚它的贖回信任假設是 t-of-n 還是 1-of-n。
  2. 讀一次 BitVM Bridge 的官方文件,把「操作者墊付 → 承諾 → 挑戰 → disprove 腳本沒收保證金」這條爭議流程用自己的話畫成一張圖。
  3. 用測試網(如 Bitlayer testnet)實際跑一次存入與贖回,親身感受確認時間與手續費,別只看白皮書。
  4. 檢視任何比特幣 L2 專案時,直接問三個問題:橋的信任假設?挑戰是否無需許可?是否需要比特幣軟分叉?答不清楚就先別放大額資金。
  5. 追蹤 L1 資料層之爭(Ordinals/Runes/$DOG Mode),因為 L1 手續費走勢會直接決定 L2 的需求強弱。
  6. 把「1-of-n vs t-of-n」當成你評估所有跨鏈與橋接產品的通用尺,不限於比特幣。

🔗 延伸學習

💬 問 AI

我想理解比特幣 L2 與 BitVM 橋的信任模型。請根據以下條件幫我分析:

- 我持有的資產:{BTC 數量與目前形式,例如原生 BTC / WBTC / L2 包裝資產}
- 我想達成的目標:{例如在 L2 上做借貸、提供流動性、長期持有}
- 我能接受的信任假設:{t-of-n 誠實多數 / 只接受 1-of-n 存在性誠實}
- 我在意的風險:{橋被駭 / 操作者作惡 / 贖回延遲 / 手續費}

請幫我:
1. 用 t-of-n vs 1-of-n 的框架,比較 {候選 L2/橋:例如 Bitlayer、Stacks、Rootstock} 的安全模型差異。
2. 解釋 BitVM2 的「樂觀計算 + 欺詐證明」在我的使用情境下,實際保護了什麼、又沒保護什麼。
3. 針對 {我的目標},給出一個把資金風險最小化的操作順序,並標出每一步的信任假設。

反向連結