
AVMとは何か:BTCを動的な「ステートマシン」として実現するチューリング完全な仮想マシン
TechFlow厳選深潮セレクト

AVMとは何か:BTCを動的な「ステートマシン」として実現するチューリング完全な仮想マシン
AVMは、BTCメインネットのScriptスクリプトを拡張する有益な積極的探索であり、いくつかの比較的簡素なスマートコントラクトをBTCメインネット上に実装するきっかけとなる。
執筆:Haotian
@atomicalsxyz が最新で発表したAVM仮想マシンのホワイトペーパーをどう理解すべきか?簡単に言えば、これはビットコイン仮想マシンを模倣し、もともと「ステートレス」であるビットコインメインネットにスマートコントラクトシステムを搭載する能力を持たせることで、BTC資産以外のより複雑な資産のステート記録および処理を可能にするものであり、チューリング完全なスマートコントラクトに類似している。以下に私の理解を共有する。
1)ビットコインはもともとピアツーピアの電子キャッシュシステムとして設計されており、一定のScriptスクリプトによるデータ保存機能と基本的なOPコード(操作命令)、そしてUTXOに基づくタイムロックや使用条件による資産検証ロジックを持っている。
このため、ビットコインネットワークはBTC資産の記録・転送において「ステートレス」での資産管理を実現できる。しかし、極めて簡素なUTXOモデルと事前定義された状態遷移ルールにより、このステートレスモデルではBTC単一資産の限定的な管理しかできない。
もしBRC20、ARC20、Runesなどの新たな資産をビットコインネットワーク上に追加しようとする場合、それらの資産の保管、取引、ステート変化などを記録するための、より複雑な動的「ステートマシン」モデルが必要になる。これをどう実現するか?
一つの方法は、外部プロトコルやLayer2ソリューションを使って、チェーン外に「ステートマシン」モデルを構築して拡張処理を行うもので、@NervosNetwork や @RoochNetwork のような優れたLayer2拡張ソリューション、あるいはRGBやライトニングネットワークのようなネイティブ型ソリューションがこれに該当する。
もう一つの方法は、Scriptスクリプトの機能を直接拡張し、新しい操作命令やストレージ領域を追加して複雑な資産の生成・移転を処理するもので、CovenantやOP_CATなど、BIP提案の承認を待つ方式がこれにあたる。
これら二つの方法は、いずれも短期間での合意形成が難しいという「能動的すぎ」という問題、あるいは高い不確実性を持つ「受動的すぎ」という課題がある。AVM仮想マシンはその中間に位置し、ビットコインメインネット上で直接仮想マシンの実行環境を構築する特殊なアプローチを提示している。
2)具体的にはどうするのか?AVMの主な動作原理は以下の三つから成る:
1. ビットコインスクリプトのエミュレーション — 実質的にはビットコイン命令セットであり、二重スタックPDA(プッシュダウンオートマトン)を通じてチューリング完全性を実現している;
2. サンドボックス実行環境 — 全体のエミュレータが制御された分離環境に置かれ、サンドボックス内の実行と外部の実行が互いに干渉しないようにする;
3. ステートハッシュ — 参加者が自らのインデクサーが正しく同期されているかを検証でき、ステート不一致による潜在的な攻撃を防止できる。
簡単に言えば、AVMは現在のBTCが持つ限られたストレージ空間とOPコード処理枠組みをそのまま利用し、各BTCメインネット取引に特別な符号化・復号化方式(サンドボックス環境)を導入する。
このサンドボックスは、インデクサー、サンドボックスパーサー(命令セット)、グローバルデータベースなどを内蔵しており、一連の資産保管、取引ステート記録などの管理を独立して完結でき、BTCメインネット内部に動的な「ステートマシン」を組み込んだのと同じ効果を生む。これにより、複雑なスマートコントラクト処理、ステート同期および検証が可能になる。
3)AVM仮想マシンがあれば、理論上ビットコインメインネットに基礎的なスマートコントラクト操作機能を持たせることができ、多重かつ複雑な資産や複雑なステートロジックを持つDAppの実装可能性が生まれる。つまり、ビットコインネットワークが一定の自己構築型エコシステム機能を持つようになる。
これは確かに偉大な進歩であり、少なくともRGB、ライトニングネットワーク、その他優れたLayer2プロトコルと同等レベルのBTC拡張技術革新といえる。場合によってはネイティブ性の面で他のソリューションよりも優れているかもしれない。
ただし、AVMはビットコインScriptスクリプトによる符号化・保存とOPコードによる取引実行に依存しているため、全体としてBTCメインネットの性能に制約される。例えばブロックのストレージ容量や生成速度などだ。
想像してみてほしい。AVM上で構築されたDeFiプロジェクトが毎分7件の取引しか処理できず、二つのステート変換の間には10分の待機が必要だとしたら、理論的に完全であっても、実用面では依然として大きな制約を受ける。また、複雑なコントラクト機能を開発するためにビットコインScript命令セットを用いることは、イーサリアムのSolidityなどに比べてはるかに難易度が高く、開発が困難である。
さらに、AVMのホワイトペーパーは「筋が通った」組み込み仮想マシンの実行方法を整理したに過ぎず、実際に展開され運用環境でどのように動作し、安定稼働できるかは依然として未知数である。
以上のように、私はAVMの開発・実装を、BTCメインネットのScriptスクリプト拡張に基づく有益な能動的探索と捉えており、確かにいくつかの簡素なスマートコントラクトをBTCメインネット上に実装する可能性を拓く。また、ビットコインメインネットがLayer2エコシステム構築やBitVMなどのオンチェーン・オフチェーン統合エコシステムにおいてより大きな役割と価値を発揮できるだろう。
しかし、他のあらゆるBTC拡張ソリューションと同様、AVMにも長所と短所があり、実際のエコシステム構築の成果に応じて「正統性」と魅力を高めていく必要がある。現時点では、冷静かつ慎重な楽観姿勢を持つべきだろう。
TechFlow公式コミュニティへようこそ
Telegram購読グループ:https://t.me/TechFlowDaily
Twitter公式アカウント:https://x.com/TechFlowPost
Twitter英語アカウント:https://x.com/BlockFlow_News













