比特币中的任何行为都需通过 UTXO 实现。类似地,DLC 中的行为都通过 CET(Contract Execution Transaction)实现。因此,使用乐观挑战机制确保 CET 正确性,就能抵御各种攻击。具体来说,预言机质押 2BTC 后可以签署 CET。在 CET 中添加乐观挑战机制,如果 CET 不被挑战或成功应对挑战,则视为正确并可完成结算,预言机解除质押并获得手续费。如果预言机试图作恶,任何人都可成功挑战,该 CET 将无法结算,预言机损失质押金且无法再对同一 CET 签名。
DLC 原理
以 Alice 和 Bob 签署对赌协议为例,他们投注某个区块的哈希值是奇数还是偶数。DLC 通过预言机传递区块信息构造条件签名,使正确的获胜方赢得所有资产。
过程包括注资交易、构建 CET、结算和提币等步骤。研究发现,任何行为都需通过 CET 实现,因此只需使用乐观挑战机制确保 CET 正确性,就能抵御各种攻击。错误的 CET 会被挑战而不被执行,正确的 CET 则会被执行。同时,预言机需为恶意行为付出代价。
OP-DLC 2:乐观挑战机制加持 DLC 安全与效率双提升
OP-DLC 2:真理永远是简单的
Discreet Log Contract (DLC) 是一种基于预言机的合约执行框架,允许双方根据预定义条件进行有条件支付。它在保证比特币存款安全的同时,实现了新的去中心化金融应用。
虽然 DLC 在隐私保护、复杂合约和资产风险等方面具有优势,但也存在一些问题。为解决这些问题,研究人员引入了去中心化预言机、门限签名和乐观挑战机制等。然而,由于 DLC 涉及多个参与方,防御策略变得相对复杂。
比特币中的任何行为都需通过 UTXO 实现。类似地,DLC 中的行为都通过 CET(Contract Execution Transaction)实现。因此,使用乐观挑战机制确保 CET 正确性,就能抵御各种攻击。具体来说,预言机质押 2BTC 后可以签署 CET。在 CET 中添加乐观挑战机制,如果 CET 不被挑战或成功应对挑战,则视为正确并可完成结算,预言机解除质押并获得手续费。如果预言机试图作恶,任何人都可成功挑战,该 CET 将无法结算,预言机损失质押金且无法再对同一 CET 签名。
DLC 原理
以 Alice 和 Bob 签署对赌协议为例,他们投注某个区块的哈希值是奇数还是偶数。DLC 通过预言机传递区块信息构造条件签名,使正确的获胜方赢得所有资产。
过程包括注资交易、构建 CET、结算和提币等步骤。研究发现,任何行为都需通过 CET 实现,因此只需使用乐观挑战机制确保 CET 正确性,就能抵御各种攻击。错误的 CET 会被挑战而不被执行,正确的 CET 则会被执行。同时,预言机需为恶意行为付出代价。
OP-DLC 2
OP-DLC 包括以下规定:
预言机由联盟组成,任一成员可签署 CET。质押 2BTC 后才能发布签名赚取手续费。
如预言机作恶修改结果,任何参与方都可发起挑战。
预言机诚实签署 CET 时,1 周后可正确结算,并获得奖励。
任何人都可对 Oracle_sign 发起挑战。诚实签名 1 周后执行结算,预言机解锁质押并获得手续费;不诚实签名则预言机损失质押,且未来不可再对该合约发起相同结果的签名。
OP-DLC 中的挑战是无许可的,任何参与方都可监督合约是否正确执行。
OP-DLC 的优点包括:
缺点包括:
结论
OP-DLC 将乐观挑战机制引入 CET,确保错误的 CET 不被结算且恶意预言机损失质押,同时确保正确的 CET 被执行且预言机获得手续费。这种方式能够抵御各种攻击,体现了简单之美。