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

1. 引言

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

之前的研究總結了DLC在隱私保護、復雜合約和資產風險等方面的優勢，同時也指出了其面臨的密鑰風險、去中心化信任風險和串謀風險等問題。爲解決這些問題，研究者嘗試引入去中心化預言機、門限籤名和樂觀挑戰機制等方案。然而，由於DLC涉及多方參與，防御策略變得復雜，不符合"大道至簡"的原則。

在比特幣系統中，所有參與方的行爲都通過UTXO實現。因此，確保UTXO的正確性就能抵御任何攻擊。同理，在DLC中，所有行爲都通過CET（合約執行交易）完成。通過引入樂觀挑戰機制來保證CET的正確性，就能有效防範各種攻擊。具體來說，預言機需質押2BTC才能簽署CET，並在CET中加入樂觀挑戰機制。如果CET未被挑戰或成功應對挑戰，則視爲正確並完成結算，預言機解除質押並獲得手續費。反之，如果預言機作惡，任何人都可以成功挑戰，導致CET無法結算，預言機失去質押金並失去對該CET的籤名權。這種簡潔而有效的機制體現了"大道至簡"的設計理念。

2. DLC原理

Alice和Bob籤訂一項對賭協議：賭第ξ個區塊的哈希值是奇數還是偶數。如果是奇數，Alice獲勝並提取資產；如果是偶數，Bob獲勝並提取資產。DLC通過預言機傳遞第ξ個區塊信息，構造條件籤名，確保勝方獲得全部資產。

DLC的主要步驟包括：

1. 注資交易：Alice和Bob共同創建注資交易，各自鎖定10BTC在多重籤名輸出中。

2. 構建CET：雙方創建用於花費注資交易的CET1和CET2。

3. 預言機計算：預言機計算承諾和相關參數。

4. 結算：根據第ξ個區塊的哈希值，預言機簽署相應的CET。

5. 提幣：獲勝方計算新私鑰並提取鎖定的BTC。

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

3. OP-DLC 2

OP-DLC包含以下五個關鍵規定：

1. 預言機由聯盟組成，任一成員可簽署CET。預言機需質押2BTC才能發布籤名並賺取手續費。作惡者將損失質押。Alice和Bob也可成爲預言機，實現信任最小化。

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

3. 誠實簽署的CET在一周後可正確結算。預言機獲得0.05BTC獎勵作爲補償。

4. 任何人都可對預言機籤名發起挑戰。誠實籤名將在一周後執行結算，預言機解鎖質押並獲得手續費。不誠實籤名將導致預言機損失質押，且無法再對該DLC合約發起相同結果的籤名。

5. OP-DLC中的挑戰是無需許可的，任何參與方都可監督合約執行的正確性，實現對預言機的信任最小化。與閃電網絡相比，Alice和Bob可以離線，因爲誠實籤名才會結算CET，而作惡的預言機會被懲罰。

OP-DLC的優點包括：

• 資產控制度高，用戶可只信任自己。
• 資金利用率高，用戶不需要等量資金墊付。
• 能籤字的預言機在入金時確定，用戶可成爲預言機。

缺點包括：

• 出金時間需要一周。
• 預籤名數量與CET數量呈線性關係，增長較快。

4. 結論

OP-DLC通過在CET中引入樂觀挑戰機制，確保了正確CET的執行和錯誤CET的阻止，同時對惡意預言機進行懲罰。這種設計能夠有效抵御各種攻擊，體現了簡潔而優雅的解決方案。