增强型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.38%
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 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)