BitVM橋在比特幣主網首次成功實施

近日，比特幣主網上成功執行了兩個BitVM橋的實時用例，這是該技術發展的一個重要裏程碑。這不僅展示了BitVM橋的全面功能和強大安全性，更證明了在處理非標準交易(NSTs)方面的突破性進展，這一直是BitVM橋面臨的主要挑戰。

早在3月31日，開發團隊就在專用測試網bitvmnet上首次展示了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 (YBTC)後，成功取回其BTC和抵押品。這利用了BitVM橋的靈活提現功能。

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

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

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

這個關鍵場景展示了安全模型的穩健性。一個惡意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的處理。

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