ビットコイン愛好家が革新的な BitVM 論文を提案し、ビットコインにイーサリアムのようなコントラクトを導入 - CoinRegWatch

プラトン再発行

フォロワー： 0

ホワイトペーパーの背後にある人物、Robin Linus は、イーサリアムの楽観的なロールアップからインスピレーションを得て、不正行為の証明とマークルツリーテクノロジーの最近の進歩を組み込んで、BitVM のアーキテクチャを設計しました。

ビットコイン開発者は、ソフトフォークを必要とせずに、より表現力豊かなオフチェーンスマートコントラクトをビットコインネットワークに導入する新しいアプローチを導入しました。

ZeroSync のプロジェクトリーダーである Robin Linus 氏が 9 月 XNUMX 日に発表した「BitVM: Enabling Computation on Bitcoin」というタイトルのホワイトペーパーで発表された BitVM により、チューリングはビットコインの基礎となるコンセンサスルールを変更することなくビットコイン契約を完了できるようになります。

Turing Complete システムは、あらゆる計算問題を理論的に解決する能力を備えています。

BitVM は、ビットコインコントラクトの「ロジック」をオフチェーンで実行することによって動作しますが、検証はビットコインブロックチェーン上に残ります。イーサリアムの楽観的なロールアップに似ています。

BitVM のアーキテクチャは不正証明に依存しており、チャレンジ/レスポンスモデルを採用しています。このモデルでは、「証明者」が主張を主張でき、「検証者」は不正証明技術を使用して、虚偽の主張がなされた場合に証明者にペナルティを与えることができます。

ライナス氏は、ビットコインは現状では署名、タイムロック、ハッシュロックなどの基本的な操作に限定されていると指摘した。ただし、BitVM にはこれらの機能を拡張し、さまざまなアプリケーションを可能にする可能性があります。

「考えられる用途には、チェス、囲碁、ポーカーなどのゲームが含まれ、特にビットコイン契約内の真正性の証明の検証が含まれます。」

「さらに、ビットコインを外部ブロックチェーンに橋渡ししたり、予測市場を確立したり、革新的なオペコードをシミュレートしたりすることも考えられるかもしれない」とライナス氏は付け加えた。

Linus は、証明者と検証者からなる 2 者構成に対するモデルの制約であるこのモデルの限界を認めました。さらに、プログラムを実行するには、かなりの量のオフチェーンの計算と通信が必要です。

Linus 氏は、次の「マイルストーン」は、ビットコインコントラクトの作成とデバッグ用に調整された高レベルプログラミング言語である Tree++ と並んで、BitVM の完全な実装であると強調しました。

BitVM は、2021 年 XNUMX 月に有効化された Taproot ソフトフォークによって導入された機能を活用しています。

ライナス氏は、8ページのホワイトペーパーの作成において、楽観的なロールアップに関するイーサリアムの研究とマークルツリーに関する研究の貢献を認めた。

BitVMに対するビットコインコミュニティの反応:

著名なビットコイン愛好家であるエリック・ウォール氏は、BitVMホワイトペーパーで概説されているコンセプトへの賛同を表明し、それが有望であると述べ、そこから生じる現実世界での実験の可能性について慎重な興奮を表明した。

ビットコインアナリストのディラン・レクレア氏も、BitVM ホワイトペーパーが印象的であると評価しました。しかし、ビットコインコアの寄稿者であるアダム・バック氏は注意を促し、熱意を和らげるべきだと示唆した。

ブロックチェーン業界では、「dotta」として知られる開発者の 1 人が、GitHub 上の概念実証の存在を強調しました。

別のユーザーであるサム・パーカー氏は、BitVM はビットコインをこれらのチューリング完全契約に「ロック」する義務を課さないと説明し、ビットコイン支持者に共通する懸念に対処しました。

「最後に、参加は任意であることに注意することが重要です。コインがチューリング完全コントラクトにロックされることに不安がある場合 (これはまったく合理的です)、チューリング完全スマートコントラクトに関与しないことを選択できます。 UTXO システムの強みの 1 つは、サンドボックスによるセキュリティです。」

「psage」などの他の企業は、BitVM が次の強気市場でビットコインの価格を押し上げる要因のリストに貢献すると信じています。