OP-DLC 2: 大道至简

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

前文总结了DLC的优势和面临的问题，并提出了一些优化方案。然而，由于DLC涉及多方参与，防御策略相对复杂。为追求简洁之美，我们需要回归本质:在比特币中，任何行为都需通过UTXO实现。同理，DLC中的行为都通过CET(Contract Execution Transaction)实现。因此,只需确保CET的正确性,即可抵御各种攻击。

具体而言,我们可以引入乐观挑战机制来保证CET的正确性。预言机需质押2BTC才能签署CET。如果CET未被挑战或成功应对挑战,则视为正确并可执行结算,预言机解除质押并获得手续费。若预言机试图作恶,任何人都可以发起挑战,导致该CET无法结算,预言机损失质押金并失去对该CET的签名权。这种机制简洁有效,符合"大道至简"的理念。

DLC原理

以Alice和Bob就某区块哈希值的奇偶性进行对赌为例,说明DLC的基本原理:

1. 注资交易:Alice和Bob各自将10BTC锁定在一个多重签名输出中。

2. 构建CET:双方创建两个CET,分别对应不同结果。

3. 结算:预言机根据实际结果签署相应的CET。

4. 提币:获胜方计算出新私钥并提取全部20BTC。

关键在于,所有行为都通过CET实现。因此,只需确保CET的正确性,即可防范各种攻击。错误的CET会被挑战而不被执行,正确的CET则会被执行。同时,预言机需为恶意行为付出代价。

OP-DLC 2

OP-DLC包含以下规定:

1. 预言机由联盟组成,任一成员可签署CET。需质押2BTC才能签名赚取手续费。

2. 若预言机作恶修改结果,任何人都可发起挑战。

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

4. 任何人都可对预言机签名发起挑战:

   • 若诚实,则CET正常结算,预言机解锁质押并获得手续费
   • 若不诚实,该签名无效,预言机损失质押金并失去再次签名权

5. 挑战机制无需许可,任何人都可监督合约执行,实现对预言机的最小信任。

OP-DLC的主要优势:

• 资产控制度高,用户可只信任自己
• 资金利用率高,无需等额资金垫付
• 预言机需在入金时确定,但用户可成为预言机

主要缺点:

• 出金需等待一周挑战期
• 预签名数量与CET数量呈线性增长

结论

OP-DLC通过在CET中引入乐观挑战机制,确保了错误CET不被结算且恶意预言机受到惩罚,同时保证正确CET得以执行。这种简洁有效的方法可以抵御各种攻击,体现了"大道至简"的设计思想。