# OP-DLC 2:真理は常にシンプルであるDLC(ディスクリートログ契約)は、2018年にマサチューセッツ工科大学のTadge Dryjaによって提案されたオラクルに基づく契約実行フレームワークです。これは、事前に定義された条件に基づいて、両者が条件付き支払いを行うことを可能にし、事前署名とオラクルによって結果を署名することで支払いを実行します。DLCは、ビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現します。前文ではDLCの利点と直面している問題についてまとめ、いくつかの最適化案を提案しました。しかし、DLCは多くの参加者が関与しているため、防御戦略は相対的に複雑で、シンプルさに欠けています。ビットコインシステムでは、すべての行動がUTXOによって実現されます。UTXOが正しいことを確認するだけで、あらゆる攻撃に対抗できます。同様に、DLCにおいてすべての行動はCET(Contract Execution Transaction)によって実現されます。したがって、楽観的チャレンジメカニズムを使用してCETが正しいことを確認することで、あらゆる攻撃に対抗できます。具体的には、オラクルは2BTCをステークした後にCETを署名できます。CETにオプティミスティックチャレンジメカニズムを追加します。CETがチャレンジされないか、チャレンジに成功して対処された場合、CETは正しいと見なされ、決済が完了します。オラクルはステークを解除し、手数料を得ます。オラクルが悪事を働こうとした場合、誰でも成功裏にチャレンジでき、そのCETは決済できなくなり、オラクルはステークを失い、同じCETに再度署名することができなくなります。このデザインはシンプルで効果的です。## DLCの仕組みAliceとBobが第ξのブロックハッシュ値の奇数偶数を賭ける例を用いてDLCの原理を説明します:1. 資金注入取引:アリスとボブはそれぞれ10BTCを2-of-2マルチシグ出力にロックします。2. CETを構築する: 資金注入取引のために2つのCETを作成する。3. オラクルは計算を約束し、署名を生成します。4. 決済:オラクルはブロックハッシュに基づいて対応するCETに署名します。5. 引き出し: 勝者が新しい秘密鍵を計算し、ロックされた資金を使用します。研究によると、楽観的チャレンジメカニズムを使用してCETの正確性を確保するだけで、あらゆる攻撃に対抗できることがわかりました。誤ったCETはチャレンジされ、実行されず、正しいCETは実行されます。同時に、オラクルは悪意のある行動に対して代償を払わなければなりません。## OP - DLCの2OP-DLCには以下の規定が含まれます:1. オラクルはアライアンスで構成され、任意のメンバーがCETに署名できます。署名するには2BTCをステーキングする必要があります。2. もしオラクルが悪事を働いた場合、誰でも挑戦を開始できます。3. 誠実に署名されたCETは1週間後に決済され、オラクルが報酬を得ます。4. どんな人でもOracle_signに挑戦できます。5. チャレンジは許可なしで、誰でも契約の実行を監視できます。価値:- 資産管理が高く、ユーザーは自分自身だけを信頼できる- 資金の使用率が高い- オラクルの範囲は柔軟に決定できます短所:- 出金期間は1週間です- 予め署名された数量はCETの数量と線形関係にあります## まとめOP-DLCはCETに楽観的なチャレンジメカニズムを導入し、誤ったCETが決済されず、悪意のあるオラクルが罰せられ、正しいCETが実行され、誠実なオラクルが報酬を得ることを保証します。このシンプルで効果的な設計は、さまざまな攻撃に対抗することができます。! [Bitlayer研究:OP-DLC 2 Avenue to Simplicity](https://img-cdn.gateio.im/social/moments-40edb8aefd5ab7a3dc753415953652b0)
OP-DLC 2:DLC契約のオプティミスティックチャレンジメカニズムを最適化
OP-DLC 2:真理は常にシンプルである
DLC(ディスクリートログ契約)は、2018年にマサチューセッツ工科大学のTadge Dryjaによって提案されたオラクルに基づく契約実行フレームワークです。これは、事前に定義された条件に基づいて、両者が条件付き支払いを行うことを可能にし、事前署名とオラクルによって結果を署名することで支払いを実行します。DLCは、ビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現します。
前文ではDLCの利点と直面している問題についてまとめ、いくつかの最適化案を提案しました。しかし、DLCは多くの参加者が関与しているため、防御戦略は相対的に複雑で、シンプルさに欠けています。
ビットコインシステムでは、すべての行動がUTXOによって実現されます。UTXOが正しいことを確認するだけで、あらゆる攻撃に対抗できます。同様に、DLCにおいてすべての行動はCET(Contract Execution Transaction)によって実現されます。したがって、楽観的チャレンジメカニズムを使用してCETが正しいことを確認することで、あらゆる攻撃に対抗できます。
具体的には、オラクルは2BTCをステークした後にCETを署名できます。CETにオプティミスティックチャレンジメカニズムを追加します。CETがチャレンジされないか、チャレンジに成功して対処された場合、CETは正しいと見なされ、決済が完了します。オラクルはステークを解除し、手数料を得ます。オラクルが悪事を働こうとした場合、誰でも成功裏にチャレンジでき、そのCETは決済できなくなり、オラクルはステークを失い、同じCETに再度署名することができなくなります。このデザインはシンプルで効果的です。
DLCの仕組み
AliceとBobが第ξのブロックハッシュ値の奇数偶数を賭ける例を用いてDLCの原理を説明します:
資金注入取引:アリスとボブはそれぞれ10BTCを2-of-2マルチシグ出力にロックします。
CETを構築する: 資金注入取引のために2つのCETを作成する。
オラクルは計算を約束し、署名を生成します。
決済:オラクルはブロックハッシュに基づいて対応するCETに署名します。
引き出し: 勝者が新しい秘密鍵を計算し、ロックされた資金を使用します。
研究によると、楽観的チャレンジメカニズムを使用してCETの正確性を確保するだけで、あらゆる攻撃に対抗できることがわかりました。誤ったCETはチャレンジされ、実行されず、正しいCETは実行されます。同時に、オラクルは悪意のある行動に対して代償を払わなければなりません。
OP - DLCの2
OP-DLCには以下の規定が含まれます:
オラクルはアライアンスで構成され、任意のメンバーがCETに署名できます。署名するには2BTCをステーキングする必要があります。
もしオラクルが悪事を働いた場合、誰でも挑戦を開始できます。
誠実に署名されたCETは1週間後に決済され、オラクルが報酬を得ます。
どんな人でもOracle_signに挑戦できます。
チャレンジは許可なしで、誰でも契約の実行を監視できます。
価値:
短所:
まとめ
OP-DLCはCETに楽観的なチャレンジメカニズムを導入し、誤ったCETが決済されず、悪意のあるオラクルが罰せられ、正しいCETが実行され、誠実なオラクルが報酬を得ることを保証します。このシンプルで効果的な設計は、さまざまな攻撃に対抗することができます。
! Bitlayer研究:OP-DLC 2 Avenue to Simplicity