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

ディスクリートログ契約 (DLC)は、2018年にマサチューセッツ工科大学の研究者によって提案された、オラクルに基づく契約実行フレームワークです。これは、あらかじめ定義された条件に基づいて、両者が条件付きの支払いを行えるようにし、プリサインとオラクルによる結果の署名を通じて支払いを実行します。ビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現します。

前文ではDLCの利点と欠点について考察し、去中心化オラクル、閾値署名、楽観的チャレンジメカニズムなどを導入して直面している問題を解決する提案をしました。しかし、DLCは複数の参加者が関与するため、防御戦略は相対的に複雑です。本論文では、DLCにおけるすべての行動はCET(Contract Execution Transaction)を通じて実現される必要があるため、CETが正しく機能することを確保するだけで、あらゆる攻撃を防ぐことができると提案します。具体的には、オラクルは質押後にのみCETに署名でき、CETには楽観的チャレンジメカニズムが追加されます。もしCETがチャレンジされなかったり、チャレンジに成功して応じた場合、決済が完了し、オラクルは質押を解除し、手数料を得ることができます。もしオラクルが悪意を持って行動した場合、誰でも成功裏にチャレンジでき、CETは決済できなくなり、オラクルは質押金を失い、同じCETに再度署名することはできません。この方法はシンプルで効果的です。

DLCの基本原理は、オラクルを介して情報を伝達し、条件付き署名を構築することによって、正しい側が資産を得ることです。参加者はそれぞれキー・ペアを持ち、資金をロックするために資金注入取引を行い、その後、注入取引を消費するためのCETを構築します。オラクルは結果に基づいて対応するCETに署名し、勝者は新しい秘密鍵を計算し、ロックされた資金を消費することができます。

研究によると、DLC内のすべての行動はCETを通じて実現される必要があるため、CETの正確性を確保するために楽観的チャレンジメカニズムを使用するだけで攻撃を防ぐことができます。誤ったCETはチャレンジされ、実行されませんが、正しいCETは実行されます。同時に、オラクルは悪意のある行動に対して代償を支払う必要があります。

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

1. オラクルは連盟で構成されており、任意のメンバーがCETに署名できますが、署名を発行して手数料を稼ぐにはステーキングが必要です。

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

3. オラクルがCETを誠実に署名した後、1週間以内に誰も成功して挑戦しなければ決済され、オラクルは報酬を得る。

4. 誰でもOracle_signに挑戦することができ、成功すればその署名は無効となり、オラクルは担保を失う。

5. チャレンジメカニズムはすべての人に開放されており、オラクルへの信頼の最小化を実現しています。

OP-DLCの利点には次のようなものがあります:

• 資産管理制度が高く、ユーザーは自分だけを信頼できる
• 資金利用率が高く、同量の資金を前払いする必要がない
• オラクルは入金時に決定され、ユーザーもオラクルになることができます。

欠点には次のようなものがあります:

• 出金期間は1週間です
• 事前署名が必要な署名の数はCETの数と線形の関係にあります

要するに、OP-DLCはCETに楽観的チャレンジメカニズムを導入することにより、正しい実行を保証し、悪意のある行為を罰し、さまざまな攻撃に対して効果的に抵抗できることを示し、シンプルな美を体現しています。

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