OP-DLC 2：真理总是简单的

DLC(Discreet Log Contract)是2018年由麻省理工学院Tadge Dryja提出的一种基于预言机的合约执行框架。它允许双方根据预定义条件进行有条件支付，通过预签名和预言机签署结果来执行支付。DLC在保证比特币存款安全的同时，实现了新的去中心化金融应用。

前文总结了DLC的优势和面临的问题，并提出了一些优化方案。但由于DLC涉及多方参与，防御策略相对复杂，缺乏简洁美。

在比特币系统中，所有行为都通过UTXO实现。只要确保UTXO正确，就能抵御任何攻击。类似地，DLC中所有行为都通过CET(Contract Execution Transaction)实现。因此，使用乐观挑战机制确保CET正确，就能抵御任何攻击。

具体来说，预言机质押2BTC后才能签署CET。在CET中添加乐观挑战机制。如果CET不被挑战或成功应对挑战，则CET被视为正确并完成结算，预言机解除质押并获得手续费。如果预言机试图作恶，任何人都可以成功挑战，该CET将无法结算，预言机损失质押金且无法再对同一CET签名。这种设计简洁而有效。

DLC原理

以Alice和Bob对赌第ξ个区块哈希值奇偶为例说明DLC原理:

1. 注资交易:Alice和Bob各锁定10BTC到2-of-2多签输出。

2. 构建CET:创建两个CET用于花费注资交易。

3. 预言机计算承诺并生成签名。

4. 结算:预言机根据区块哈希签署对应CET。

5. 提币:获胜方计算新私钥并花费锁定的资金。

研究发现,只需使用乐观挑战机制确保CET正确,就能抵御任何攻击。错误的CET会被挑战,不被执行,而正确的CET会被执行。同时预言机需为恶意行为付出代价。

OP-DLC 2

OP-DLC包括以下规定:

1. 预言机由联盟组成,任意成员可签署CET。需质押2BTC才能签名。

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

3. 诚实签署的CET可在1周后结算,预言机获得奖励。

4. 任何人都可对Oracle_sign发起挑战。

5. 挑战是无需许可的,任何人都可监督合约执行。

优点:

• 资产控制度高,用户可只信任自己
• 资金利用率高
• 预言机范围可灵活确定

缺点:

• 出金时间需1周
• 预签名数量与CET数量呈线性关系

结论

OP-DLC将乐观挑战机制引入CET,确保错误CET不被结算且恶意预言机受罚,正确CET得到执行且诚实预言机获得奖励。这种简单而有效的设计能够抵御各种攻击。