This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
OP-DLC 2:楽観的チャレンジメカニズムがDLC契約の正しい実行を保証します
OP-DLC 2: 真理は往々にして簡単である
1. はじめに
Discreet Log Contract (DLC)は、オラクルに基づく契約実行フレームワークであり、両者が事前定義された条件に基づいて条件付き支払いを行うことを可能にします。DLCはビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現しました。
前文ではDLCの利点と直面している問題を分析し、いくつかの解決策を提案しました。しかし、複雑な防御戦略は完璧ではなく、簡潔さに欠けています。
ビットコインでは、すべての行動がUTXOを通じて実現されます。同様に、DLCにおいてもすべての行動はCET(契約実行取引)を通じて実現されます。したがって、楽観的なチャレンジメカニズムを使用してCETの正確性を確保することで、あらゆる攻撃を防ぐことができます。具体的には、オラクルが質権を担保した後でのみCETに署名でき、CETには楽観的なチャレンジメカニズムが追加されます。正しいCETは決済を完了し、オラクルは質権を解除して手数料を得ることができます。誤ったCETはチャレンジされ、決済できず、オラクルは質権を失います。この方法はシンプルで優雅であり、大道至簡の原則に合致しています。
! Bitlayer研究:OP-DLC 2 Avenue to Simplicity
2. DLCの仕組み
AliceとBobがブロックハッシュの奇数偶数性に賭けることを例にDLCの原理を説明します。主なステップには資金提供取引、CETの構築、決済、そして出金が含まれます。
重要な発見:あらゆる行動はCETを通じて実現する必要があります。したがって、楽観的なチャレンジメカニズムを使用してCETが正しいことを保証するだけで、あらゆる攻撃を防ぐことができます。誤ったCETはチャレンジされ、実行が妨げられますが、正しいCETは実行されます。オラクルは悪意のある行動に対して代償を支払う必要があります。
3. OP-DLC2
OP-DLCには以下の5つの規定が含まれています:
オラクルは連合で構成されており、任意のメンバーがCETに署名できます。ステーキング後にのみ署名を公開し、手数料を獲得できます。
オラクルが悪意のある変更を行った場合、誰でも挑戦を起こすことができます。
オラクルがCETを誠実に署名した場合、1週間後に正しく決済され、報酬を得ることができます。
誰でもOracle_signに挑戦できます。正直な署名は1週間後に決済され、不正直な署名は罰せられます。
OP-DLCの課題は、許可なしに誰でも契約の実行を監視できることです。
価値:
短所:
4. 結論
OP-DLCは楽観的なチャレンジメカニズムをCETに導入し、正しい実行を保証し、悪意のある行動を罰します。この方法はあらゆる攻撃に対抗でき、シンプルな美を体現しています。