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:楽観的チャレンジメカニズムを用いてビットコインスマートコントラクトを最適化
OP-DLC 2:真理はしばしばシンプルである
1. はじめに
ディスクリートログ契約(DLC)は、オラクルに基づく契約実行フレームワークであり、両者が事前定義された条件に基づいて条件付き支払いを行うことを可能にします。DLCはビットコインの預金の安全性を保証しつつ、新たな分散型金融アプリケーションを実現しました。
前文分析したDLCの利点と直面している問題について、いくつかの最適化のアイデアを提案しました。しかし、DLCは複数の参加者が関与しているため、防御戦略は比較的複雑であり、シンプルさに欠けています。
ビットコインでは、すべての行動はUTXOを通じて実現されます。同様に、DLCの行動はCET(Contract Execution Transaction)を通じて実現されます。したがって、CETが正しいことを確認するだけで、あらゆる攻撃に対抗できます。具体的には、オラクルは質押した後にCETに署名し、CETに楽観的なチャレンジメカニズムを追加します。CETがチャレンジされない場合、またはチャレンジに成功して対処された場合、決済が完了し、オラクルは質押を解除して手数料を受け取ります。オラクルが悪意を持つ場合、誰でも成功裏にチャレンジでき、そのCETは決済できなくなり、オラクルは質押金を失います。この設計はシンプルで優雅です。
! Bitlayer研究:OP-DLC 2 Avenue to Simplicity
2. DLCの仕組み
DLCの原理を簡単な賭けの例で説明します:アリスとボブは第ξブロックのハッシュ値の奇偶性に賭けます。奇数の場合はアリスが勝ち、偶数の場合はボブが勝ちます。DLCはオラクルを通じてブロック情報を伝達し、正しい側が勝つように条件付き署名を構築します。
具体的なプロセスには、資金注入取引、CETの構築、決済、および出金などのステップが含まれます。研究によると、楽観的チャレンジメカニズムを使用してCETが正しいことを確認するだけで、あらゆる攻撃に対抗できることがわかりました。誤ったCETは挑戦されて実行されず、正しいCETは実行されます。さらに、オラクルは悪意のある行為に対して代償を払う必要があります。
3. OP-DLC2
OP-DLCには以下の規定が含まれています:
オラクルはアライアンスで構成されており、任意のメンバーがCETに署名できます。署名して手数料を稼ぐにはステーキングが必要で、悪事を働くとステーキングが失われます。
予言機が悪事を働き結果を変更した場合、誰でも挑戦を開始できます。
オラクルが誠実に署名したCETは1週間後に決済され、報酬を得ることができます。
誰でもオラクルの署名に対してチャレンジを行うことができます。チャレンジが成功した場合、その署名は無効となり、オラクルはステーキングを失います。
OP-DLCの課題は、許可なしに誰でも契約の実行を監視できることです。
価値:
短所:
4. 結論
OP-DLCは楽観的なチャレンジメカニズムをCETに導入し、誤ったCETが決済されないことを保証し、正しいCETが実行されるようにします。この方法はあらゆる攻撃に対抗でき、設計はシンプルで優雅です。