BitVM ホワイトペーパーが発表され、開発者たちは「ビットコイン上で何でも計算する」というビジョンをどのように考えているのか？

作者：Jaleel，BlockBeats

昨夜、ZeroSync プロジェクトの責任者が「BitVM：ビットコイン上で何でも計算する」（BitVM: Compute Anything on Bitcoin）というタイトルのホワイトペーパーを発表し、話題を呼んでいます。

このホワイトペーパーは Super Testnet と Sam Parker によってレビューされており、BitVM は Robin Linus によって Zero Sync で設計された新しい計算モデルで、Optimistic Roll Up、Fraud Proof、Taproot Leaf、Bitcoin Script を融合させています。

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

ホワイトペーパーが発表されてからわずか1時間で11万の閲覧数に達し、執筆時点での閲覧数は182万に達しています。英語コミュニティでの議論は非常に活発で、暗号業界における最近の最大のホットトピックの一つとなっています。KOL @LeonidasNFT は、これは期待される革新であると考え、BitVM の論文をビットコインのインスクリプションに刻み、よりネイティブな方法で永遠に存在させることにしました。

ビットコイン開発者たちはどう評価している？

今年のビットコインエコシステムは特に賑やかで、Ordinals 市場から多くのビットコインの拡張ストーリーが生まれ、ビットコイン開発者たちも活発に活動しています。

現在、Ordinals marketplace と launchpad に注力している BioniqMarket の CEO @BobBodily は、開発者がビットコイン上で構築するのを助けるツールを構築し続けています。彼は自身のソーシャルメディアで次のように述べています。「BitVM は一度きりの解決策ではありません。BitVM は EVM のように優れているわけではなく、より遅く、より高価で、より複雑です。BitVM の核心的な利点は、今すぐにビットコイン上で追加のプログラマビリティを得ることができることであり、アップグレードは不要です。新しい op_codes は必要ありません。ソフトフォークも不要です。今すぐに使用できます。」

同時に BobBodily は、「BitVM の容易に実現できる潜在的なユースケースには、現在中央集権的サービスに依存しているさまざまなアプリケーションの一部、DLC オラクル、混雑制御/coinjoin アグリゲーター、サイドチェーン法定通貨が含まれます。また、BitVM はサイドチェーンの信頼なしにブリッジの問題を解決しておらず、契約が必要になる可能性があります。BitVM は Greg Maxwell の 2016 年の ZKP 条件付き支払いの例よりも厳密に優れています。BitVM は非常に複雑で、理解と実装が困難です。ビットコインを op_code のアップグレードで同じことを実現できます。」と述べています。

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

関連研究者の Sam Parker は、BitVM がビットコインプロトコルを変更することなく、より多くのプログラミング能力を実現する可能性を提供し、この能力がどのように分散化を助け、信頼できる第三者への依存を排除するかについて考えています。同時に、彼はこれはオプションの機能であり、ビットコインコミュニティとユーザーがこの機能を使用するかどうか、どのように使用するかを選択できることにも言及しています。

長いツイートの中で Sam Parker は次のように書いています。「再度強調しますが、現在のビットコインは他のどのチェーンと同様にチューリング完全性を備えており、これはビットコインを変更する必要はありません。現在のビットコイン最大主義者の一部が「指導的立場」にいるときの古典的な見解の一つは、チューリング完全性=悪であり、私はこれが非常に愚かに思えると思います。まず、チューリング完全性の技術的定義は実際には無限の実行時間を要求しますが、私たちの現実には、無限の空間と時間を持たないため、実際にチューリング完全性を達成するものは存在しません。」

BitVM ホワイトペーパーの内容について、Sam Parker は次のように述べています。「このプロセスの中で、@robinlinus や @supertestnet のような小さなグループのスクリプトハッカーが、私たちが一般的なコンピュータから望むすべての機能をビットコインの非常に限られた操作コードセットに組み込む方法を見つけ出しました。したがって、ビットコインの仮想マシン（VM）がイーサリアムのようにチューリング完全性を持たない唯一の理由は、表現能力の問題ではなく、単に実行時間の問題であり、その最も厳しい制限はスタックサイズの制限です。

BitVM が行うすべては、単一のトランザクションの範囲を超える論理の実行時間を、複数のトランザクションに分散させることを許可することです。それだけです。私たちは新しい意味的特徴を追加しているわけではなく、単に実行できるプログラムの長さを指数関数的に増加させているだけです。したがって、技術的定義に従えば、ビットコインは以前よりもチューリング完全性を持っているわけではなく、単に「私たちが実際に実行したいプログラムに対して十分にチューリング完全である」と合理的に言えるプログラムに実行時間が与えられているだけです。

これは自発的なものであり、もしあなたがあなたのコインがチューリング完全な契約にロックされることを信頼していないなら（完全に合理的です）、それらをチューリング完全なスマート契約にロックしないでください。UTXO システムの利点の一つは、安全なサンドボックス化です。もし人々がビットコインがこの機能を持つべきではないと強く考えているなら、たぶんそれはインセンティブや他の問題のためにそうであるべきですが、それは議論の余地がある問題であり、基本的には Taproot を取り除く必要があるでしょうが、今の時点では非常に愚かに見えます。」と Sam Parker は書いています。

「BitVM は私に慎重な興奮をもたらす」

ビットコインの拡張プロトコル Drivechains の大きな支持者である Simp DAO の創設者兼暗号資産の研究者である Eric Wall は、コミュニティメンバーから BitVM に対する見解を表明するよう招待されました。Eric Wall は次のように述べています。「私はこのホワイトペーパーを読み終えたばかりで、すべての概念が私にとって適切です。私は、設定段階で非常に大量の事前署名取引の交換を必要とするスキームにはあまり興味がありません------そのようなスキームがどのような問題を引き起こすか分かりません。追加のリソース消費（オーバーヘッド）と権限（パーミッション）という二つの大きな問題があります。」

現在、彼は BitVM に対して慎重な興奮を抱いており、実際の実験が何をもたらすかを待っています。おそらくこのスキームの二者制限には優雅で微細な解決策があるかもしれませんし、ないかもしれません。特定のタイプの計算、例えば zk 証明においては、オーバーヘッドが管理可能であるかもしれません。もし BitVM が zk 証明を検証するのにうまく機能すれば、それは興味深いことです------BitVM は彼が以前に議論した zkwasm 層の役割を果たすことになります。

「余談ですが、人々が攻撃モデルがドライブチェーン（Drivechains）と非常に似ていることに気づいたときに何が起こるかに興味があります。マイナーは証明者と共謀し、挑戦を審査することで BitVM の全残高を盗むことができ、この状況はドライブチェーンよりも短い時間持続する可能性があります。」と Eric Wall は書いています。

ビットコインネットワーク上でチューリング完全な契約を表現し、チェーン上に痕跡を残さないことを可能にする BitVM は、複雑なブロックチェーン計算を探求するための全く新しい方法を提供し、ビットコインネットワークの原則と安全性を維持します。これにより、ビットコインはそのコアプロトコルを直接変更することなく、より広範な使用ケースと革新の可能性を受け入れることができます。

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

参考内容

1.BitVM ホワイトペーパー