This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
OP-DLC 2:楽観的チャレンジメカニズムはDLCの安全性と分散化を確保します
OP-DLC 2:シンプルさへの道
はじめに
ディスクリートログコントラクト (DLC)は、オラクルに基づく契約実行フレームワークであり、双方が事前に定義された条件に基づいて条件付き支払いを行うことを可能にします。DLCはビットコインの預金の安全性を保証しながら、新しい分散型金融アプリケーションを実現しました。しかし、DLCは鍵のリスク、分散型信頼のリスク、共謀のリスクなど、いくつかの問題にも直面しています。
ビットコインでは、参加者の行動はすべてUTXOを通じて実現される必要があります。したがって、コンセンサスメカニズムを使用してUTXOの正確性を保証することで、任意の攻撃に対抗できます。同様に、DLCでは、すべての行動はCET(Contract Execution Transaction)を通じて実現されます。楽観的チャレンジメカニズムを使用してCETの正確性を保証することで、任意の攻撃に対抗できます。具体的には、オラクルが2BTCをステークした後、CETに署名できます。CETに楽観的チャレンジメカニズムを追加します。CETがチャレンジされないか、チャレンジに成功して対処されると、CETは正確であり、決済を完了でき、オラクルはステークを解除し、手数料を得ます。オラクルが悪事を働こうとすると、誰でも成功裏にチャレンジでき、そのCETは決済できず、オラクルはステークを失い、同じCETに対して再度署名することはできません。これは大道至簡の原則に従い、簡潔な美を持っています。
! Bitlayer研究:OP-DLC 2 Avenue to Simplicity
DLCの仕組み
アリスとボブは賭け契約を締結しました: 投じる第ξブロックのハッシュ値が奇数か偶数かを賭けます。奇数の場合、アリスが勝利し; 偶数の場合、ボブが勝利します。DLCを使用して、オラクルを通じて第ξブロックの情報を伝達し、条件付き署名を構築し、正しい勝者がすべての資産を獲得できるようにします。
DLCの主なステップには、資金提供取引、CETの構築、決済、出金が含まれます。研究によると、DLC内のすべての行動はCETを通じて実現される必要があります。したがって、楽観的チャレンジメカニズムを使用してCETの正確性を確保するだけで、任意の攻撃に対抗できます。誤ったCETは挑戦されて実行されず、正しいCETは実行されます。さらに、オラクルは悪意のある行動に対して代償を支払う必要があります。
OP - DLCの2
OP-DLCには以下の5つの規定が含まれています:
オラクルは連合で構成され、任意のメンバーがCETに署名できます。2BTCをステーキングした後、オラクルは署名を発行して手数料を稼ぐことができます。悪事を働いたメンバーはステーキングを失います。アリスとボブもオラクルになり、自分だけを信じることができます。
もしオラクルが悪意を持って結果を変更した場合、参加者は誰でも挑戦を開始することができます。
オラクルがCETを誠実に署名した場合、1週間後に正しく決済されます。オラクルは0.05BTCの報酬を得ます。
誰でもOracle_signに挑戦することができます。誠実な署名は1週間後に決済が実行され、オラクルはステーキングを解除し手数料を得ます。不誠実な署名はステーキングの損失を引き起こし、そのオラクルは同じ結果の署名をそのDLC契約に対して再び行うことができません。
OP-DLCにおける課題は、許可なしで、どの参加者でも契約の実行を監視できることです。オラクルに対する信頼の最小化が実現されました。
OP-DLCの利点には次のものがあります:
欠点には次のようなものがあります:
まとめ
OP-DLCは楽観的なチャレンジメカニズムをCETに導入し、誤ったCETが決済されず、悪意のあるオラクルがステークを失い、正しいCETが実行され、オラクルがステークを解除し手数料を獲得することを保証します。この方法は任意の攻撃に対抗でき、シンプルな美しさを体現しています。