OP-DLC 2: 真理往往簡單

1. 引言

Discreet Log Contract (DLC) 是一種基於預言機的合約執行框架，允許雙方根據預定義條件進行有條件支付。DLC在保證比特幣存款安全的同時，實現了新的去中心化金融應用。

前文分析了DLC的優勢和面臨的問題，並提出了一些解決方案。然而，復雜的防御策略並非完美，缺乏簡潔美。

在比特幣中，任何行爲都通過UTXO實現。同理，DLC中所有行爲均通過CET（合約執行交易）實現。因此，使用樂觀挑戰機制確保CET正確，就能抵御任何攻擊。具體而言，預言機質押後才能簽署CET，而CET中添加樂觀挑戰機制。正確的CET可完成結算，預言機解除質押並獲得手續費；錯誤的CET將被挑戰，無法結算，預言機損失質押金。這種方法簡潔優雅，符合大道至簡的原則。

2. DLC原理

以Alice和Bob對區塊哈希值奇偶性下注爲例說明DLC原理。主要步驟包括注資交易、構建CET、結算和提幣。

關鍵發現：任何行爲都需通過CET實現。因此，只需使用樂觀挑戰機制確保CET正確，就能抵御任何攻擊。錯誤的CET會被挑戰並阻止執行，正確的CET則會被執行。預言機需爲惡意行爲付出代價。

3. OP-DLC 2

OP-DLC包括以下5個規定：

1. 預言機由聯盟組成，任一成員可簽署CET。質押後才能發布籤名賺取手續費。

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

3. 預言機誠實簽署CET時，1周後可正確結算並獲得獎勵。

4. 任何人都可對Oracle_sign發起挑戰。誠實籤名1周後執行結算，不誠實籤名將被懲罰。

5. OP-DLC中的挑戰是無需許可的，任何人都可監督合約執行。

優點：

• 資產控制度高，用戶可只信任自己
• 資金利用率高
• 預言機在入金時確定，用戶也可成爲預言機

缺點：

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

4. 結論

OP-DLC將樂觀挑戰機制引入CET，確保正確執行並懲罰惡意行爲。這種方法能抵御任何攻擊，體現了簡單之美。