OP-DLC 2: 大道至簡

2018年，麻省理工學院的Tadge Dryja提出了一種基於預言機的合約執行框架—Discreet Log Contract (DLC)。DLC允許雙方根據預定義條件進行有條件支付，通過預籤名和預言機簽署結果來執行支付。這種方式在保證比特幣存款安全的同時，實現了新的去中心化金融應用。

前文總結了DLC的優勢和面臨的問題，並提出了一些優化方案。然而，由於DLC涉及多方參與，防御策略相對復雜。爲追求簡潔之美，我們需要回歸本質:在比特幣中，任何行爲都需通過UTXO實現。同理，DLC中的行爲都通過CET(Contract Execution Transaction)實現。因此,只需確保CET的正確性,即可抵御各種攻擊。

具體而言,我們可以引入樂觀挑戰機制來保證CET的正確性。預言機需質押2BTC才能簽署CET。如果CET未被挑戰或成功應對挑戰,則視爲正確並可執行結算,預言機解除質押並獲得手續費。若預言機試圖作惡,任何人都可以發起挑戰,導致該CET無法結算,預言機損失質押金並失去對該CET的籤名權。這種機制簡潔有效,符合"大道至簡"的理念。

DLC原理

以Alice和Bob就某區塊哈希值的奇偶性進行對賭爲例,說明DLC的基本原理:

1. 注資交易:Alice和Bob各自將10BTC鎖定在一個多重籤名輸出中。

2. 構建CET:雙方創建兩個CET,分別對應不同結果。

3. 結算:預言機根據實際結果簽署相應的CET。

4. 提幣:獲勝方計算出新私鑰並提取全部20BTC。

關鍵在於,所有行爲都通過CET實現。因此,只需確保CET的正確性,即可防範各種攻擊。錯誤的CET會被挑戰而不被執行,正確的CET則會被執行。同時,預言機需爲惡意行爲付出代價。

OP-DLC 2

OP-DLC包含以下規定:

1. 預言機由聯盟組成,任一成員可簽署CET。需質押2BTC才能籤名賺取手續費。

2. 若預言機作惡修改結果,任何人都可發起挑戰。

3. 若預言機誠實簽署,CET一周後可結算,預言機獲得獎勵。

4. 任何人都可對預言機籤名發起挑戰:

   • 若誠實,則CET正常結算,預言機解鎖質押並獲得手續費
   • 若不誠實,該籤名無效,預言機損失質押金並失去再次籤名權

5. 挑戰機制無需許可,任何人都可監督合約執行,實現對預言機的最小信任。

OP-DLC的主要優勢:

• 資產控制度高,用戶可只信任自己
• 資金利用率高,無需等額資金墊付
• 預言機需在入金時確定,但用戶可成爲預言機

主要缺點:

• 出金需等待一周挑戰期
• 預籤名數量與CET數量呈線性增長

結論

OP-DLC通過在CET中引入樂觀挑戰機制,確保了錯誤CET不被結算且惡意預言機受到懲罰,同時保證正確CET得以執行。這種簡潔有效的方法可以抵御各種攻擊,體現了"大道至簡"的設計思想。