# OP-DLC 2：偉大な真理は常にシンプルである### 1. はじめに2018年、マサチューセッツ工科大学のTadge Dryjaは、オラクルに基づく契約実行フレームワークであるDiscreet Log Contract (DLC)を提案しました。このフレームワークは、事前に定義された条件に基づいて、両者が条件付き支払いを行うことを可能にし、事前に可能な結果を決定し、事前に署名することで、オラクルが結果に署名する際に支払いを実行します。DLCは、ビットコインの預金の安全性を保証しつつ、分散型金融アプリケーションに新たな可能性を切り開きます。以前の研究では、DLCがプライバシー保護、複雑な契約、資産リスクなどの面での利点をまとめるとともに、鍵のリスク、分散型信頼のリスク、共謀のリスクなどの問題に直面していることも指摘されています。これらの問題を解決するために、研究者は分散型オラクル、スレッショルド署名、楽観的チャレンジメカニズムなどのソリューションを導入しようと試みています。しかし、DLCは複数の参加者が関与するため、防御戦略が複雑になり、「大道至簡」の原則に合致しなくなります。ビットコインシステムでは、すべての参加者の行動はUTXOを介して実現されます。したがって、UTXOの正確性を確保することで、あらゆる攻撃に対抗できます。同様に、DLCでは、すべての行動はCET（契約実行取引）を通じて行われます。CETの正確性を保証するために楽観的な挑戦メカニズムを導入することで、さまざまな攻撃を効果的に防ぐことができます。具体的には、オラクルは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の主なステップには次のものが含まれます：1. 資金注入取引：アリスとボブは共同で資金注入取引を作成し、それぞれ10BTCをマルチシグ出力にロックします。2. CETの構造化:両当事者は、資金提供された取引を支出するためにCET1とCET2を作成します。3. オラクル計算：オラクル計算はコミットメントと関連するパラメータを約束します。4. 決済：第ξ個ブロックのハッシュ値に基づいて、オラクルが対応するCETに署名します。5. 出金：勝者は新しい秘密鍵を計算し、ロックされたBTCを引き出します。研究によると、DLC内のすべての行動はCETを通じて実現する必要があります。したがって、CETの正確性を確保するために楽観的チャレンジメカニズムを使用するだけで、あらゆる攻撃に対抗できます。誤ったCETはチャレンジされ、実行を阻止されますが、正しいCETは実行されます。さらに、オラクルは悪意のある行動に対して代償を支払う必要があります。### 3. OP-DLC2OP-DLCには以下の5つの重要な規定が含まれています：1. オラクルはアライアンスで構成され、任意のメンバーがCETに署名できます。オラクルは2BTCをステークする必要があり、署名を発行して手数料を得ることができます。悪意のある者はステークを失います。アリスとボブもオラクルになり、信頼の最小化を実現できます。2. もしオラクルが悪意を持って結果を変更した場合、参加者は誰でもチャレンジを開始することができます。3. 正直に署名されたCETは1週間後に正しく決済されます。オラクルは補償として0.05BTCの報酬を得ます。4. 誰でもオラクルの署名に対してチャレンジを起こすことができます。誠実な署名は1週間後に決済が実行され、オラクルはステーキングを解除し、手数料を得ます。不誠実な署名はオラクルがステーキングを失う原因となり、同じ結果の署名をそのDLC契約に対して再び起こすことはできません。5. OP-DLCにおける課題は、許可が不要であり、どの参加者も契約の実行の正当性を監視できることで、オラクルへの信頼を最小限に抑えることができる点です。ライトニングネットワークと比較して、アリスとボブはオフラインのままでいられます。なぜなら、誠実な署名だけがCETを決済するからであり、悪意のあるオラクルは罰せられます。OP-DLCの利点には次のものがあります：- 資産管理が高く、ユーザーは自分自身だけを信頼できます。- 資金利用率が高く、ユーザーは同額の資金を前払いする必要がありません。- サイン可能なオラクルは入金時に確定し、ユーザーはオラクルになれる。欠点には：- 出金時間は1週間かかります。- 予備署名の数量はCETの数量と線形関係にあり、急速に増加しています。### 4. 結論OP-DLCはCETにオプティミスティックチャレンジメカニズムを導入することにより、正しいCETの実行を保証し、誤ったCETを防止するとともに、悪意のあるオラクルに対して罰を与えます。この設計はさまざまな攻撃に対して効果的に抵抗し、シンプルで優雅な解決策を体現しています。
OP-DLC 2：楽観的チャレンジメカニズムがビットコインスマートコントラクトの安全性と効率を向上させる
OP-DLC 2：偉大な真理は常にシンプルである
1. はじめに
2018年、マサチューセッツ工科大学のTadge Dryjaは、オラクルに基づく契約実行フレームワークであるDiscreet Log Contract (DLC)を提案しました。このフレームワークは、事前に定義された条件に基づいて、両者が条件付き支払いを行うことを可能にし、事前に可能な結果を決定し、事前に署名することで、オラクルが結果に署名する際に支払いを実行します。DLCは、ビットコインの預金の安全性を保証しつつ、分散型金融アプリケーションに新たな可能性を切り開きます。
以前の研究では、DLCがプライバシー保護、複雑な契約、資産リスクなどの面での利点をまとめるとともに、鍵のリスク、分散型信頼のリスク、共謀のリスクなどの問題に直面していることも指摘されています。これらの問題を解決するために、研究者は分散型オラクル、スレッショルド署名、楽観的チャレンジメカニズムなどのソリューションを導入しようと試みています。しかし、DLCは複数の参加者が関与するため、防御戦略が複雑になり、「大道至簡」の原則に合致しなくなります。
ビットコインシステムでは、すべての参加者の行動はUTXOを介して実現されます。したがって、UTXOの正確性を確保することで、あらゆる攻撃に対抗できます。同様に、DLCでは、すべての行動はCET（契約実行取引）を通じて行われます。CETの正確性を保証するために楽観的な挑戦メカニズムを導入することで、さまざまな攻撃を効果的に防ぐことができます。具体的には、オラクルはCETに署名するために2BTCを担保に入れ、CETに楽観的な挑戦メカニズムを追加する必要があります。CETが挑戦されない場合や挑戦に成功して対処された場合は、正しいと見なされ、決済が完了します。オラクルは担保を解除し、手数料を受け取ります。逆に、オラクルが悪事を働いた場合、誰でも成功裏に挑戦でき、CETは決済できなくなり、オラクルは担保を失い、そのCETに対する署名権を失います。このシンプルで効果的なメカニズムは、「大道至簡」のデザイン理念を体現しています。
! Bitlayer研究:OP-DLC 2 Avenue to Simplicity
2. DLCの仕組み
アリスとボブは賭け契約を結びます：第ξブロックのハッシュ値が奇数か偶数かを賭けます。奇数であればアリスが勝利し、資産を引き出します；偶数であればボブが勝利し、資産を引き出します。DLCはオラクルを通じて第ξブロックの情報を伝え、条件付き署名を構築し、勝者が全ての資産を取得できるようにします。
DLCの主なステップには次のものが含まれます：
資金注入取引：アリスとボブは共同で資金注入取引を作成し、それぞれ10BTCをマルチシグ出力にロックします。
CETの構造化:両当事者は、資金提供された取引を支出するためにCET1とCET2を作成します。
オラクル計算：オラクル計算はコミットメントと関連するパラメータを約束します。
決済：第ξ個ブロックのハッシュ値に基づいて、オラクルが対応するCETに署名します。
出金：勝者は新しい秘密鍵を計算し、ロックされたBTCを引き出します。
研究によると、DLC内のすべての行動はCETを通じて実現する必要があります。したがって、CETの正確性を確保するために楽観的チャレンジメカニズムを使用するだけで、あらゆる攻撃に対抗できます。誤ったCETはチャレンジされ、実行を阻止されますが、正しいCETは実行されます。さらに、オラクルは悪意のある行動に対して代償を支払う必要があります。
3. OP-DLC2
OP-DLCには以下の5つの重要な規定が含まれています：
オラクルはアライアンスで構成され、任意のメンバーがCETに署名できます。オラクルは2BTCをステークする必要があり、署名を発行して手数料を得ることができます。悪意のある者はステークを失います。アリスとボブもオラクルになり、信頼の最小化を実現できます。
もしオラクルが悪意を持って結果を変更した場合、参加者は誰でもチャレンジを開始することができます。
正直に署名されたCETは1週間後に正しく決済されます。オラクルは補償として0.05BTCの報酬を得ます。
誰でもオラクルの署名に対してチャレンジを起こすことができます。誠実な署名は1週間後に決済が実行され、オラクルはステーキングを解除し、手数料を得ます。不誠実な署名はオラクルがステーキングを失う原因となり、同じ結果の署名をそのDLC契約に対して再び起こすことはできません。
OP-DLCにおける課題は、許可が不要であり、どの参加者も契約の実行の正当性を監視できることで、オラクルへの信頼を最小限に抑えることができる点です。ライトニングネットワークと比較して、アリスとボブはオフラインのままでいられます。なぜなら、誠実な署名だけがCETを決済するからであり、悪意のあるオラクルは罰せられます。
OP-DLCの利点には次のものがあります：
欠点には：
4. 結論
OP-DLCはCETにオプティミスティックチャレンジメカニズムを導入することにより、正しいCETの実行を保証し、誤ったCETを防止するとともに、悪意のあるオラクルに対して罰を与えます。この設計はさまざまな攻撃に対して効果的に抵抗し、シンプルで優雅な解決策を体現しています。