DLCのテクニカル分析と最適化のアイデア

1. 概要

離散対数契約(DLC)は、オラクルに基づく契約実行プランであり、MITのTadge Dryjaによって2018年に提案されました。DLCは、双方が事前に定義された条件に基づいて条件付き支払いを行うことを可能にし、参加者は可能な結果を事前に決定し、事前に署名を行います。オラクルが結果に署名すると支払いが実行されます。フラッシュネットワークと比較して、DLCはプライバシー保護、複雑な金融契約のサポート、対抗リスクの低減などの点で優位性を持っています。

DLCはビットコインエコシステムでの応用の可能性が広いですが、いくつかの問題も存在します:

• オラクルの秘密鍵とランダム数の漏洩リスク
• 中央集権的なオラクルがもたらす信頼の問題
• 分散型オラクルはBIP32キーを直接使用して派生することはできません。
• オラクルノード共謀リスク
• 固定額面変更限度額

この記事では、これらの問題に対してDLCの安全性と実用性を向上させるためのいくつかの最適化案を提案します。

2. DLCの仕組み

アリスとボブが第n+kのブロックハッシュ値の奇偶を賭ける例として、DLCの基本的な作業フローは以下の通りです:

1. 鍵生成: オラクル、アリス、ボブはそれぞれ秘密鍵と公開鍵を生成します

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

3.先物執行取引:資金調達取引を使用するために2つのCETを作成します

4. オラクルはコミットメントR、S、S'を計算し、ブロードキャストします

5. アリスとボブは新しい公開鍵PK^AliceとPK^Bobを計算します。

6. 決済:オラクルはブロックハッシュ値に基づいてsまたはs'をブロードキャストします

7. 引き出し: 勝者はsまたはs'を使って新しい秘密鍵を計算し、資産を引き出します

さらに、一方が長期間にわたってコインを引き出さないように、タイムロックを追加する必要があります。

! DLC原理分析と最適化思考

3. DLCの最適化

3.1 キー管理

オラクルの秘密鍵と乱数の安全性を高めるために:

• BIP32を使用して子鍵または孫鍵を派生させて署名する
• プライベートキーとカウンターハッシュ値を乱数として使用する

3.2 分散型オラクル

Schnorr閾値署名を使用して分散型オラクルを実現し、以下の利点があります:

• セキュリティを向上させ、単一障害点のリスクを減らす
• 分散制御の実装
• システムの可用性と柔軟性を向上させる
• 拡張性がある
• 責任追跡メカニズムをサポート

! DLC原理分析と最適化思考

3.3 分散化と鍵管理の結合

分散型キーデリバリー方法を使用して、分散型オラクルシナリオにおけるBIP32キーデリバリーを実現します。ただし、強化型と非強化型BIP32の互換性の問題を考慮する必要があります。

3.4 OP-DLC: Oracle の信頼の最小化

楽観的チャレンジメカニズムを導入し、オラクルは事前に質押してチェーン上のOPゲームを構築する必要があります。誠実な参加者は悪意のあるオラクルに対して挑戦を行うことができ、勝訴した場合には悪意のある者に対して罰則を科し、質押金を没収します。

3.5 OP-DLC + BitVMダブルブリッジ

OP-DLCとBitVMを組み合わせて、DLCの固定額のおつりの問題を解決する:

• 任意の粒度の釣り銭をサポート
• 複数の入出金チャネルを提供
• オラクルの信頼最小化を実現する
• 資金の利用率を向上させる

! DLC原理分析と最適化思考

4. エピローグ

DLCはTaprootやBitVMなどの新技術を組み合わせることで、より複雑なオフチェーン契約の検証と決済を実現できます。OPチャレンジメカニズムを通じて、オラクルへの信頼を最小限に抑えることができます。将来的にDLCはビットコインエコシステムでより大きな役割を果たすことが期待されています。