BitVM橋在比特幣主網首次成功執行

近日，一項重大突破在比特幣主網上實現：首個BitVM橋的實時用例成功執行。這一裏程碑式的成就不僅展示了BitVM橋的全部功能和強大安全性，更證明了在處理非標準交易（NSTs）方面的重要進展——這一直是BitVM橋面臨的主要挑戰。

此前，BitVM的潛力首次在專用測試網bitvmnet上得到展示。爲了在測試網上進行有效的原型設計，開發團隊不得不修改比特幣核心客戶端以適應NSTs，這些交易通常超過比特幣默認內存池策略允許的400KB限制。在主網上克服NST問題成爲產品落地的最後關鍵一步。

最近，一些礦池宣布將致力於解決NST挑戰。令人振奮的是，這些礦池的API已成功處理了來自BitVM橋的首批實時NSTs，以響應真實用戶的請求。

本次主網演示包括兩個完整的BitVM橋用例。值得注意的是，其中一個案例涉及處理兩種不同的NSTs：Assert交易和Disprove交易。這次演示有力地證明了BitVM橋的能力以及與礦池合作的成功。

主網實況演示

演示中的角色

爲了說明橋的工作機制，主網演示包括：

• 充值用戶：通過將BTC橋入以太坊來啓動流程。
• 兩名Broker：
  • Broker A（惡意）：試圖通過無效的提現請求來竊取資金。
  • Broker B（誠實）：發起合法的提現過程。

準備工作：充值和創建橋實例

1. 充值用戶將0.0001 BTC存入BitVM智能合約。
2. 隨後，充值用戶在以太坊網路上鑄造了0.0001 Peg-BTC (YBTC)。

案例1：誠實Broker成功提現

此場景演示了一個誠實的Broker在以太坊上銷毀其Peg-BTC (YBTC)後，成功取回其BTC和抵押品。這利用了BitVM橋的靈活提現功能。

1. Broker B在以太坊上銷毀了其YBTC。
2. Broker B在比特幣上發送了一個Kickoff交易以發起提款請求。
3. 在預定義的超時後，Broker B通過一個HappyTake交易成功取回了其BTC和抵押品。

此案例驗證了誠實參與者的樂觀提現路徑。

案例2：無效提現請求被拒絕

這個關鍵場景展示了BitVM橋安全模型的穩健性。一個惡意Broker（Broker A）試圖竊取資金，但涉及NSTs的欺詐證明協議成功挫敗了這次攻擊。

1. Broker A通過發送一個Kickoff交易發起了一個無效的提款請求。
2. 一個誠實的觀察者檢測到了欺詐行爲並發送了一個Challenge交易，迫使Broker A進入欺詐證明協議的"悲觀路徑"。
3. Broker A被迫揭示驗證者數據塊的所有中間值。此步驟涉及一個Assert交易，這是一個由合作礦池成功處理的NST。
4. 觀察者離線運行了所有數據塊並識別出不正確的一個，然後發送了一個Disprove交易以在鏈上重放錯誤的數據塊。這最終否決了無效的提款請求。Disprove交易也是一個NST，並再次在主網上成功處理。

此案例明確展示了BitVM橋懲罰惡意行爲者和保護用戶資金的能力，這關鍵地得益於主網對Assert交易和Disprove交易等NSTs的處理。

這次在比特幣主網上的成功實況演示是一個重要的裏程碑。它驗證了BitVM技術的可行性，展示了與礦池合作的成效，以及構建可擴展、安全和無需信任的比特幣基礎設施的潛力。這爲比特幣上新一代的去中心化金融應用鋪平了道路。