OP-DLC 2：真理總是簡單的

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

前文總結了DLC的優勢和面臨的問題，並提出了一些優化方案。但由於DLC涉及多方參與，防御策略相對復雜，缺乏簡潔美。

在比特幣系統中，所有行爲都通過UTXO實現。只要確保UTXO正確，就能抵御任何攻擊。類似地，DLC中所有行爲都通過CET(Contract Execution Transaction)實現。因此，使用樂觀挑戰機制確保CET正確，就能抵御任何攻擊。

具體來說，預言機質押2BTC後才能簽署CET。在CET中添加樂觀挑戰機制。如果CET不被挑戰或成功應對挑戰，則CET被視爲正確並完成結算，預言機解除質押並獲得手續費。如果預言機試圖作惡，任何人都可以成功挑戰，該CET將無法結算，預言機損失質押金且無法再對同一CET籤名。這種設計簡潔而有效。

DLC原理

以Alice和Bob對賭第ξ個區塊哈希值奇偶爲例說明DLC原理:

1. 注資交易:Alice和Bob各鎖定10BTC到2-of-2多籤輸出。

2. 構建CET:創建兩個CET用於花費注資交易。

3. 預言機計算承諾並生成籤名。

4. 結算:預言機根據區塊哈希簽署對應CET。

5. 提幣:獲勝方計算新私鑰並花費鎖定的資金。

研究發現,只需使用樂觀挑戰機制確保CET正確,就能抵御任何攻擊。錯誤的CET會被挑戰,不被執行,而正確的CET會被執行。同時預言機需爲惡意行爲付出代價。

OP-DLC 2

OP-DLC包括以下規定:

1. 預言機由聯盟組成,任意成員可簽署CET。需質押2BTC才能籤名。

2. 如預言機作惡,任何人都可發起挑戰。

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

4. 任何人都可對Oracle_sign發起挑戰。

5. 挑戰是無需許可的,任何人都可監督合約執行。

優點:

• 資產控制度高,用戶可只信任自己
• 資金利用率高
• 預言機範圍可靈活確定

缺點:

• 出金時間需1周
• 預籤名數量與CET數量呈線性關係

結論

OP-DLC將樂觀挑戰機制引入CET,確保錯誤CET不被結算且惡意預言機受罰,正確CET得到執行且誠實預言機獲得獎勵。這種簡單而有效的設計能夠抵御各種攻擊。