AVM: BTC が動的な「ステート マシン」を実装できるようにするチューリング完全仮想マシンを理解するにはどうすればよいでしょうか?

avatar
链上观
4ヶ月前
本文は約2551字で,全文を読むには約4分かかります
BTC メインネットのスクリプト拡張機能に基づいた、有益なプロアクティブな探索

原作者:ハオティエン

AVM: BTC が動的な「ステート マシン」を実装できるようにするチューリング完全仮想マシンを理解するにはどうすればよいでしょうか?

@atomicalsxyz がリリースした最新の AVM 仮想マシン ホワイト ペーパーを理解するにはどうすればよいですか? 簡単に言うと、これはビットコイン仮想マシンをシミュレートして、元の「ステートレス」ビットコイン メイン ネットワークがスマート コントラクト システムを実行できるようにし、より複雑な資産の状態記録と処理機能を完了できるようにする方法です。チューリングの完全なスマートコントラクトに似ています。次に、私の理解を共有します。

1) ビットコインは元々、特定のスクリプト データ ストレージ機能、いくつかの基本的な OP コード、および UTXO タイム ロックと支出条件に基づく一連の資産検証ロジックを備えたピアツーピア電子キャッシュ システムとして設計されました。

したがって、ビットコインネットワークは、BTC資産を記録および送信するときに「ステートレス」資産管理を実現できます。 UTXO ミニマリスト モデルと事前定義された状態変換ルールの制限により、このステートレス モデルは単一の BTC 資産の限られた管理のみを処理できます。

BRC 20、ARC 20、Rune、その他の資産などの新しい資産をビットコイン ネットワークに追加しようとすると、ストレージ、トランザクション、ステータスの変化などを記録する、より複雑な動的な「ステート マシン」モデルが必要になります。これらの資産。これを達成するにはどうすればよいでしょうか?

1 つの方法は、外部プロトコルとレイヤー 2 ソリューションを使用してオフチェーンの「ステート マシン」モデルを構築し、@NervosNetwork @RoochNetwork やその他の現在の優れたレイヤー 2 拡張ソリューション、さらには RGB や Lightning などのネイティブ ソリューションなどの処理を拡張することです。ネットワーク すべてがこのカテゴリに分類されます。

もう 1 つの方法は、Script スクリプトの機能を直接拡張して、複雑な資産の作成と転送を処理するための新しい操作またはストレージ領域を追加することです。BIP プロポーザル標準の採用に依存する Covenant や OP_CAT などのソリューションは、このカテゴリに分類されます。

上記 2 つの方法は、「積極的」すぎて短期間で合意に達することが難しいか、「消極的」すぎて不確実性が大きいかのどちらかです。 AVM 仮想マシンは、この 2 つの中間となる特別なソリューションを提供し、ビットコイン メインネット上に仮想マシン実行環境を直接構築します。

2) どうやって行うのですか? AVM の主な動作原理は、次の 3 つの部分で構成されます。

1. ビットコイン スクリプト シミュレーションは、実際にはビットコイン命令セットであり、デュアル スタック PDA (プッシュ可能ストレージ オートマトン) を通じてチューリング完全特性を実現します。

2. サンドボックス動作環境。シミュレータ全体が制御された隔離環境にあるため、サンドボックス内での実行と外部での実行が互いに干渉しません。

3. ステータス ハッシュにより、参加者はインデクサーのステータスが正しく同期されているかどうかを確認できるため、ステータスの不一致による潜在的な攻撃を防ぐことができます。

簡単な理解: AVM は、各 BTC メインネット トランザクションに特別なエンコードおよびデコード方法 (サンドボックス環境) を導入することにより、BTC の現在限られたストレージ スペースと OP コード処理フレームワークを直接利用します。

このサンドボックスには、独自のインデクサー、サンドボックス パーサー (命令セット)、グローバル データベース (データベース) などが付属しており、資産ストレージ、トランザクション ステータス レコード、およびその他の管理の完全なセットを独立して完了できます。これは、動的な構築されたサービスと同等です。 BTC メイン ネットワーク内の「ステート マシン」は、状態の同期と検証だけでなく、複雑なスマート コントラクト処理を実装できます。

3) AVM 仮想マシンは、理論的には、ビットコイン メイン ネットワークに基本的なスマート コントラクト操作機能を持たせることができ、ビットコインが複数の複雑な資産を管理できるようになり、複雑な状態ロジック DApps を実装できるようになります。これは、ビットコイン ネットワークに一定レベルの機能を与えるのと同等です。自己構築されたエコロジー機能。

これは確かに大きな進歩であり、少なくとも RGB、ライトニング ネットワーク、さまざまな優れた第 2 層プロトコル処理ソリューションと同じレベルの BTC スケーラビリティ革新です。ネイティブという点では他のソリューションよりもさらに優れています。

ただし、AVM は、ストレージのエンコードにはビットコイン スクリプト スクリプト、トランザクションの実行には OP コードに依存しているため、ブロック ストレージ スペースのサイズ、引き出し速度など、BTC のメイン ネットワークのパフォーマンスによって全体的に制限されます。

想像してみてください、AVM に基づく DeFi プロジェクトは 1 分間に 7 トランザクションしか処理できず、2 つの状態遷移の間には 10 分間待機する必要があります。たとえこのようなスマート コントラクトが理論的には完了したとしても、依然として制約があります。さらに、複雑なコントラクト関数を開発するために Bitcoin Script スクリプト命令セットに依存することは、Ethereum Solidity などの言語でスマート コントラクトを開発するよりも複雑で困難です。

また、AVM ホワイトペーパーでは、Make Sense の組み込み仮想マシンの実行方法が明らかにされているだけで、実際の導入やオンライン運用、アプリケーション環境の動作方法、安定した動作方法などはまだ不明です。

その上

全体として、私は AVM の開発と実装を、BTC メイン ネットワークのスクリプト拡張機能に基づいた有益で積極的な探求であると考える傾向があります。同時に、いくつかのより単純なスマート コントラクトを BTC メイン ネットワークに実装することもできます。ビットコインのメインネットワークは、第2層エコロジーやBitVMなどのオンチェーンとオフチェーンを組み合わせたエコロジーの構築において、より大きな役割と価値を果たせるようになります。

ただし、他のさまざまなBTC拡張ソリューションと同様に、AVMにも利点と欠点があり、その「正当性」の魅力を拡張するには、実装後のエコロジカルな構築に依存する必要があり、合理的で慎重かつ楽観的な姿勢を維持することをお勧めします。

オリジナル記事、著者:链上观。転載/コンテンツ連携/記事探しはご連絡ください report@odaily.email;法に違反して転載するには必ず追究しなければならない

ODAILYは、多くの読者が正しい貨幣観念と投資理念を確立し、ブロックチェーンを理性的に見て、リスク意識を確実に高めてください、発見された違法犯罪の手がかりについては、積極的に関係部門に通報することができる。

おすすめの読み物
編集者の選択