MSTR Cat

ブロックチェーン/レベル X · 一周して/10.1 持ち帰るもの/レッスン 5

ブリッジ不要のビットコインネイティブファイナンス

ラッピングやブリッジを使わずにビットコイン上での建築契約、融資、および計算

用意するものスクリプト分析機能を備えたブロックエクスプローラーT. Dryjaによる「The Discreet Log Contracts」ホワイトペーパー(2017年)BitVMの技術ドキュメントおよび仕様案

問い

  1. 新しいトークンやチェーンを導入することなく、金融契約を純粋なサトシ単位で決済するにはどうすればよいのか?
  2. 価格データのためにオラクルを使用する場合と、ローカルで検証する場合とでは、どのような具体的な信頼前提が導入されるのか?
  3. なぜ、一方的にベースレイヤーに戻る機能が、ビットコインネイティブファイナンスにおける主要な安全性の指標と見なされるのでしょうか?

探究

  1. 2017年にT・ドリヤによって提案されたDiscreet Log Contractsは、ネイティブコインのみを使用してビットコイン上で金融契約を実現するものです。両当事者は2-of-2マルチシグ出力に資金をロックし、考え得る各結果ごとに1件の支払いトランザクションを事前に署名します。これらのトランザクションは、その結果に関するオラクルの署名が加わった時にのみ使用可能になります。オラクルは契約の存在を知ることなく自らの証明値を公開します。証明が行われると、対応する支払いが有効になりますが、オラクルが失敗したり不正な振る舞いをした場合は、タイムロックによって参加者は一定期間後に資金を取り戻すことができます。この設計はビットコインを別のチェーンのトークンに包む必要がない点は利点ですが、ユーザーはオラクルが悪意を持って署名しないよう信頼し、かつネットワークがタイムロックを適用することを信頼しなければならないという重要な依存関係が生じます。
  2. マルチシグおよびタイムロック構造により、担保がロックされている間も借り手が自分のキーを保持できる貸付プロトコルが実現可能になる。この仕組みでは、貸し手が1つのキーを、借り手が別のキーを持ち、担保の価値が一定水準を下回った場合には第三者やスクリプトベースのメカニズムが清算を処理する。別のチェーン上でトークンを発行するためのコストがかかるラップド資産とは異なり、このアプローチではすべての価値がビットコインのUTXOモデル内に留まる。ただし、キー管理の複雑さや、これらのトランザクションを作成・署名するソフトウェアにバグが生じるリスクという代償がある。
  3. ライトニングネットワークのチャネルにより、オフチェーン上で支払いが行われ、チャネルが閉じられる時にのみベースレイヤーで決済が行われます。これにより、高頻度な取引における混雑や手数料が削減されつつ、ビットコインの最終性の保証も維持されます。Arkでは、複数のユーザーがオペレーターによって調整された1つのオンチェーンアウトプットを共有でき、オペレーターがいなくなった場合でも各ユーザーは単独でチェーンに戻るための事前に署名された経路を持っています。これらのシステムの安全性は、完全に基盤となるチェーンのコンセンサスに依存しており、新しいバリデータセットが導入されることはなく、以前から確立されている分散型のセキュリティモデルが維持されます。
  4. BitVMスタイルの設計は、ビットコインの合意規則を変更することなく任意の計算を検証することを目指している。BitVM(Robin Linus、2023年)は楽観的であり、プロバーがオフチェーン上で結果を主張し、誰かがそれに異議を唱えた場合、ビットコインのScriptによって争いが行われ、誤ったステップが特定されてプロバーにペナルティが科せられる。その主な用途は、信頼できる連合体ではなく、多数の中から1人の誠実な検証者さえいれば安全が保証されるブリッジである。これは、汎用性の高いチューリング完全なチェーンから、選択的かつ検証可能な計算へと大きく移行するものである。
  5. これらのメカニズムはそれぞれ異なる信頼の前提を持ち、ビットコインの核心的な特性と照らし合わせて評価する必要がある。オラクルは外部データフィードへの信頼を必要とし、マルチシグ契約はコードの正確性やキー管理への信頼を必要とし、ステートチャネルは紛争解決メカニズムへの信頼を必要とする。共通しているのは自己管理の維持であり、ユーザーはどんな場合でも、運営団体や管理者キーの許可なしにネイティブなサトシに戻すことができる。これは、資産をラップする形式とは大きく対照的であり、後者では信頼できる仲介者を通じて再び橋渡しを行う必要があり、ネイティブな設計が回避している相手方リスクが再び生じる。
  6. DLC仕様(dlcspecs)に記載されているトランザクション構造を確認してください。それは、2-of-2マルチシグ出力を持つ資金調達用トランザクション、各結果ごとに1件の事前署名済み実行トランザクション、そしてオラクルが証明しない場合に備えて所定の時間までロックされた返金用トランザクションから構成されます。各当事者、つまりオラクルとチェーンが信頼できる部分をマークしてください。

重要な事実

  • ディスクリート・ログ契約は、オラクルによる認証で完了されたアダプター署名を用いてネイティブビットコインで決済が行われ、時間制限付きの返金がなされます。
  • マルチシグ・レンディングプロトコルは、担保をUTXOモデルで保持することで、ラップされたトークンのブリッジによるリスクを回避します。
  • LightningとArkは支払いをチェーン外で処理し、各ユーザーはベースレイヤーへの出口経路を保持する。
  • BitVMは、コンセンサスルールを変更することなく、オフチェーンでの計算を楽観的に検証し、紛争はビットコインのScriptによって解決されます。
  • ネイティブビットコインファイナンスは、許可なしに一方的にチェーンへ出金できることで自己管理を維持している。
  • ネイティブコントラクトにおけるオラクル依存性は、純粋なオンチェーンロジックとは異なる外部の信頼前提をもたらす。

演習 九・六・三・一

9集めるディスクリート・ログ契約の具体的な構成要素9つを、主要な役割、署名の種類、タイムロックパラメーターを含めて特定してください。
6まとめる9つのコンポーネントを、信頼の主な源泉である暗号数学、外部オラクル、社会的合意、コードロジック、キー管理、ネットワークによる強制の6つのカテゴリーに分類します。
3絞り込むセキュリティ、複雑性、および出口流動性という観点から、6つのグループをビットコインベースの金融サービスとラップされた資産を用いるDeFiの間の3つの主要なトレードオフに絞り込む。
1結晶化する新しいチェーンを持たないビットコインベースのあらゆる金融商品における最低限の安全性要件とは、システム全体がハッキングや不正アクセスから守られることである。

事実確認

日付、数字、主張は、下記に記載された公表資料と照合して確認しました。

インタラクティブ版で開く →

EN PT ES ZH KO RU DE FR MS