原作者：Haotian

「BitVM: Compute Anything On Bitcoin」というタイトルのホワイト ペーパーが開発者間で激しい議論を巻き起こしていますが、これはビットコイン ネットワークがチューリング完全契約を実装しており、あらゆる計算可能な関数を実行できることを意味しているようです。

これは、ビットコインネットワークがイーサリアムなどのエコシステムのすべての物語を再現できることを意味するのでしょうか?既存のビットコインのコンセンサスを変更したり、アップグレードする必要はありません。ビットコインの現在の基本的な op_code に依存するだけで、ビットコイン ネットワークに「複雑な」プログラマビリティを与えることができるため、ビットコイン ネットワークはチューリング完全性ですべてを計算できるようになります。

待って、今から夢を見ないで、まず BitVM のアイデアの道筋について話し合いましょう。スクリプト空間は複雑なプログラミングをどのように実行するのでしょうか?楽観主義ロールアップ思考とはどういう意味ですか?不正防止 不正防止の原理とは何ですか? BitVM の実装に対する障害は何ですか?次に、理解を容易にするために、その一般的な論理フレームワークを段階的に分析していきます。 (ただし、より具体的な技術的な実装の詳細については議論しないでください)

複雑なプログラム可能な機能を実装するにはどうすればよいですか?

ビットコインのプログラミング機能は非常に限られており、スクリプトでは単純なロジックと限られた操作コードしかサポートしていないため、複雑なスマート コントラクトをビットコイン ネットワーク上で開発することはできません。 BitVM 提案の想像力豊かな考え方の中心点は次のとおりです。タップルート アドレス マトリックスまたはタップツリーを通じて、バイナリ回路に似たさまざまなプログラム命令が実装され、その組み合わせは完全なコントラクトの実行に相当します。

具体的には、各スクリプト内の UTXO 消費条件命令をプログラムの最小単位とみなすことができ、スクリプトの実行には true と false の 2 つの結果が得られます。タップルート アドレスに特定のコードを入力すると、決定的な結果を得ることができます。 0 または 1 の場合、多数のタップルート アドレスを行列に形成すると、順序付けされたタップツリーを形成でき、実行結果には 011001 などのバイナリ回路テキスト効果が多数含まれます。実行可能なバイナリ プログラム。プログラムの複雑さは、結合されたタップルート アドレスの数に依存し、アドレスの数が多いほど、ビットコイン フレームワークの下で各スクリプトのプリセット命令が豊富になり、タップツリー全体で実行できるプログラムがより複雑になります。メーカーセンスですよね？

このアイデアは本当に十分に大きなものです。しかし、このロジックによれば、確かに命令の最小単位はビットコインのフルノードで完成しており、タップルートアドレスは無限に重なり合い、無限の組み合わせが可能であるため、多くの複雑な計算が重なり合う可能性があります。ある意味、チューリング完成機と言っても過言ではありません。しかし、タップルートアドレスを無限に積み重ねてもコストが増大するだけであり、理論上はチューリング完全性で全てを実現できるが、現実的ではない。

したがって、ホワイトペーパーで言及されているチューリング完全性は、少々「コンセプトを盗んだ」極端な理想的な状況にすぎず、スクリプトのみに依存するビットコインネットワークはおろか、イーサリアムのいわゆるスーパーコンピューターですらチューリング完全性を完全に実現することはできません。 ?

いくつかの複雑な概念の簡単な分析

コア フレームワークに関する上記の理解に基づいて、ホワイト ペーパーで言及されているオプティミズム ロールアップ、不正防止、およびビットのコミットメントを見てみましょう。単一のタップルート空間と実行可能なコードロジックは限られているため、複雑なプログラムをオフチェーンで実行し、キー検証リンクのみをチェーンに置くのは、一種のロールアップのアイデアですよね。

不正証明は次のように理解できます. 証明者と検証者はまず巨大なバイナリ回路をコンパイルします. ビットコインネットワークが回路を実行するとき, 証明者は事前に署名し, 一定量のビットコイン資産を担保する必要があります. 検証者が証明者を検証した場合悪事を行っている疑いがある場合は、チェーンにトランザクションを送信して、チェーン上のタップツリー「プログラム」の UTXO ロック解除条件をトリガーできます。成功した場合、検証者は証明者の住宅ローン資産を没収できます。不正行為を証明するプロセス。

このロジックでは、なぜ BitVM が合意に達した 2 者にのみ適用されるのかを理解するのは難しくありません。つまり、実行前に全体の回路図を共有する必要があり、詐欺師認定プログラムは有効期間内に実行する必要があり、特定の資産は質権を設定し、事前に署名する必要があります。オフチェーンで合意されたコンセンサスを確立する際に両当事者が協力しない場合、ビットコインネットワークの限られたオンチェーン実行環境のみに依存して真の「契約」の実行を達成することは困難になります。

BitVM の実装に対する障害は何ですか?

1) BitVM は現在、コンセンサスに合意した 2 当事者間のオンチェーン操作にのみ適しています。オンチェーン環境は、オープンで透明な契約実行プロセスにすぎません。現時点では、合意された 2 つの主題間でのみ実装できますが、NN を実装する場合は、より複雑な技術的な論理設計が必要になります。

2) BitVM が単一のタップルート アドレスのスクリプトを適用して、ビットコインの実行ロジック フレームワークを超えることができない最小のプログラミング単位を実装する方法たとえば、ハッシュロックとタイムロックは、限られたストレージ条件を超えることはできません。楽観的に言えば、1 つのタップルート アドレスで数百の論理ゲートをプログラムできますが、それ以上の場合は、タップツリーを構築するために多数のアドレスを組み合わせる必要があります。問題は、タップルートアドレスのあらかじめ設定されたロック解除条件を実行するにはマイニング手数料の支払いが必要であり、アドレスの組み合わせが増えるほどコストが増加することです。将来的には、ライトニング ネットワークの双方向チャネル テクノロジによってコストを削減できる可能性がありますが、一般に、論理ゲート回路の実行にはビットコイン ネットワークに依存する必要があり、これは遅いだけでなく、考えてみると高価でもあります。それについて。

3) BitVM は、理想的には非常に限定されたシナリオをサポートし、大量のオフチェーン計算に適しており、一部のコンセンサスと資産転送のみがオンチェーン シナリオに依存する必要があります。例えば、ゲームの資産処分リンクなど。

一般に、BitVM はオープンマインドで非常に創造的なアイデアですが、その実装のための技術的フレームワークによれば、短期的にはホワイトペーパーの構想段階に限定される可能性が高いことが知られています。調査と実装には依然として課題があり、大きな課題です。非常に簡単な例を使って説明しましょう。BitVM は、誰もがモバイル端末を使用できる時代に、部屋よりも大きな巨大なコンピューターを構築するようなものです。