OP-DLC 2:大道至簡

Discreet Log Contract (DLC)是2018年由麻省理工學院研究人員提出的一種基於預言機的合約執行框架。它允許雙方根據預定義條件進行有條件支付,通過預籤名和預言機簽署結果來執行支付,在保證比特幣存款安全的同時實現了新的去中心化金融應用。

前文探討了DLC的優缺點,並提出了引入去中心化預言機、門限籤名、樂觀挑戰機制等來解決其面臨的問題。然而,由於DLC涉及多方參與,防御策略相對復雜。本文提出,在DLC中任何行爲都需通過CET(Contract Execution Transaction)實現,因此只需確保CET正確即可抵御任何攻擊。具體而言,預言機質押後才能簽署CET,並在CET中添加樂觀挑戰機制。如果CET未被挑戰或成功應對挑戰,則可完成結算,預言機解除質押並獲得手續費;如果預言機試圖作惡,任何人都可成功挑戰,導致CET無法結算,預言機損失質押金且無法再對同一CET籤名。這種方法簡潔有效。

DLC的基本原理是通過預言機傳遞信息構造條件籤名,使正確的一方獲得資產。參與方各自擁有密鑰對,通過注資交易鎖定資金,然後構建CET用於花費注資交易。預言機根據結果簽署相應的CET,獲勝方可計算出新私鑰並花費鎖定的資金。

研究發現,DLC中任何行爲都需通過CET實現,因此只需使用樂觀挑戰機制確保CET正確即可抵御攻擊。錯誤的CET會被挑戰而不被執行,正確的CET則會被執行。同時,預言機需爲惡意行爲付出代價。

OP-DLC包括以下規定:

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

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

3. 預言機誠實簽署CET後,1周內無人成功挑戰即可結算,預言機獲得獎勵。

4. 任何人都可對Oracle_sign發起挑戰,若成功則該籤名無效,預言機損失質押。

5. 挑戰機制對所有人開放,實現了對預言機的信任最小化。

OP-DLC的優點包括:

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

缺點包括:

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

總之,OP-DLC通過在CET中引入樂觀挑戰機制,確保了正確執行並懲罰惡意行爲,能夠有效抵御各種攻擊,體現了簡潔之美。