OP-DLC 2: 真理はしばしば簡単である

2018年、マサチューセッツ工科大学のTadge Dryjaが提案したDiscreet Log Contract (DLC)は、オラクルに基づく契約実行フレームワークです。DLCは、双方が事前に定義された条件に基づいて条件付き支払いを行うことを可能にします。双方は可能な結果を事前に決定し、事前署名を行い、オラクルが結果に署名する際にこれらの事前署名を使用して支払いを実行します。DLCはビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現します。

前文《DLC原理解析及其优化思考》まとめたDLCの利点と存在する問題、およびいくつかの最適化の考えを提案した。しかし、DLCは多くの関係者が関与するため、異なる関係者間の共謀攻撃は比較的複雑であり、予防策も相対的に複雑になる。複雑な防御策は完璧ではなく、簡潔さに欠ける。

ビットコインでは、すべての行動はUTXOを通じて実現される。そのため、コンセンサス機構を通じてUTXOの正確性が確保されれば、任意の攻撃に対抗できる。同様に、DLCでは、すべての行動はCET(Contract Execution Transaction)を通じて実現される。楽観的チャレンジ機構を使用してCETの正確性を確保すれば、任意の攻撃に対抗できる。具体的には、オラクルは2BTCをステークした後にCETに署名する。CETに楽観的チャレンジ機構を追加する。CETがチャレンジされないか、チャレンジに成功して対処された場合、正しいと見なされ、決済を完了できる。オラクルはステークを解除し、手数料を得る。もしオラクルが悪事を働こうとした場合、誰でも成功裏にチャレンジでき、そのCETは決済できなくなり、オラクルはステークを失い、同じCETに再度署名することができなくなる。この方法はシンプルで効果的であり、道理を極めた智慧を反映している。

! Bitlayer研究:OP-DLC 2 Avenue to Simplicity

DLCの仕組み

アリスとボブの賭け契約を例にとる: ξ番目のブロックハッシュ値の奇数偶数に賭けます。奇数ならアリスが勝ち、偶数ならボブが勝ちます。DLCはオラクルを通じてブロック情報を伝え、正しい側が勝つように条件付き署名を構築します。

DLCの基本的な流れは次の通りです:

1. 注資取引: アリスとボブはそれぞれ10BTCを2-of-2マルチシグアドレスに預け入れます。

2. CETの構築: 2つの可能な結果のCETを作成します。

3. オラクルがコミットメントを計算し、アリスとボブの新しい公開鍵を生成します。

4. 決済:オラクルは実際の結果に基づいて対応するCETを署名します。

5. 出金: 勝者は新しい秘密鍵を計算し、20BTCを引き出します。

研究によると、DLC内のいかなる行動もCETを通じて実現される必要があります。楽観的チャレンジメカニズムを使用してCETの正当性を確保すれば、任意の攻撃に対抗できます。誤ったCETは挑戦され実行されず、正しいCETは実行されます。オラクルは悪意のある行動に対して代償を払う必要があります。

OP - DLCの2

OP-DLCには以下の5つの規定が含まれています:

1. オラクルは連盟で構成されており、任意のメンバーがCETに署名できます。2BTCをステークした後でなければ、手数料を稼ぐために署名できません。悪行を働いた者はステークを失います。アリスとボブもオラクルになり、信頼の最小化を実現できます。

2. オラクルが悪意を持って結果を変更した場合、誰でもチャレンジを開始できます。

3. オラクルがCETを誠実に署名すると、1週間後に正しく決済されます。オラクルは0.05BTCの報酬を得ます。

4. 誰でもオラクルの署名に対してチャレンジを開始できます。正直な署名は1週間後に決済が実行され、オラクルはステーキングを解除し、手数料を獲得します。正直でない署名は成功裏に挑戦された後、無効となり、オラクルはステーキングを失い、同じ結果の署名をその契約に対して再度行うことはできません。

5. OP-DLCの課題は、許可なしで誰でも契約の実行を監視できることです。オラクルへの信頼最小化が実現されました。アリスとボブはオフラインになります。悪意のあるオラクルは罰せられます。

OP-DLCの利点は次のとおりです:

• 資産管理が厳格で、ユーザーは自分自身だけを信頼できる
• 資金の使用率が高い
• オラクルは入金時に決定されますが、ユーザーもオラクルになることができます

欠点には:

• 出金期間は1週間です
• 需要プレサインのサイン数とCET数は線形に増加します

まとめ

OP-DLCは楽観的なチャレンジメカニズムをCETに導入し、正しいCETの実行を確保し、誤ったCETは決済されません。このシンプルで効果的な方法は、あらゆる攻撃に対抗でき、設計のシンプルな美しさを体現しています。