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

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

先前的分析表明,DLC在隱私保護、復雜合約、資產風險低等方面具有優勢,但也存在密鑰風險、去中心化信任風險、串謀風險等問題。爲解決這些問題,可引入去中心化預言機、門限籤名、樂觀挑戰機制等。然而,由於DLC涉及多方參與,防御策略相對復雜,缺乏簡潔美。

在比特幣中,任何行爲都需通過UTXO實現。因此,使用共識機制確保UTXO正確,即可抵御任意攻擊。同理,在DLC中,所有行爲都通過CET(合約執行交易)實現。使用樂觀挑戰機制確保CET正確,就能抵御任意攻擊。具體而言,預言機質押後才能簽署CET。在CET中添加樂觀挑戰機制。如果CET未被挑戰或成功應對挑戰,則CET正確,可完成結算,預言機解除質押並獲得手續費;如果預言機試圖作惡,任何人都可成功挑戰,該CET將無法結算,預言機損失質押金且無法再對同一CET籤名。這種方法簡單有效,具有簡潔美。

DLC原理

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

過程包括:注資交易(鏈上)、構建CET(鏈下)、結算(鏈下到鏈上)和提幣(鏈上)。研究發現,僅需使用樂觀挑戰機制確保CET正確,即可抵御任意攻擊。錯誤的CET會被挑戰而不執行,正確的CET則會執行。同時,預言機需爲惡意行爲付出代價。

OP-DLC 2

OP-DLC包含以下規定:

1. 預言機由聯盟組成,任一成員可簽署CET。質押後才能發布籤名賺取手續費。作惡者損失質押,其他成員可繼續籤署CET確保用戶出金。

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

3. 預言機誠實簽署CET時,無人可發起有效挑戰。一周後CET可正確結算,預言機獲得獎勵。

4. 任何人可對預言機籤名發起挑戰。誠實籤名無法被挑戰,一周後執行結算;不誠實籤名會被成功挑戰,預言機損失質押並失去再次籤名權限。

5. OP-DLC中的挑戰是無許可的,任何參與方均可監督合約執行。實現了對預言機的信任最小化。

OP-DLC的優點包括:

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

缺點包括:

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

結論

OP-DLC將樂觀挑戰機制引入CET,確保錯誤CET不被結算且惡意預言機受罰,正確CET得以執行且預言機獲得獎勵。這種方法能夠抵御任意攻擊,體現了簡單之美。