# OP-DLC 2: 大道至简## 引言Discreet Log Contract (DLC) 是一种基于预言机的合约执行框架,允许双方根据预定义条件进行有条件支付。DLC在保证比特币存款安全的同时,实现了新的去中心化金融应用。之前的分析指出了DLC在隐私保护、复杂合约和资产风险等方面的优势,同时也存在密钥风险、去中心化信任风险和串谋风险等问题。为解决这些问题,引入了去中心化预言机、门限签名和乐观挑战机制等。然而,由于涉及多方参与,防御策略变得复杂,缺乏简洁美。在比特币系统中,所有行为都通过UTXO实现。同理,在DLC中,所有行为都通过CET(Contract Execution Transaction)实现。因此,使用乐观挑战机制确保CET正确性,就能有效抵御各种攻击。具体而言,预言机质押后才能签署CET,并在CET中添加乐观挑战机制。如果CET未被挑战或成功应对挑战,则视为正确并完成结算,预言机解除质押并获得手续费。若预言机试图作恶,任何人都可成功挑战,导致CET无法结算,预言机损失质押金并失去再次签名的权限。这种方法符合"大道至简"的原则,具有简洁美。## DLC原理以一个简单的对赌协议为例:Alice和Bob就某个区块的哈希值奇偶性进行投注。通过DLC,预言机传递区块信息构造条件签名,确保正确的一方获得所有资产。过程包括注资交易、构建CET、结算和提币等步骤。研究发现,任何行为都需通过CET实现。因此,只需使用乐观挑战机制确保CET正确,就能抵御任意攻击。错误的CET会被挑战而不执行,正确的CET则会被执行。同时,预言机需为恶意行为付出代价。## OP-DLC 2OP-DLC包含以下规定:1. 预言机由联盟组成,任一成员可签署CET。需质押才能发布签名赚取手续费。作恶将损失质押。2. 预言机作恶时,任何人都可发起挑战。3. 预言机诚实签署CET时,无人能发起有效挑战。一周后CET可正确结算,预言机获得奖励。4. 任何人都可对Oracle_sign发起挑战。诚实签名将在一周后执行结算,预言机解锁质押并获得手续费。不诚实签名将导致预言机损失质押,且无法再对该合约发起相同结果的签名。5. OP-DLC中的挑战是无需许可的,任何人都可监督合约执行。实现了对预言机的信任最小化。优点:- 用户对资产控制度高,只需信任自己。- 资金利用率高。- 预言机在入金时确定,用户也可成为预言机。缺点:- 出金时间需要一周。- 需要预签的签名数量与CET数量呈线性关系。## 结论OP-DLC将乐观挑战机制引入CET,确保正确执行和惩罚恶意行为。这种方法能够抵御各种攻击,体现了简单之美。
OP-DLC再升级:乐观挑战机制确保智能合约正确执行
OP-DLC 2: 大道至简
引言
Discreet Log Contract (DLC) 是一种基于预言机的合约执行框架,允许双方根据预定义条件进行有条件支付。DLC在保证比特币存款安全的同时,实现了新的去中心化金融应用。
之前的分析指出了DLC在隐私保护、复杂合约和资产风险等方面的优势,同时也存在密钥风险、去中心化信任风险和串谋风险等问题。为解决这些问题,引入了去中心化预言机、门限签名和乐观挑战机制等。然而,由于涉及多方参与,防御策略变得复杂,缺乏简洁美。
在比特币系统中,所有行为都通过UTXO实现。同理,在DLC中,所有行为都通过CET(Contract Execution Transaction)实现。因此,使用乐观挑战机制确保CET正确性,就能有效抵御各种攻击。具体而言,预言机质押后才能签署CET,并在CET中添加乐观挑战机制。如果CET未被挑战或成功应对挑战,则视为正确并完成结算,预言机解除质押并获得手续费。若预言机试图作恶,任何人都可成功挑战,导致CET无法结算,预言机损失质押金并失去再次签名的权限。这种方法符合"大道至简"的原则,具有简洁美。
DLC原理
以一个简单的对赌协议为例:Alice和Bob就某个区块的哈希值奇偶性进行投注。通过DLC,预言机传递区块信息构造条件签名,确保正确的一方获得所有资产。
过程包括注资交易、构建CET、结算和提币等步骤。研究发现,任何行为都需通过CET实现。因此,只需使用乐观挑战机制确保CET正确,就能抵御任意攻击。错误的CET会被挑战而不执行,正确的CET则会被执行。同时,预言机需为恶意行为付出代价。
OP-DLC 2
OP-DLC包含以下规定:
预言机由联盟组成,任一成员可签署CET。需质押才能发布签名赚取手续费。作恶将损失质押。
预言机作恶时,任何人都可发起挑战。
预言机诚实签署CET时,无人能发起有效挑战。一周后CET可正确结算,预言机获得奖励。
任何人都可对Oracle_sign发起挑战。诚实签名将在一周后执行结算,预言机解锁质押并获得手续费。不诚实签名将导致预言机损失质押,且无法再对该合约发起相同结果的签名。
OP-DLC中的挑战是无需许可的,任何人都可监督合约执行。实现了对预言机的信任最小化。
优点:
缺点:
结论
OP-DLC将乐观挑战机制引入CET,确保正确执行和惩罚恶意行为。这种方法能够抵御各种攻击,体现了简单之美。