OP-DLC 2:シンプルさへの道

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

前文はDLCの利点と直面している問題を要約し、いくつかの最適化案を提案しました。しかし、DLCは複数の参加者を含むため、防御戦略は比較的複雑です。シンプルさの美を追求するために、私たちは本質に戻る必要があります: ビットコインでは、すべての行動はUTXOを通じて実現されます。同様に、DLCの行動はCET(Contract Execution Transaction)を通じて実現されます。したがって、CETの正確性を確保するだけで、さまざまな攻撃に対抗できます。

具体的には、私たちはCETの正当性を保証するために楽観的なチャレンジメカニズムを導入できます。オラクルはCETに署名するために2BTCをステークする必要があります。CETが挑戦されなかった場合、または挑戦に成功した場合、それは正しいと見なされ、実行可能な決済が行われ、オラクルはステークを解除し、手数料を受け取ります。もしオラクルが悪意を持って行動しようとした場合、誰でも挑戦を開始でき、その結果そのCETは決済できなくなり、オラクルはステークを失い、そのCETに対する署名権を失います。このメカニズムはシンプルで効果的であり、「大道至簡」の理念に合致しています。

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

DLCの仕組み

AliceとBobが特定のブロックハッシュ値の奇偶性について賭けをする例を挙げて、DLCの基本原理を説明します:

1. 注資取引:アリスとボブはそれぞれ10BTCをマルチシグ出力にロックします。

2. CETの構築: 双方が異なる結果に対応する2つのCETを作成します。

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

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

重要なのは、すべての行動がCETを通じて実現されることです。したがって、CETの正確性を確保するだけで、さまざまな攻撃を防ぐことができます。間違ったCETは挑戦され、実行されませんが、正しいCETは実行されます。同時に、オラクルは悪意のある行動に対して代償を払う必要があります。

OP - DLCの2

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

1. オラクルはアライアンスで構成されており、いずれかのメンバーがCETに署名できます。手数料を稼ぐためには2BTCをステーキングする必要があります。

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

3. もしオラクルが誠実に署名すれば、CETは1週間後に清算され、オラクルは報酬を得ます。

4. 誰でもオラクルの署名に対して挑戦を起こすことができます:

   • 正直であれば、CETは正常に決済され、オラクルは質押を解除し、手数料を得る。
   • 不誠実であれば、その署名は無効であり、オラクルは質押金を失い、再署名権を失う。

5. チャレンジメカニズムは許可不要で、誰でも契約の実行を監視でき、オラクルへの最小限の信頼を実現します。

OP-DLCの主な利点:

• 資産管理が厳格で、ユーザーは自分自身だけを信頼できる
• 資金の利用率が高く、均等な資金を進める必要はありません
• オラクルは入金時に確定する必要がありますが、ユーザーはオラクルになることができます。

主な欠点:

• 出金には一週間のチャレンジ期間を要します
• 事前署名の数は、CETの数に比例して増加します

まとめ

OP-DLCはCETに楽観的チャレンジメカニズムを導入することで、誤ったCETが決済されず、悪意のあるオラクルが罰せられることを確保し、同時に正しいCETが実行されることを保証します。このシンプルで効果的な方法は、さまざまな攻撃に対抗でき、「大道至簡」の設計思想を体現しています。