簡単なAVMホワイトペーパー：BTCが動的な「ステートマシン」を実現するチューリング完全な仮想マシン？

AVM仮想マシンの最新の発表を理解するにはどうすればよいですか？要するに、それはビットコイン仮想マシンをシミュレートすることによって、元の「ステートレス」ビットコインメインネットがスマートコントラクトシステムを搭載できる能力を実現するためのものであり、それによりBTC資産以外のより複雑な資産の状態記録と処理能力を実現できるようになります。これはチューリング完全なスマートコントラクトに類似しています。それでは、私の理解を共有します。

1）ビットコインはもともとピアツーピアの電子キャッシュシステムとして設計されており、ある程度のスクリプトデータの保存能力を持ち、同時にいくつかの基本的なOPコード操作があり、UTXOのタイムロックと支出条件に基づいた資産の検証ロジックもあります。

したがって、BTC資産の記録と転送が「状態レス」で資産管理ができるようになっています。UTXOの極小モデルと事前定義された状態変換ルールの制約により、この状態レスモデルはBTC単一資産の限られた管理のみを行うことができます。

若尝试在BTC网络上新增资产，比如BRC20、ARC20、Runes等资产，就需要有一罠更复杂的动态“状态机”模型来记录这些资产的存储、交易、状态变化等。如何实现呢？

一种方式时采用外部プロトコル和layer2 二層解决方案在链下构建“状态机”模型来延展处理，像 @NervosNetwork @RoochNetwork 等目前优秀的二层扩展方案，甚至RGB、ライトニングネットワーク等Native解决方案都属于此类；

另一种方式是直接扩展脚本的功能，以增加新的操作吗或存储空间来处理复杂资产的创建和转移，像Covenant和OP_CAT等依赖BIP提案标准被通过的方案都属于这种；

以上の2つの方法は、どちらもあまりにも「能動的」すぎて、短期間での合意形成が困難であるか、あるいはあまりにも「受動的」であり、非常に不確実性が存在しています。AVM仮想マシンは、その間の一種であり、ビットコインのメインネット上で直接仮想マシン実行環境を構築する特別な処理方法を提供しています。

2）それをどうやるのですか？ AVMの主要な動作原理には、次の3つの部分が含まれています：

1、ビットコインスクリプトシミュレーションは、実際にはビットコインの命令セットであり、ダブルスタックPDA（プッシュダウンオートマトン）を介してチューリング完全な特性を実現しています；

2、サンドボックス実行環境では、シミュレータ全体が制御された隔離環境にあり、サンドボックス内の実行と外部の実行が干渉しないようになっています。

3、状態ハッシュ、参加者がそのインデクサーの状態が正しく同期されているかを検証できるようにし、状態の不一致による潜在的な攻撃を防ぎます。

AVMは、現在のBTCの制限されたストレージスペースとOPコード処理フレームワークを直接活用し、各BTCメインネットワークトランザクションに特殊なエンコーディングおよびデコーディング方法（サンドボックス環境）を導入することによって、簡単に理解できます。

このサンドボックスには、インデクサー、サンドボックスパーサ（命令セット）、グローバルデータベースなどが組み込まれており、資産の保存、取引状態の記録などを独立して行うことができ、まるでBTCメインネットワークに動的な「ステートマシン」が組み込まれたように複雑なスマートコントラクトの処理や状態の同期と検証を実現することができます。

3）AVMの仮想マシンがあれば、理論上はビットコインのメインネットに基本的なスマートコントラクトの操作機能を持たせることができ、ビットコインが複数の複雑な資産や状態論理DAppを管理する可能性を持たせることができます。これにより、ビットコインネットワークに一定の自己構築エコシステムの機能を持たせることができます。

これは確かに偉大な進歩と言えます。少なくとも、RGBやライトニングネットワーク、さまざまな優れた2層プロトコル処理ソリューションと同レベルのBTCの拡張能力革新です。さらに、他のソリューションよりもNative側でも優れています。

AVMはビットコインスクリプトにコーディングおよびストレージを依存し、またトランザクションの実行にはOPコードに依存しています。そのため、全体的にBTCのメインネットの性能に制限されており、たとえばブロックのストレージスペースのサイズやブロック生成速度などが該当します。

试想，AVMに基づいて構築されたDeFiプロジェクトがあり、1分間に処理できる取引が7件しかなく、2つの状態変換には10分間の待ち時間が必要です。このようなスマートコントラクトは、理論上完全であっても手足を縛られています。また、複雑な契約機能を開発するためにビットコインスクリプト命令セットに依存することは、イーサリアムのSolidityなどの言語でスマートコントラクトを開発するよりも複雑で難しいです。

况且，AVMのホワイトペーパーは単にMake Senseの内蔵仮想マシンの実行方法を明確にしただけであり、実際の展開およびアプリケーション環境での安定した動作など、未知数の問題が依然として残っています。

以上

整体的に、私はAVMの開発をBTCメインネットのスクリプト拡張に基づく有益な積極的な探索と見なす傾向があります。確かに、これはBTCメインネットでいくつかのシンプルなスマートコントラクトを促進し、同時にビットコインメインネットが第2層エコシステムの構築やBitVMなどのオンチェーンおよびオフチェーンの組み合わせエコシステムでより大きな割合と価値を持つことを可能にします。

しかし、他のさまざまなBTCの拡張解決策と同様に、AVMには利点と欠点があります。その正当性を高めるためには、生態系の構築状況に基づいて自身を拡大する必要があります。冷静で慎重な楽観的な態度を保つことをお勧めします。