ビットコインのスマートコントラクトを強化する提案「ＢｉｔＶＭ」とは？

●ＢＴＣのスマートコントラクトを強化

暗号資産（仮想通貨）ビットコイン（ＢＴＣ）のエコシステムにおいて、スマートコントラクトの実用性を強化する「ＢｉｔＶＭ」という新しいコンセプトが９日に発表された。

ＢｉｔＶＭは、イーサリアムのＬ２スケーリングソリューションである「Ｏｐｔｉｍｉｓｔｉｃ　Ｒｏｌｌｕｐ」と"似た"アプローチを採っており、オフチェーンで計算処理と検証のシステムを設け、結果のデータをオンチェーンで保存する。

ビットコイン関連の開発組織ＺｅｒｏＳｙｎｃの貢献者であるロビン・リーナス（Ｒｏｂｉｎ　Ｌｉｎｕｓ）氏が提出した論文によると、今後のビジョンにはライトニングネットワークや他のオフチェーンプロトコルとの統合も視野にあるようだ。

ビットコインのスマートコントラクト機能は基本的な操作（署名、タイムロック、ハッシュロックなど）に限定されているが、ＢｉｔＶＭはこれを拡張し、イーサリアムと同等（チューリング完全）のプログラミングを可能にする。

これにより、豊かな表現力を持つコントラクトが可能になる。ＤｅＦｉ、ゲーム、ＮＦＴ市場など、多様なアプリケーションが開発可能となる。さらに、オフチェーンでの運用によって、ビットコインネットワークの混雑を避けるよう設計されている。

●ＢｉｔＶＭの構成とその課題

ＢｉｔＶＭは、ｆｒａｕｄ　ｐｒｏｏｆｓ（不正証明）とチャレンジ・レスポンス・プロトコルに基づいて構築され、Ｂｉｔｃｏｉｎのコンセンサスルールを変更することなく機能する。

このシステムでは、"Ｐｒｏｖｅｒ"（証明者）と"Ｖｅｒｉｆｉｅｒ"（検証者）という２つの主体間でのインタラクションが前提となっている。両者はオフチェーンで多くの計算とコミュニケーションを実施する。

証明者はコミットメントをオフチェーンで公開し、不正があると疑われる場合にこれにチャレンジを行う。検証者がオンチェーンで不正の証拠を提出すると、証明者にペナルティが課せられるメカニズムが存在する。

しかし、この仕組みに対して、業界の専門家らからは様々な批判が寄せられている。主な指摘は、ＢｉｔＶＭのアプローチは２パーティ間のやりとりに限定されている点が課題となり、特に計算量が膨大になるリスク、また複雑な多パーティ間スマートコントラクトやｄＡｐｐｓの設計に制約をもたらす可能性があるというものだ。

ある声は、リーナス氏の提案の攻撃モデルが「ドライブチェーン」と似た脆弱性があると指摘。マイナーが証明者と共謀し、チャレンジを検閲することで、ＢｉｔＶＭの残高を盗む可能性があると警戒している。

一方で、ＢｉｏｎｉｑのＣＥＯ、Ｂｏｂ　Ｂｏｄｉｌｙ氏は、ＢｉｔＶＭを「イーサリアム仮想マシン（ＥＶＭ）の初期の限定版に似ている」と評価している。彼は「いくつかの穴」が存在するものの、それらは解決可能であると期待を寄せた。

（イメージ写真提供：１２３ＲＦ）

CoinPostに掲載された記事を、許可を得て転載しています。