🔥 Gate 动态大使专属发帖福利任务第四期报名正式开启!
还没成为动态大使?立即报名参与 👉️https://www.gate.com/questionnaire/4937
参与大使活动,6月9日至6月15日期间每日发帖,根据帖子内容评级,瓜分 $300 奖池!
🎁 奖励详情:
一、S级周度排名奖
S级:本周7日均完成发帖且整体帖子内容质量分数>90分可获S级,挑选2名优质内容大使每人$50手续费返现券。
二、A/B 等级瓜分奖
根据各位动态大使发帖数量及帖子内容质量获评等级,按评定等级获奖:
A级:本周至少5日完成发帖且整体帖子内容质量90>分数>80可获A级,从A级用户中选出5名大使每人$20手续费返现券
B级:本周至少3日完成发帖且整体帖子内容质量80>分数>60可获B级,从B级用户中选出10名大使每人$10手续费返现券
📍 活动规则:
1.至少3日完成发帖才有机会获奖。
2.根据发帖天数和整体发帖内容质量分数给予等级判定,分为S/A/B等级,在各等级下选择幸运大使获奖。
💡 帖子评分标准:
1.每帖不少于30字。
2.内容需原创、有独立见解,具备深度和逻辑性。
3.鼓励发布市场行情、交易知识、币种研究等主题,使用图例或视频可提高评分。
4.禁止发布FUD、抄袭或诋毁内容,违规将取消资格。
5.手续费返现券按20%返现比例,有效期30天,请在有效期内及时使用,手
Bitlayer Research:OP-DLC 2大道至简
原文标题:《Bitlayer Core Technology: DLC and Its Optimization Considerations》
原文作者:mutourend & lynndell, Bitlayer Research Group
1.引言
Discreet Log Contract (DLC) 是由麻省理工学院的 Tadge Dryja 在 2018 年提出的一种基于预言机的合约执行框架。DLC 允许两方根据预定义的条件进行有条件支付。双方预先确定可能的结果并进行预签名,并在预言机签署结果时使用这些预签名来执行支付。因此,DLC 在保证比特币存款安全的同时,实现了新的去中心化金融应用。
上一篇文章《DLC 原理解析及其优化思考》总结了 DLC 在隐私保护、复杂合约、资产风险低等方面的优势,也分析了 DLC 存在密钥风险、去中心化信任风险、串谋风险等问题,并将去中心化预言机、门限签名、乐观挑战机制等引入 DLC,解决其应面临的各种问题。由于 DLC 中涉及预言机、Alice 和 Bob 三个参与方,不同参与方之间串谋攻击穷举是相对复杂的,导致预防策略也是相对复杂度的。复杂的防御策略不是完美的,不符合大道至简,缺少简洁美。
在比特币中,任意参与方的任意行为均需要通过 UTXO 实现。因此,使用共识机制确保 UTXO 正确,则能够抵抗任意攻击。类似,在 DLC 中,任意参与方的任意行为均需要通过 CET(Contract ution Transaction)实现。因此,使用乐观挑战机制确保 CET 正确,则能够抵抗任意攻击。具体而言,预言机质押2B TC 后,则能够签署 CET。在 CET 中添加乐观挑战机制。如果 CET 不被挑战,或成功应对挑战,则 CET 正确,能够完成结算,预言机解除质押且获得手续费;如果 Oracle 试图作恶,则任何人都可成功挑战,该 CET 将无法结算,预言机损失质押金且该预言机无法再对同一 CET 签名。符合大道至简,具有简洁美。
2.DLC 原理
Alice 和 Bob 签署对赌协议:投注第ξ个区块的哈希值是奇数或偶数。如果是奇数,则 Alice 赢得游戏,可提取资产;如果是偶数,则 Bob 赢得游戏,可提取资产。使用 DLC,通过预言机传递第ξ个区块信息构造条件签名使得正确的获胜方赢得所有资产。
椭圆曲线生成元为 G,阶为 q。预言机、Alice 和 Bob 各自的密钥对分别为(z, Z), (x, X), (y, Y)。
注资交易(链上): Alice 和 Bob 一起创建一笔注资交易,各自将 10 BTC 锁在一个 2-of-2 的多签输出(一个公钥 X 属于 Alice,一个公钥 Y 属于 Bob)。
构建 CET(链下):Alice 和 Bob 创建 CET 1 和 CET 2 ,用于花费注资交易。
预言机计算承诺 R = k · G,然后计算 S 和 S'
S := R - hash(OddNumber, R) · Z
S' := R - hash(EvenNumber, R) · Z
则 Alice 和 Bob 对应的新公钥如下:
PK^{Alice} := X + S
PK^{Bob} := Y + S'.
结算(链下->链上):当第ξ个区块成功生成,则预言机根据该区块的哈希值,签署对应的 CET 1 或 CET 2 。
如果哈希为奇数,则预言机如下签署 s
s := k - hash(OddNumber, R) z
广播 CET 1 。
如果哈希为偶数,则预言机签署 s'
s' := k - hash(EvenNumber, R) z
广播 CET 2 。
提币(链上):如果预言机广播 CET 1 ,则 Alice 可以计算出新私钥,并花费锁定的 20 个 BTC
sk^{Alice} = x + s
如果预言机广播 CET 2 ,则 Bob 可以计算出新私钥,并花费锁定的 20 个 BTC
sk^{Bob} = y + s'
Bitlayer 研究组发现:上述过程中,任意行为均需要通过 CET 实现。因此,仅需要使用乐观挑战机制确保 CET 正确,则能够抵抗任意攻击。错误的 CET 会被挑战,不被执行,而正确的 CET 会被执行。此外,预言机需要为恶意行为付出代价即可。
待挑战程序为 f(t),则应该如下构建 CET
s = k - hash(f(t), R) z.
假设,真实情况为第ξ个区块的哈希值是奇数 odd,即 f(ξ) = OddNumber,预言机应该签署 CET 1
s := k - hash(OddNumber, R) z.
但是,预言机作恶,将函数值修改为 Even,签署了 CET 2 :
s' := k - hash(EvenNumber, R) z.
因此,任意用户均可根据 f(ξ) ≠ OddNumber.挫败该恶意行为。
3.OP-DLC 2
OP-DLC 包括以下 5 个规定:
若 Oracle_sign 诚实,则无法发起 Disprove-CET 1 交易, 1 周后执行 CET 结算。此外,预言机质押解锁,并获得手续费;
若 Oracle_sign 不诚实,即任何人成功发起了 Disprove-CET 1 交易,成功花费了 connector A output,则该预言机的该签名无效,损失所质押的2B TC,且未来该预言机均不可再对该 DLC 合约发起相同结果的签名,因依赖该 connector A output 的 Settle-CET 1 将永久失效。
优点:
缺点:
4.结论
OP-DLC 将乐观挑战机制引入到 CET 中,确保错误的 CET 不被结算,且相应的恶意预言机损失质押;确保正确的 CET 被执行,且预言机质押解锁并获得手续费。该方式能够抵抗任意攻击,具有简单美。
参考文献