# OP-DLC 2: 真理總是簡單的### 1. 引言2018年，麻省理工學院的Tadge Dryja提出了Discreet Log Contract (DLC)，這是一種基於預言機的合約執行框架。DLC允許雙方根據預定義條件進行條件支付，通過預先確定可能結果並進行預籤名，在預言機簽署結果時執行支付。這種方式在保證比特幣存款安全的同時，實現了新的去中心化金融應用。先前的研究分析了DLC的優勢和存在的問題，並提出了一些優化方案。然而，由於DLC涉及多方參與，防御策略相對復雜，缺乏簡潔美。在比特幣系統中，所有行爲都通過UTXO實現。因此，確保UTXO正確性就能抵抗任意攻擊。同理，在DLC中，所有行爲都通過CET（Contract Execution Transaction）實現。使用樂觀挑戰機制確保CET正確，就能抵抗任意攻擊。具體來說，預言機質押2BTC後才能簽署CET，並在CET中添加樂觀挑戰機制。如果CET未被挑戰或成功應對挑戰，則視爲正確並完成結算，預言機解除質押並獲得手續費。如果預言機試圖作惡，任何人都可成功挑戰，導致CET無法結算，預言機損失質押金並失去再次籤名權。這種方法符合"大道至簡"的原則，具有簡潔美。### 2. DLC原理以一個簡單的對賭協議爲例：Alice和Bob就第ξ個區塊的哈希值是奇數還是偶數進行投注。如果是奇數，Alice贏；如果是偶數，Bob贏。DLC通過預言機傳遞區塊信息，構造條件籤名，使得正確的一方獲得所有資產。DLC的主要步驟包括：注資交易、構建CET、結算和提幣。在這個過程中，所有行爲都需要通過CET實現。因此，只需使用樂觀挑戰機制確保CET正確，就能抵抗任意攻擊。錯誤的CET會被挑戰而不被執行，正確的CET則會被執行。同時，預言機需爲惡意行爲付出代價。### 3. OP-DLC 2OP-DLC包含以下五個主要規定：1. 預言機由聯盟組成，任一成員可簽署CET。預言機需質押2BTC才能發布籤名並賺取手續費。作惡成員將損失質押，其他成員可繼續籤署CET以確保用戶出金。用戶也可成爲預言機，實現信任最小化。2. 如預言機作惡修改結果，任何參與方都可發起挑戰。3. 預言機誠實簽署CET時，無人能發起有效挑戰。一周後CET可正確結算，預言機獲得0.05BTC獎勵。4. 任何人都可對Oracle_sign發起挑戰。誠實籤名無法被成功挑戰，一周後執行結算。不誠實籤名會導致預言機損失質押，且失去對該DLC合約的再次籤名權。5. OP-DLC中的挑戰是無需許可的，任何參與方都可監督合約執行。這實現了對預言機的信任最小化，用戶也可離線。OP-DLC的優點包括：- 用戶對資產控制度高，可只信任自己- 資金利用率高- 能籤字的預言機在入金時確定，用戶可成爲預言機缺點包括：- 出金時間需要一周- 預籤名數量與CET數量呈線性關係，增長較快### 4. 結論OP-DLC將樂觀挑戰機制引入CET，確保錯誤CET不被結算且惡意預言機受到懲罰，同時保證正確CET被執行，預言機獲得應得獎勵。這種方法能夠抵抗任意攻擊，體現了簡單之美。
OP-DLC 2：用簡單原理實現DLC挑戰機制的突破性優化
OP-DLC 2: 真理總是簡單的
1. 引言
2018年，麻省理工學院的Tadge Dryja提出了Discreet Log Contract (DLC)，這是一種基於預言機的合約執行框架。DLC允許雙方根據預定義條件進行條件支付，通過預先確定可能結果並進行預籤名，在預言機簽署結果時執行支付。這種方式在保證比特幣存款安全的同時，實現了新的去中心化金融應用。
先前的研究分析了DLC的優勢和存在的問題，並提出了一些優化方案。然而，由於DLC涉及多方參與，防御策略相對復雜，缺乏簡潔美。
在比特幣系統中，所有行爲都通過UTXO實現。因此，確保UTXO正確性就能抵抗任意攻擊。同理，在DLC中，所有行爲都通過CET（Contract Execution Transaction）實現。使用樂觀挑戰機制確保CET正確，就能抵抗任意攻擊。具體來說，預言機質押2BTC後才能簽署CET，並在CET中添加樂觀挑戰機制。如果CET未被挑戰或成功應對挑戰，則視爲正確並完成結算，預言機解除質押並獲得手續費。如果預言機試圖作惡，任何人都可成功挑戰，導致CET無法結算，預言機損失質押金並失去再次籤名權。這種方法符合"大道至簡"的原則，具有簡潔美。
2. DLC原理
以一個簡單的對賭協議爲例：Alice和Bob就第ξ個區塊的哈希值是奇數還是偶數進行投注。如果是奇數，Alice贏；如果是偶數，Bob贏。DLC通過預言機傳遞區塊信息，構造條件籤名，使得正確的一方獲得所有資產。
DLC的主要步驟包括：注資交易、構建CET、結算和提幣。在這個過程中，所有行爲都需要通過CET實現。因此，只需使用樂觀挑戰機制確保CET正確，就能抵抗任意攻擊。錯誤的CET會被挑戰而不被執行，正確的CET則會被執行。同時，預言機需爲惡意行爲付出代價。
3. OP-DLC 2
OP-DLC包含以下五個主要規定：
預言機由聯盟組成，任一成員可簽署CET。預言機需質押2BTC才能發布籤名並賺取手續費。作惡成員將損失質押，其他成員可繼續籤署CET以確保用戶出金。用戶也可成爲預言機，實現信任最小化。
如預言機作惡修改結果，任何參與方都可發起挑戰。
預言機誠實簽署CET時，無人能發起有效挑戰。一周後CET可正確結算，預言機獲得0.05BTC獎勵。
任何人都可對Oracle_sign發起挑戰。誠實籤名無法被成功挑戰，一周後執行結算。不誠實籤名會導致預言機損失質押，且失去對該DLC合約的再次籤名權。
OP-DLC中的挑戰是無需許可的，任何參與方都可監督合約執行。這實現了對預言機的信任最小化，用戶也可離線。
OP-DLC的優點包括：
缺點包括：
4. 結論
OP-DLC將樂觀挑戰機制引入CET，確保錯誤CET不被結算且惡意預言機受到懲罰，同時保證正確CET被執行，預言機獲得應得獎勵。這種方法能夠抵抗任意攻擊，體現了簡單之美。