【速報】ビットコインネットワークにスマートコントラクトをもたらすBitVMが発表される

BitVMとは何か？

ビットコインネットワークにイーサリアムスタイルのスマートコントラクトを導入するための新しいパラダイムが、今週発表されました。BitVMとして知られるこの新技術は、ビットコイン上でゼロ知識証明を使用するための開発者向けツールを提供しているZeroSyncのコアコントリビュータであるRobin Linusによる白書で詳細に説明されています。

BitVMの目標は、ネットワークを複雑化せずに、チューリング完全なビットコインコントラクトを可能にすることです。チューリング完全性とは、可能な計算やプログラムを行うことができるシステムを指す計算用語です。

BitVMでは、計算はオフチェーンで行われ、その後オンチェーンで検証される仕組みが採用されます。これは、イーサリアムのオプティミスティックロールアップのメカニズムと類似しています。オフチェーンで計算が行われるため、計算の複雑さには制限がなく、他のユーザーに影響を与えずにネットワークを混雑させるリスクもありません。

BitVMのプロトコル

BitVMの仕組みは、"証明者"と"検証者"の二つのパーティで構成されています。証明者は、特定の入力が与えられた場合に特定の出力を生成するという特定の機能を主張します。彼らは事前にトランザクションのシーケンスに署名をし、二人の間で挑戦応答のゲームが可能になるようにします。

その後、彼らはビットコインアドレスにオンチェーンデポジットを行い、コントラクトをアクティブにし、オフチェーンデータを交換し始めます。検証者は、間違った主張があった場合に証明者のデポジットを取ることができます。これにより、攻撃者は常に自分のデポジットを失うことになります。

BitVMの制限

Linusの提案に関して、数々のコメントが寄せられました。匿名のビットコイン作家であるShinobiは、オフチェーンデータの管理コストが「巨大」であると指摘し、証明者と検証者の二つのパーティしか関与しないプロトコルは「大きな制限」だと述べました。

BioniqのCEOであるBob Bodilyは、BitVMを「イーサリアムバーチャルマシン（EVM）の非常に初期の限定版のようだ」とX上で投稿しました。「BitVMは素晴らしいブレイクスルーです。現時点では多くの問題点が存在しますが、これらの問題の多くは解決可能です。しばらくすれば、ビットコインのアップグレードなしにより能力のあるビットコインスクリプトを手に入れることができます。」

ビットコインにおけるスマートコントラクト

ビットコインネットワークにスマートコントラクト機能を導入する試みは新しいものではありません。ビットコインの開発者たちは、イーサリアムやソラナなどの他のブロックチェーンと比べて、ネットワークの制約を克服する方法を長い間模索してきました。

昨年12月、ブロックチェーンプロジェクトのStacksは、ビットコインにスマートコントラクトをもたらす手段として、「Stacks bitcoin」（sBTC）というデジタルアセットを提案する白書を公開しました。