# OP-DLC 2: 真理は常にシンプルである### 1. はじめに2018年、マサチューセッツ工科大学のTadge DryjaはDiscreet Log Contract (DLC)を提案しました。これはオラクルに基づく契約実行フレームワークです。DLCは双方が事前に定義された条件に基づいて条件付き支払いを行うことを可能にし、可能な結果を事前に決定し、予め署名することで、オラクルが結果に署名した際に支払いを実行します。この方法はビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現しました。先行研究ではDLCの利点と存在する問題を分析し、いくつかの最適化案を提案しました。しかし、DLCは多くの参加者が関与するため、防御戦略は相対的に複雑であり、簡潔さに欠けています。ビットコインシステムでは、すべての行動はUTXOを通じて実現されます。したがって、UTXOの正しさを確保することで、任意の攻撃に抵抗できます。同様に、DLCでは、すべての行動がCET（Contract Execution Transaction）を通じて実現されます。楽観的な挑戦メカニズムを使用してCETの正しさを確保することで、任意の攻撃に抵抗できます。具体的には、オラクルが2BTCをステークした後にCETに署名し、CETに楽観的な挑戦メカニズムを追加します。CETが挑戦されなかったり、挑戦に成功した場合、それは正しいと見なされ、決済が完了します。オラクルはステークを解除し、手数料を獲得します。オラクルが悪意を持って行動しようとした場合、誰でも成功裏に挑戦でき、CETは決済できなくなり、オラクルはステークを失い、再署名権を失います。この方法は「大道至簡」の原則に合致しており、簡潔さの美を持っています。! [Bitlayer研究:OP-DLC 2 Avenue to Simplicity](https://img-cdn.gateio.im/social/moments-40edb8aefd5ab7a3dc753415953652b0)### 2. DLCの仕組み簡単な対戦契約の例を挙げると、アリスとボブは第ξブロックのハッシュ値が奇数か偶数かに賭けます。奇数の場合、アリスが勝ちます；偶数の場合、ボブが勝ちます。DLCはオラクルを介してブロック情報を伝達し、条件付き署名を構築することで、正しい側がすべての資産を得ることを可能にします。DLCの主なステップには、資金注入取引、CETの構築、決済、そして出金が含まれます。このプロセスでは、すべての行動がCETを通じて実現する必要があります。したがって、楽観的なチャレンジメカニズムを使用してCETが正しいことを確認するだけで、任意の攻撃に対抗することができます。間違ったCETはチャレンジされて実行されず、正しいCETは実行されます。同時に、オラクルは悪意のある行動に対して代償を払う必要があります。### 3. OP-DLC2OP-DLCには以下の5つの主要な規定が含まれています:1. オラクルはアライアンスで構成され、任意のメンバーがCETに署名できます。オラクルは署名を発行し手数料を得るために2BTCをステークする必要があります。悪事を働いたメンバーはステークを失い、他のメンバーはユーザーの出金を保証するためにCETに署名を続けることができます。ユーザーもオラクルになり、信頼の最小化を実現できます。2. 予言機が悪事を働いて結果を改ざんした場合、参加者は誰でもチャレンジを開始できます。3. オラクルがCETを正直に署名すると、誰も有効な挑戦を起こすことができません。一週間後、CETは正しく決済され、オラクルは0.05BTCの報酬を得ます。4. 誰でもOracle_signに挑戦することができます。誠実な署名は成功裏に挑戦されることはなく、1週間後に決済が実行されます。不誠実な署名はオラクルの質押しを失わせ、該当DLC契約に対する再署名権を失います。5. OP-DLCにおける課題は、許可なしで、どの参加者も契約の実行を監視できることです。これにより、オラクルへの信頼の最小化が実現され、ユーザーはオフラインでも可能です。OP-DLCの利点は次のとおりです。- ユーザーは資産のコントロールが高く、自分自身だけを信頼することができます。- 資金の使用率が高い- サイン可能なオラクルは入金時に確定し、ユーザーはオラクルになることができます欠点には、- 出金時間は1週間かかります- プレサインされた数量とCET数量は線形関係にあり、急速に増加しています### 4. 結論OP-DLCは楽観的チャレンジメカニズムをCETに導入し、誤ったCETが清算されず、悪意のあるオラクルが罰せられることを保証し、同時に正しいCETが実行され、オラクルが得るべき報酬を受け取ることを保証します。この方法は任意の攻撃に対抗でき、シンプルさの美しさを体現しています。
OP-DLC 2：シンプルな原理でDLCチャレンジメカニズムの革新的な最適化を実現
OP-DLC 2: 真理は常にシンプルである
1. はじめに
2018年、マサチューセッツ工科大学のTadge DryjaはDiscreet Log Contract (DLC)を提案しました。これはオラクルに基づく契約実行フレームワークです。DLCは双方が事前に定義された条件に基づいて条件付き支払いを行うことを可能にし、可能な結果を事前に決定し、予め署名することで、オラクルが結果に署名した際に支払いを実行します。この方法はビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現しました。
先行研究ではDLCの利点と存在する問題を分析し、いくつかの最適化案を提案しました。しかし、DLCは多くの参加者が関与するため、防御戦略は相対的に複雑であり、簡潔さに欠けています。
ビットコインシステムでは、すべての行動はUTXOを通じて実現されます。したがって、UTXOの正しさを確保することで、任意の攻撃に抵抗できます。同様に、DLCでは、すべての行動がCET（Contract Execution Transaction）を通じて実現されます。楽観的な挑戦メカニズムを使用してCETの正しさを確保することで、任意の攻撃に抵抗できます。具体的には、オラクルが2BTCをステークした後にCETに署名し、CETに楽観的な挑戦メカニズムを追加します。CETが挑戦されなかったり、挑戦に成功した場合、それは正しいと見なされ、決済が完了します。オラクルはステークを解除し、手数料を獲得します。オラクルが悪意を持って行動しようとした場合、誰でも成功裏に挑戦でき、CETは決済できなくなり、オラクルはステークを失い、再署名権を失います。この方法は「大道至簡」の原則に合致しており、簡潔さの美を持っています。
! Bitlayer研究:OP-DLC 2 Avenue to Simplicity
2. DLCの仕組み
簡単な対戦契約の例を挙げると、アリスとボブは第ξブロックのハッシュ値が奇数か偶数かに賭けます。奇数の場合、アリスが勝ちます；偶数の場合、ボブが勝ちます。DLCはオラクルを介してブロック情報を伝達し、条件付き署名を構築することで、正しい側がすべての資産を得ることを可能にします。
DLCの主なステップには、資金注入取引、CETの構築、決済、そして出金が含まれます。このプロセスでは、すべての行動がCETを通じて実現する必要があります。したがって、楽観的なチャレンジメカニズムを使用してCETが正しいことを確認するだけで、任意の攻撃に対抗することができます。間違ったCETはチャレンジされて実行されず、正しいCETは実行されます。同時に、オラクルは悪意のある行動に対して代償を払う必要があります。
3. OP-DLC2
OP-DLCには以下の5つの主要な規定が含まれています:
オラクルはアライアンスで構成され、任意のメンバーがCETに署名できます。オラクルは署名を発行し手数料を得るために2BTCをステークする必要があります。悪事を働いたメンバーはステークを失い、他のメンバーはユーザーの出金を保証するためにCETに署名を続けることができます。ユーザーもオラクルになり、信頼の最小化を実現できます。
予言機が悪事を働いて結果を改ざんした場合、参加者は誰でもチャレンジを開始できます。
オラクルがCETを正直に署名すると、誰も有効な挑戦を起こすことができません。一週間後、CETは正しく決済され、オラクルは0.05BTCの報酬を得ます。
誰でもOracle_signに挑戦することができます。誠実な署名は成功裏に挑戦されることはなく、1週間後に決済が実行されます。不誠実な署名はオラクルの質押しを失わせ、該当DLC契約に対する再署名権を失います。
OP-DLCにおける課題は、許可なしで、どの参加者も契約の実行を監視できることです。これにより、オラクルへの信頼の最小化が実現され、ユーザーはオフラインでも可能です。
OP-DLCの利点は次のとおりです。
欠点には、
4. 結論
OP-DLCは楽観的チャレンジメカニズムをCETに導入し、誤ったCETが清算されず、悪意のあるオラクルが罰せられることを保証し、同時に正しいCETが実行され、オラクルが得るべき報酬を受け取ることを保証します。この方法は任意の攻撃に対抗でき、シンプルさの美しさを体現しています。