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 (YBTC)後，成功取回其BTC和抵押品的過程。

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技術的可行性、與礦池合作的有效性，以及構建可擴展、安全和無需信任的比特幣基礎設施的潛力。這爲比特幣上新一代的去中心化金融應用鋪平了道路。