OP-DLC再升级:乐观挑战机制确保智能合约正确执行

robot
摘要生成中

OP-DLC 2: 大道至简

引言

Discreet Log Contract (DLC) 是一种基于预言机的合约执行框架,允许双方根据预定义条件进行有条件支付。DLC在保证比特币存款安全的同时,实现了新的去中心化金融应用。

之前的分析指出了DLC在隐私保护、复杂合约和资产风险等方面的优势,同时也存在密钥风险、去中心化信任风险和串谋风险等问题。为解决这些问题,引入了去中心化预言机、门限签名和乐观挑战机制等。然而,由于涉及多方参与,防御策略变得复杂,缺乏简洁美。

在比特币系统中,所有行为都通过UTXO实现。同理,在DLC中,所有行为都通过CET(Contract Execution Transaction)实现。因此,使用乐观挑战机制确保CET正确性,就能有效抵御各种攻击。具体而言,预言机质押后才能签署CET,并在CET中添加乐观挑战机制。如果CET未被挑战或成功应对挑战,则视为正确并完成结算,预言机解除质押并获得手续费。若预言机试图作恶,任何人都可成功挑战,导致CET无法结算,预言机损失质押金并失去再次签名的权限。这种方法符合"大道至简"的原则,具有简洁美。

Bitlayer Research:OP-DLC 2 大道至简

DLC原理

以一个简单的对赌协议为例:Alice和Bob就某个区块的哈希值奇偶性进行投注。通过DLC,预言机传递区块信息构造条件签名,确保正确的一方获得所有资产。

过程包括注资交易、构建CET、结算和提币等步骤。研究发现,任何行为都需通过CET实现。因此,只需使用乐观挑战机制确保CET正确,就能抵御任意攻击。错误的CET会被挑战而不执行,正确的CET则会被执行。同时,预言机需为恶意行为付出代价。

OP-DLC 2

OP-DLC包含以下规定:

  1. 预言机由联盟组成,任一成员可签署CET。需质押才能发布签名赚取手续费。作恶将损失质押。

  2. 预言机作恶时,任何人都可发起挑战。

  3. 预言机诚实签署CET时,无人能发起有效挑战。一周后CET可正确结算,预言机获得奖励。

  4. 任何人都可对Oracle_sign发起挑战。诚实签名将在一周后执行结算,预言机解锁质押并获得手续费。不诚实签名将导致预言机损失质押,且无法再对该合约发起相同结果的签名。

  5. OP-DLC中的挑战是无需许可的,任何人都可监督合约执行。实现了对预言机的信任最小化。

优点:

  • 用户对资产控制度高,只需信任自己。
  • 资金利用率高。
  • 预言机在入金时确定,用户也可成为预言机。

缺点:

  • 出金时间需要一周。
  • 需要预签的签名数量与CET数量呈线性关系。

结论

OP-DLC将乐观挑战机制引入CET,确保正确执行和惩罚恶意行为。这种方法能够抵御各种攻击,体现了简单之美。

OP3.02%
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 4
  • 转发
  • 分享
评论
0/400
Pump策略师vip
· 08-15 03:26
多头都躺好,分析师预言来年大涨
回复0
GasFee_Crybabyvip
· 08-14 07:29
链上玩大了 gas也没了
回复0
空投舔狗vip
· 08-14 07:15
这防御机制这么花里胡哨 还安全个啥
回复0
Token Therapistvip
· 08-14 07:14
大饼啊大饼还能玩出新花样
回复0
交易,随时随地
qrCode
扫码下载 Gate APP
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)