OP-DLC 2：真理永遠是簡單的

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

雖然 DLC 在隱私保護、復雜合約和資產風險等方面具有優勢，但也存在一些問題。爲解決這些問題，研究人員引入了去中心化預言機、門限籤名和樂觀挑戰機制等。然而，由於 DLC 涉及多個參與方，防御策略變得相對復雜。

比特幣中的任何行爲都需通過 UTXO 實現。類似地，DLC 中的行爲都通過 CET（Contract Execution Transaction）實現。因此，使用樂觀挑戰機制確保 CET 正確性，就能抵御各種攻擊。具體來說，預言機質押 2BTC 後可以簽署 CET。在 CET 中添加樂觀挑戰機制，如果 CET 不被挑戰或成功應對挑戰，則視爲正確並可完成結算，預言機解除質押並獲得手續費。如果預言機試圖作惡，任何人都可成功挑戰，該 CET 將無法結算，預言機損失質押金且無法再對同一 CET 籤名。

DLC 原理

以 Alice 和 Bob 簽署對賭協議爲例，他們投注某個區塊的哈希值是奇數還是偶數。DLC 通過預言機傳遞區塊信息構造條件籤名，使正確的獲勝方贏得所有資產。

過程包括注資交易、構建 CET、結算和提幣等步驟。研究發現，任何行爲都需通過 CET 實現，因此只需使用樂觀挑戰機制確保 CET 正確性，就能抵御各種攻擊。錯誤的 CET 會被挑戰而不被執行，正確的 CET 則會被執行。同時，預言機需爲惡意行爲付出代價。

OP-DLC 2

OP-DLC 包括以下規定：

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

2. 如預言機作惡修改結果，任何參與方都可發起挑戰。

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

4. 任何人都可對 Oracle_sign 發起挑戰。誠實籤名 1 周後執行結算，預言機解鎖質押並獲得手續費；不誠實籤名則預言機損失質押，且未來不可再對該合約發起相同結果的籤名。

5. OP-DLC 中的挑戰是無許可的，任何參與方都可監督合約是否正確執行。

OP-DLC 的優點包括：

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

缺點包括：

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

結論

OP-DLC 將樂觀挑戰機制引入 CET，確保錯誤的 CET 不被結算且惡意預言機損失質押，同時確保正確的 CET 被執行且預言機獲得手續費。這種方式能夠抵御各種攻擊，體現了簡單之美。