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

近日，一項重大突破在比特幣主網上實現：首個BitVM橋用例成功執行。這一成就不僅展示了BitVM橋的全面功能和安全性，更證明了與礦池合作在處理非標準交易(NSTs)方面的有效性，解決了BitVM橋長期面臨的一個關鍵挑戰。

此前，開發團隊曾在專用測試網上展示BitVM的潛力。爲了在測試網上進行原型設計，團隊不得不修改比特幣核心客戶端以適應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後，成功取回BTC和抵押品的過程。

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

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

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

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

1. Broker A發送Kickoff交易發起無效提款請求。
2. 誠實觀察者檢測到欺詐行爲並發送Challenge交易，迫使Broker A進入欺詐證明協議的"悲觀路徑"。
3. Broker A被迫通過Assert交易（NST）揭示驗證者數據塊的所有中間值。
4. 觀察者離線運行所有數據塊，識別出不正確的一個，然後發送Disprove交易（NST）在鏈上重放錯誤的數據塊，最終否決了無效的提款請求。

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

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