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

ディスクリートログコントラクト (DLC)は、オラクルに基づいた契約実行フレームワークであり、両者が事前に定義された条件に基づいて条件付きの支払いを行うことを可能にします。DLCはビットコインの預金の安全性を保証しつつ、新しい分散型金融アプリケーションを実現しました。

DLCはプライバシー保護、複雑な契約、資産の安全性などの面で優位性がありますが、鍵のリスク、非中央集権的な信頼のリスク、共謀のリスクなどの問題も存在します。以前の研究では、非中央集権的なオラクル、閾値署名、楽観的チャレンジメカニズムなどを導入してこれらの問題を解決しようとしましたが、戦略は比較的複雑です。

ビットコインにおけるすべての行動はUTXOを通じて実現されるため、UTXOが正確であることを確保することで、あらゆる攻撃に対抗できます。同様に、DLCにおけるすべての行動はCET(Contract Execution Transaction)を通じて実現されます。楽観的チャレンジメカニズムを使用してCETの正確性を確保すれば、あらゆる攻撃に対抗できます。具体的には、オラクルが2BTCをステーキングした後、CETに署名できます。CETに楽観的チャレンジメカニズムを追加し、チャレンジされなかったり、チャレンジに成功した場合、CETの正確性が確認されて決済され、オラクルはステーキングを解除し、手数料を受け取ります。オラクルが悪行を働いた場合、誰でも成功裏にチャレンジでき、そのCETは決済されず、オラクルはステーキングを失い、同じCETに対して再度署名することはできません。この方法は簡潔で効果的です。

DLCの原理は、シンプルな賭けの例を使って説明できます: アリスとボブは第ξのブロックのハッシュ値の奇数性または偶数性に賭けます。オラクルを通じてブロック情報を伝達し、条件付き署名を構築して、正しい側が全ての資産を得るようにします。このプロセスには、資金の投入取引、CETの構築、決済、出金などのステップが含まれます。

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

OP-DLCには5つの主要な規則が含まれています:

1. オラクルはアライアンスで構成されており、メンバーは誰でもCETに署名でき、手数料を稼ぐために2BTCをステークする必要があります。
2. オラクルが悪意を持って結果を変更した場合、誰でもチャレンジを起こすことができます。
3. オラクルがCETの誠実な署名を行った場合、1週間後に正しく清算され、報酬を得ることができます。
4. 誰でもOracle_signに挑戦することができ、不誠実なオラクルは罰せられます。
5. OP-DLCにおける課題は、許可なしでオラクルへの信頼の最小化を実現することです。

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

• ユーザーは資産の管理が高く、自分だけを信頼することができます。
• 資金の使用率が高い
• サイン可能なオラクルは入金時に確定し、ユーザーもオラクルになることができます

主な欠点は:

• 出金期間は1週間です
• 事前署名が必要なサインの数が急速に増加しています

要するに、OP-DLCはCETに楽観的チャレンジメカニズムを導入することで、正しいCETの実行を確保し、誤ったCETを阻止し、悪意のあるオラクルに対して罰を与えています。この方法は様々な攻撃に対して効果的に抵抗でき、シンプルさの美を体現しています。

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