OP-DLC 2:大道至簡

引言

離散對數合約(DLC)是一種基於預言機的合約執行框架,允許雙方根據預定義條件進行有條件支付。雙方預先確定可能結果並預籤名,在預言機簽署結果時使用這些預籤名執行支付。DLC在保證比特幣存款安全的同時,實現了新的去中心化金融應用。

先前的分析總結了DLC的優勢及面臨的問題,並提出了一些優化思路。然而,由於DLC涉及多方參與,防御策略相對復雜。復雜的防御策略並非完美,缺乏簡潔美。

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

DLC原理

以一個簡單的對賭爲例說明DLC原理:Alice和Bob就某個區塊哈希值的奇偶性進行投注。DLC通過預言機傳遞區塊信息構造條件籤名,使獲勝方贏得全部資產。

DLC主要涉及注資交易、構建CET、結算和提幣等步驟。研究發現,任何行爲都需通過CET實現。因此,只需使用樂觀挑戰機制確保CET正確,即可抵御任何攻擊。錯誤的CET會被挑戰而不被執行,正確的CET則會被執行。此外,預言機需爲惡意行爲付出代價。

OP-DLC 2

OP-DLC包括以下規定:

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

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

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

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

5. OP-DLC中的挑戰是無需許可的,任何人都可監督合約是否正確執行,實現對預言機的信任最小化。

OP-DLC的優點包括:

• 資產控制度高,用戶可只信任自己
• 資金利用率高
• 預言機範圍靈活,用戶可成爲預言機

缺點包括:

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

結論

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