增強型DLC: 簡約設計助力比特幣智能合約安全升級

robot
摘要生成中

增強型DLC: 簡約之道

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

DLC雖然在隱私保護、復雜合約執行等方面具有優勢,但仍存在密鑰風險、去中心化信任風險、串謀風險等問題。針對這些挑戰,一些研究者提出了引入去中心化預言機、門限籤名、樂觀挑戰機制等方案。然而,這些防御策略相對復雜,缺乏簡潔美。

在比特幣系統中,任何參與方的行爲都需要通過UTXO實現。因此,只要能確保UTXO的正確性,就能抵御各種攻擊。同理,在DLC中,所有操作都通過CET(Contract Execution Transaction)完成。如果能通過樂觀挑戰機制保證CET的正確性,就能有效防範各類攻擊。

具體來說,預言機需質押2BTC才能簽署CET。在CET中引入樂觀挑戰機制:如果CET無人挑戰或成功應對挑戰,則視爲正確並可執行結算,預言機解除質押並獲得手續費;如果預言機試圖作惡,任何人都可成功挑戰,導致該CET無法結算,預言機損失質押金並失去對該CET的籤名權。這種設計簡潔優雅,符合"大道至簡"的理念。

Bitlayer Research:OP-DLC 2 大道至簡

DLC工作原理

以Alice和Bob簽署一個簡單對賭協議爲例:賭第ξ個區塊哈希值的奇偶性。如果是奇數Alice勝,如果是偶數Bob勝。DLC通過預言機傳遞區塊信息,構造條件籤名,確保正確的獲勝方獲得全部資產。

主要步驟包括:

  1. 注資交易:Alice和Bob各鎖定10BTC到多重籤名輸出
  2. 構建CET:創建兩種可能結果的交易
  3. 預言機計算承諾並生成籤名
  4. 結算:預言機根據實際結果簽署相應CET
  5. 提幣:獲勝方利用新私鑰提取20BTC

研究發現,DLC中的任何行爲都需通過CET實現。因此,只要確保CET正確,就能防範各種攻擊。錯誤的CET會被挑戰而不執行,正確的CET則會被執行。同時,預言機需爲惡意行爲承擔代價。

增強型DLC 2.0

增強型DLC包含以下關鍵規定:

  1. 預言機由聯盟組成,任一成員可簽署CET。需質押2BTC才能發布籤名並獲取手續費。作惡將損失質押。用戶也可成爲預言機,實現信任最小化。

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

  3. 預言機誠實簽署的CET,1周後可正確結算。預言機獲得0.05BTC獎勵。

  4. 任何人都可對預言機籤名發起挑戰:

    • 若籤名誠實,1周後執行結算,預言機解鎖質押並獲得手續費
    • 若籤名不誠實,挑戰成功,該預言機損失質押,且不可再對該合約簽署相同結果
  5. 挑戰機制對所有人開放,實現對預言機的最小化信任。用戶可離線,因爲作惡預言機會被懲罰。

增強型DLC的優勢包括:

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

劣勢包括:

  • 出金需1周時間
  • 預籤名數量與CET數量呈線性增長

結語

增強型DLC將樂觀挑戰機制引入CET,確保錯誤CET不被結算且懲罰惡意預言機,同時保證正確CET執行並獎勵誠實預言機。這種設計簡潔有效,能抵御各類攻擊,體現了簡約之美。

BTC0.64%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 2
  • 分享
留言
0/400
Blockblindvip
· 07-23 06:41
治安很重要呀
回復0
空投爷爷vip
· 07-23 06:38
啥时候能空投啊
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)