OP-DLC 2:大道至簡

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

DLC雖然在隱私保護、復雜合約、資產安全等方面具有優勢,但也存在密鑰風險、去中心化信任風險、串謀風險等問題。之前的研究嘗試通過引入去中心化預言機、門限籤名、樂觀挑戰機制等來解決這些問題,但策略相對復雜。

比特幣中任何行爲都需通過UTXO實現,因此確保UTXO正確可抵御任意攻擊。類似地,DLC中所有行爲均通過CET(Contract Execution Transaction)實現。使用樂觀挑戰機制確保CET正確,即可抵御任意攻擊。具體而言,預言機質押2BTC後可簽署CET。在CET中添加樂觀挑戰機制,如未被挑戰或成功應對挑戰,則CET正確可結算,預言機解除質押並獲得手續費;如預言機作惡,任何人都可成功挑戰,該CET無法結算,預言機損失質押金且無法再對同一CET籤名。這種方法簡潔有效。

DLC原理可以用一個簡單的對賭爲例說明:Alice和Bob對第ξ個區塊哈希值的奇偶性進行押注。通過預言機傳遞區塊信息構造條件籤名,使正確一方獲得全部資產。過程包括注資交易、構建CET、結算和提幣等步驟。

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

OP-DLC包括5個主要規定:

1. 預言機由聯盟組成,任一成員可簽署CET,需質押2BTC才能發布籤名賺手續費。
2. 預言機作惡修改結果時,任何人可發起挑戰。
3. 預言機誠實簽署CET時,1周後可正確結算並獲得獎勵。
4. 任何人都可對Oracle_sign發起挑戰,不誠實的預言機將受到懲罰。
5. OP-DLC中的挑戰是無需許可的,實現了對預言機的信任最小化。

OP-DLC的主要優點包括:

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

主要缺點是:

• 出金時間需1周
• 需要預籤的籤名數量增長較快

總之,OP-DLC通過在CET中引入樂觀挑戰機制,確保了正確CET的執行和錯誤CET的阻止,同時對惡意預言機進行懲罰。這種方法能夠有效抵御各種攻擊,體現了簡潔之美。