原作者：Jaleel，BlockBeats

昨夜、ZeroSync プロジェクトのリーダーが「BitVM: Compute Anything on Bitcoin」というタイトルのホワイトペーパーを発表し、激しい議論を巻き起こしました。

Super Testnet と Sam Parker がレビューしたこのホワイトペーパーに見られるように、BitVM は Zero Sync の Robin Linus によって設計された新しいコンピューティング パラダイムであり、Optimistic Roll Up、Fraud Proof、Taproot Leaf、および Bitcoin Script を統合しています。

BitVM を使用すると、ビットコイン ネットワークのコンセンサス ルールを変更せずにチューリング完全なビットコイン コントラクトの表現が可能になり、チェーンに痕跡を残さずにオフライン計算用の計算可能な関数を実行できます。ホワイトペーパーでは、BitVM のアーキテクチャ、入出力、制限事項、展望についても紹介しています。

ホワイトペーパーは、公開後わずか 1 時間で 11 万回の閲覧に達しました。この記事の執筆時点で、閲覧数は 182 万回に達しています。英語コミュニティでの議論は非常に白熱しており、最大のホットスポットの 1 つとなっています。最近の暗号サークルでは。 KOL @LeonidasNFT は、これはエキサイティングなイノベーションだと考え、BitVM の論文を次のように刻みました。ビットコインの碑文、よりネイティブな方法で永遠に存在できるようにします。

ビットコイン開発者はどう考えているのでしょうか？

今年はビットコインのエコシステムが特に活発で、オーディナル市場では多くのビットコイン拡大の物語が生まれ、ビットコイン開発者も非常に活発です。

現在、Ordinals マーケットプレイスとローンチパッドに重点を置いている BioniqMarket CEO @BobBodily は、開発者がビットコインで構築できるようにするツールを構築しています。同氏は自身のソーシャルメディアで、「BitVMは一度きりのソリューションではない。BitVMはEVMほど優れているわけではなく、より遅く、より高価で、複雑である。BitVMの主な利点は、ビットコインで追加のセキュリティが得られることだ」と述べた。アップグレードせずにプログラム可能。新しい op_code は不要。ソフト フォークも不要。すぐに動作します。」

同時にBobBodily氏は、「BitVMで実装が簡単な潜在的なユースケースには、DLCオラクル、輻輳制御/コインジョインアグリゲーター、サイドチェーンクォーラムなど、現在集中サービスに依存しているさまざまなアプリケーションの分散部分が含まれる。」さらに、BitVM は、契約が必要になる可能性があるサイドチェーンのトラストレス ブリッジングの問題を解決しません。BitVM は、Greg Maxwell の 2016 年の ZKP 条件付き支払いの例よりも厳密に優れています。BitVM は非常に複雑で、理解して実装するのが困難です。同じことは、アップグレードによっても達成できます。 op_code を備えたビットコイン。」

ビットコインは何も変える必要がない

関連研究者の Sam Parker 氏は、BitVM が提供する可能性のあるものは、ビットコイン プロトコルを変更することなくより多くのプログラミング機能を可能にするものであり、この機能が分散化と信頼できるサードパーティの必要性の排除にどのように役立つかを考えています。同時に、これはオプションの機能であり、ビットコインコミュニティとユーザーがこの機能を使用するかどうか、使用する方法を選択できることにも言及しました。

サム・パーカー氏は長いツイートで、「繰り返しになりますが、ビットコインは他のチェーンと同様にチューリングが完了しており、これにはビットコインへの変更は必要ありません。現在、一部のビットコイン極限主義者は、「国家の指導」における古典的な見解の一部を述べています。チューリングが完了している = 悪い これは愚かなことだと思います。第一に、チューリング完全性の技術的定義は実際には無限の実行時間を必要とするため、これに対応するための無限の空間と時間がないため、私たちの現実では真にチューリング完全になることはありません。 」

BitVM ホワイトペーパーの内容について、サム パーカー氏は次のように述べています。「その過程で、@robin_linus や @super_testnet などの少数のスクリプト ハッカー グループが、汎用コンピュータに必要なすべての機能をプログラムする方法を見つけ出しました。コードを操作する方法が限られているため、ビットコインの仮想マシン (VM) がイーサリアムのようにチューリング完全になることを妨げる唯一のことは、表現力の問題ではなく、単に実行時間の問題であり、最も厳しい制限です。そのうちのスタック サイズ制限です。

BitVM が行うことは、単一のトランザクションの範囲を超えて、一部のロジックの実行時間を複数のトランザクションに分散させることだけです。それだけです。新しいセマンティック機能を追加したのではなく、実行できるプログラムの長さを指数関数的に増やしただけです。したがって、技術的な定義によれば、ビットコインは実際には以前よりもチューリング完全になっているわけではなく、「実際に実行したいプログラムに対して十分にチューリング完全である」と合理的に言えるプログラム、つまり実行時間を備えているだけです。

これは任意です。コインがチューリング完全コントラクトにロックされていると信頼できない場合 (これは完全に合理的です)、コインをチューリング完全スマート コントラクトにロックしないでください。 UTXO システムの利点の 1 つはセキュリティ サンドボックスです。おそらくインセンティブか何かのせいで、ビットコインにはこの機能があってはならないと人々が強く感じているのであれば、それは議論する価値のある問題であるはずですが、基本的にはTaprootを取り除く必要があり、現時点ではそれはかなり愚かなことのように思えます。 」とサム・パーカーは書いた。

「BitVM は私を慎重に興奮させます」

別のビットコイン拡張プロトコルであるドライブチェーンの偉大な支持者である Simp DAO の創設者であり、上級暗号研究者でもあるエリック ウォール氏は、コミュニティ メンバーから BitVM についての意見を表明するよう招待されました。エリック ウォール氏は次のように述べています。コンセプトはすべて私にとっては適切です。当然、セットアップ段階で非常に多くの事前署名されたトランザクション交換を必要とするソリューションには興味がありません。そのようなソリューションによってどのような問題が発生するかわかりません。オーバーヘッド)と許可（許可）は二つの大きな問題です。

今のところ、彼は慎重ながらも BitVM に興奮しており、実際の実験がどのような結果をもたらすかを待っています。おそらく、このスキームの両側の制限に対するエレガントで簡単な解決策があるかもしれませんが、ないかもしれません。おそらく、zk 証明などの特定のタイプの計算では、オーバーヘッドは管理可能です。 BitVM がその中でうまく機能して zk 証明を検証できれば興味深いでしょう。BitVM は、彼が前に説明した zkwasm 層として機能します。

「余談ですが、攻撃モデルがドライブチェーンに非常に似ていると人々が気づいたときに何が起こるか興味があります。マイナーは証明者と共謀してチャレンジを検閲することで、BitVM の残高全体を盗むことができます。おそらくこれが当てはまります」ドライブチェーンよりも寿命が短い」とエリック・ウォールは書いている。

オンチェーンの痕跡を残さずにチューリング完全コントラクトをビットコイン ネットワーク上で表現できるようにすることで、BitVM は、ビットコイン ネットワークの原理とセキュリティを維持しながら、複雑なブロックチェーン計算を探索するまったく新しい方法を提供します。これにより、ビットコインはそのコアプロトコルを直接変更することなく、より幅広いユースケースと革新的な可能性を受け入れることができます。

BitVM がビットコインの設計と進化について多くの深い議論を引き起こしたことは無視できませんが、将来的にビットVM がどのように実装され、ビットコイン ネットワークで機能するかは、非常に興味深い技術探求の旅となるでしょう。これは重要な疑問も生じます。ビットコインを、主に価値と取引の保存に使用されるデジタル通貨から、より広範で複雑な計算を実行できるグローバル プラットフォームに拡張する準備はできているのでしょうか?これはまた、私たちがビットコインに望む将来の形についてより深く考えるきっかけにもなります。ビットコインはさらに「ネイティブ」なプログラマビリティを追加すべきでしょうか、それともシンプルで安全で不変のままでいるべきでしょうか?

参考内容

1.BitVM ホワイトペーパー