AVMを理解する：動的な "ステートマシン "を実装するBTCのためのチューリング完全仮想マシン

Source: Chain View

@atomicalsxyz のAVMに関する最新ホワイトペーパーをどう理解しますか？ 簡単に言えば、それはビットコイン仮想マシンのシミュレーションであり、そうでなければ「ステートレス」なビットコインメインネットに、チューリング完全スマートコントラクトに似た、BTC資産だけでなく、より複雑な資産の状態を記録・処理できるスマートコントラクトシステムをホストする機能を実装できるようにするものです。

1）ビットコインはもともとピアツーピアのeキャッシュシステムとして設計され、いくつかの基本的なOPコードと同様に、いくつかのスクリプトデータ保存機能を持ち、UTXOタイムロックと消費条件に基づいて資産を検証するための一連のロジックを備えていました。

その結果、ビットコインネットワークは、BTC資産を記録および送信する際に「ステートレス」資産管理を実現することができます。UTXOのミニマリストモデルと事前に定義された状態遷移ルールのため、このステートレスモデルは個々のBTC資産の限られた管理しか扱うことができません。

BRC20、ARC20、Runeなどの新しいアセットをビットコインネットワークに追加しようとすると、これらのアセットの保管、トランザクション、状態変化などを記録する、より複雑な動的「ステートマシン」モデルが必要になります。これはどのようにして実現できるのだろうか？

1つの方法は、@NervosNetwork  @RoochNetwork   や他の優れたレイヤー2ソリューションのように、処理を拡張するために、チェーンの下に「ステートマシン」モデルを構築するために、外部のプロトコルやレイヤー2ソリューションを使用することです。

もう1つの方法は、スクリプトスクリプトの機能を直接拡張して、新しい操作やストレージスペースを追加して、CovenantやOP_CATなどの複雑な資産の作成や転送に対処することです。AVM仮想マシンは、ビットコインプラットフォーム上で直接、その中間に位置するソリューションを提供します。AVM仮想マシンは、ビットコインのメインネット上に仮想マシンの実行環境を直接構築する特別なソリューションです。

2) How to do it?

1)ビットコインスクリプトシミュレーション、これは実際にはビットコイン命令セットであり、ダブルスタックPDA(Pressure Deposited Accumulation Automata)を通じてチューリング完全特性を実装しています。

2)サンドボックス環境、シミュレータ全体が制御され隔離された環境にあります。

3.状態ハッシュ。参加者は、インデクサの状態が正しく同期されていることを検証することができ、状態の不整合が潜在的に攻撃的であることを防ぐことができます。

理解しやすいシンプルさ：AVMは、各BTCメインネットトランザクション（サンドボックス環境）に特別なエンコーディング・デコーディング方法を導入することで、BTCの現在の限られたストレージスペースとOPコード処理フレームワークを直接利用します。

このサンドボックスには、インデクサ、サンドボックスパーサ（命令セット）、グローバルデータベースなどが付属しており、資産の保管、取引状況の記録、その他の管理など、BTCメインネットが内蔵する動的な「ステートマシン」に相当する一式を独立して完結させることができます。これは、BTCメインネットに動的なステートマシンが組み込まれていることと同じであり、その結果、複雑なスマートコントラクト処理と状態の同期と検証が可能になります。

3) AVMによって、BTCメインネットは理論上、基本的なスマートコントラクト操作を装備することができ、BTCは複数の複雑な資産を管理する可能性と同様に、複雑なステートロジックDAppsを持つことができ、これはBTCネットワークがある程度の自己構築的な生態機能を持つことを可能にすることと同じです。

これは確かに大きな前進であり、少なくともRGBやライトニング・ネットワーク、その他すべてのBTCスケーラビリティ革新のための素晴らしいレイヤー2プロトコル処理ソリューションと同じクラスです。ネイティブという点では、他のスキームよりも優れています。

しかし、AVMはストレージをエンコードするためのビットコインスクリプトと、トランザクションを実行するためのOPコードに依存しているため、BTCのメインネットの全体的なパフォーマンス、例えばブロックストレージ領域のサイズや終了速度などによって制限されます。

AVMはBTCにとって大きな前進であり、少なくともRGBやライトニングネットワーク、その他すべての素晴らしいレイヤー2プロトコル処理ソリューションと同じクラスです。

AVM上に構築されたDeFiプロジェクトを想像してみてください。1分あたり7トランザクションしか処理できず、2つの状態遷移の間に10分待つ必要があります。また、複雑なコントラクト機能を開発するためにビットコインスクリプト命令セットに依存することは、イーサリアムSolidityのような言語でスマートコントラクトを開発するよりも複雑で困難です。

さらに、AVMのホワイトペーパーはMake Senseのビルトイン仮想マシン実装を明らかにしているだけで、実際の展開はアプリケーション環境が稼働し、どの程度安定しているかまではまだ未知数だ。

以上

全体として、私はAVMの開発を、BTCのメインネットワークScriptの拡張に基づく一種の積極的な探求と考える傾向があり、それは確かにメインネットワーク上のよりシンプルなスマートコントラクトの一部の着地につながることができ、同時に、メインネットワークによって第二層のエコシステムの構築に利用することができ、また、BitVMのようなビットコインのメインネットワークと他のエコシステムのチェーンは、オンチェーンとオフチェーンのエコシステムの組み合わせの役割を果たします。ビットコインメインネットは、BitVMなどのオンチェーンとオフチェーンを組み合わせたエコシステムと同様に、第2層のエコシステムの構築においてより大きな役割を果たすことができます。

しかし、他のBTC拡大ソリューションと同様、AVMにも長所と短所があり、「オーソドックス」な魅力を拡大するためには、着地の生態系構築に頼らざるを得ないため、理性的かつ慎重に楽観的な態度を維持することが望ましい。