ムーブメントによるパブリックチェーンに新しい視点:EVMにムーブを導入することで、イーサリアムとムーブを再定義できるか?

中級7/10/2024, 6:35:14 PM
Aptos、Sui、Lineraとは異なり、Move言語に基づくすべてのL1パブリックチェーンに対して、新世代のMovementはL2に焦点を当てています。Move言語に基づいた最初のEthereum L2を立ち上げ、Moveの基礎的な実行パフォーマンスとセキュリティの利点を活用し、さらにEVMの生態系の利点を統合しています。これにより、開発者はMoveコードを書かずにM2上でSolidityプロジェクトを立ち上げることが可能です。

どんなSolidity開発者も、ほぼゼロの障壁でより安全で効率的なDAppsをMove上に構築または移行できたらどうでしょうか。それは素晴らしいことではありませんか?

2019年、一時的にテック業界全体を揺さぶったリブラは、すぐに消え去りましたが、その後のアプトス、スイ、リネラ、ムーブメントが続々とその役割を引き継ぎ、新しいムーブベースのパブリックチェーンを新たなピークに押し上げることになるとは、おそらく予想していなかったでしょう。

興味深いことに、Move言語に基づくL1パブリックチェーンであるAptos、Sui、およびLineraとは異なり、新世代のMovementはL2に焦点を当てています。Move言語に基づく最初のEthereum L2を立ち上げ、Moveの実行パフォーマンスとセキュリティの利点を活用し、同時にEVMのエコシステムの利点を統合することを目指しています。これにより、開発者はMoveコードを記述せずにM2上でSolidityプロジェクトを立ち上げることができます。

「Ethereumキラー」から「Ethereumに参加する」統合的なアプローチへ移行する最初の新しいMoveベースのパブリックチェーンとして、Movementは、L2レベルでの高性能アーキテクチャを持ち、Ethereumメインネットに基づく最終状態セキュリティを確保し、4月に巨額な3800万ドルの資金調達ラウンドを実現しました。

Movementは、具体的には何を達成しようとしており、Polychain Capital、Binance Labs、OKX Ventures、Hack VCなどのトップ投資機関を引き付ける魔法はどのようなものでしょうか?

Movement: EVMエコシステムにMoveを統合する

プログラミング言語は、ブロックチェーンプロジェクトの核心的な特性を反映しているため、Movementが達成しようとしていることを理解する前に、Move言語の固有の特徴を見直すことが重要です。

多くの方が知っているように、MoveはFacebookによって開発された新しいスマートコントラクト言語です。FacebookのLibra(Diem)プロジェクトでの初期利用以外にも、Move言語を公に採用しているWeb3製品は、主にAptosやSuiなどの新しいパブリックチェーンエコシステムで見つけることができます。

公開チェーンの観点から見ると、Move言語は基本的にデジタル資産向けに設計されています。Solidityのようなブロックチェーンプログラミング言語と比較すると、Moveのコアロジックは「資産のセキュリティ」と「ネイティブな高性能」の2つの主要な側面を強調しています。

  • 一方、Rustで構築され、セキュアなリソース管理を行うためのオブジェクト指向言語として設計されています。この設計はデジタルアセットの重要性を強調し、開発者がチェーン上でデジタルアセットをより柔軟かつ安全に定義および管理できるようにしています。
  • 一方、Move IRであるMove言語の中間表現は、トランザクションスクリプトをモジュールから切り離し、トランザクションロジックをスマートコントラクトから分離することができます。これにより、Moveベースのパブリックチェーンは、EVMベースのパブリックチェーンよりもはるかに高いパフォーマンスを実現し、しばしば数万回、あるいは数十万回のTPS(秒あたりのトランザクション数)を達成することができます。

要するに、Moveに基づいて構築されたブロックチェーンネットワークは、Solidityベースのパブリックチェーンと比較して、優れたセキュリティと高性能の利点を持っており、新しい開発者にとってオンチェーンアプリケーションの構築のためのより良い出発点を提供しています。

ただし、一般的なチェーンにとっては、技術的な強みが主要な戦場であることはめったにありません。成功の鍵は、十分なユーザーと資本を引き付けることができるかどうかです。これが、最近数年間で「イーサリアムのライバル」という用語がほとんど登場しない理由でもあります。イーサリアムの継続的なアプリケーション層のイノベーションに比べて、ほとんどの新しい公開チェーンは「ゴーストタウン効果」に苦しんでおり、ほとんどのネットワークでのユーザー活動と流動性が非常に低いです。

そのため、Movementは異なるアプローチを選択し、Moveベースのスマートコントラクトのセキュリティと高性能の利点をEVMエコシステムの流動性とユーザーベースの利点と組み合わせることを目指しています。 「Moveをイーサリアムに持ち込む」というコンセプトを活用することで、両者の強みを融合させることを目指しています。

たとえば、MovementのM1およびM2パブリックチェーンアーキテクチャは、効率的なトランザクション処理能力を自然に備えているだけでなく、Ethereum Virtual Machine(EVM)を統合しています。これにより、開発者はMoveコードを書かずに、M2上でEVMエコシステムから成熟したDAppsを起動および導入することができます。

言い換えれば、MovementはSolidityスクリプトをMoveが理解できるオペコードに自動的に変換し、MoveとEthereumおよび他のEVMネットワーク間の相互運用性を可能にします。

そのため、Moveを単にEVMエコシステムに導入するのではなく、Movementは実質的にEVMエコシステムの資金とユーザーをMovement Labsスタックおよびより広範なMoveエコシステムに統合しています。最終的には、EVMエコシステムからのトラフィックを引き抜き、より安全で効率的なブロックチェーンシステムを構築することを目指しています。

モジュラーデベロップメントスイート:Movement SDK

Movement SDKは、「MoveをEthereumに持ち込む」というコアビジョンを実現するための主要な開発ツールです。

モジュラーディベロップメントスイートとして、主にMoveVM、Fractal、およびシーケンサーネットワークとデータ可用性(DA)サービスのためのカスタムアダプタ(アダプタ)の3つのコアコンポーネントから構成されています。

MoveVM: 安全で効率的なランタイム環境

まず、Movement SDKのコアであるMoveVMは、スマートコントラクトのための安全で効率的でリソース志向のランタイム環境を提供します。

この機能により、Movement SDKは複雑なスマートコントラクトを実行し、デジタルアセットを管理することができ、M2ネットワークの不可欠な部分となっています(以下に詳細)。したがって、MoveVMは、超高トランザクションスループットと非常に高速な応答時間を実現するためのM2ネットワークをサポートするための鍵でもあります。その主な機能には次のものがあります:

  • リソース指向プログラミング:MoveVMは資産を有形で複製不可能なリソースとして扱い、資産管理のセキュリティと整合性を高めます。
  • 厳格なセキュリティ保証:バイトコード検証プロセスを利用することで、MoveVMはすべての実行コードが厳格なセキュリティプロトコルに従うことを保証し、脆弱性を最小限に抑え、ブロックチェーンシステムの堅牢性を高めています。
  • 効率的な資産管理:MoveVMは正確なデジタル資産管理のための制御された環境を提供し、取引が最高の忠実度と信頼性で実行されることを確実にします。
  • Type Safety and Formal Verification: MoveVMは、コンパイル時にエラーをキャッチする厳格な型システムを重視しています。形式的検証手法と組み合わせることで、スマートコントラクトが指定されたプロパティとセキュリティ基準に準拠することを保証し、エラーや脆弱性のリスクを軽減します。
  • Isolation and Encapsulation: In MoveVM, assets and code are encapsulated within modules, enforcing strict access control and isolation. This encapsulation prevents unauthorized access and interaction, ensuring each module operates within its defined parameters, thus enhancing overall system security and integrity.
  • バイトコードの検証:MoveVMは、実行前にスマートコントラクトを入念に検査するための徹底的なバイトコード検証プロセスを採用しています。この手順により、すべての契約がプラットフォームのセキュリティおよび正確性基準を満たすことが保証され、悪意のあるまたは欠陥のあるコードを実行するリスクが大幅に低減されます。

MovementのMoveVMは並列処理技術とモジュラーアーキテクチャを使用しており、注文と取引の優先順位をアルゴリズムを通じて最適化し、並列処理によって取引処理の混雑や遅延を軽減しています。

後者は、オリジナルのMoveVMの機能を外部環境(EVMなど)に拡張し、より広範な相互運用可能なブロックチェーンエコシステムを包括することを目指した多機能仮想マシンを作成します。

数日前、シニアムーブエンジニア@artoriatech 公然と批判されました現在のMoveエコシステムが直面している分散化の問題は、単刀直入に述べると、「開発者が1つのMoveチェーンから別のチェーンに移行する際に重大な抵抗に直面している」ということです。

Sui MoveとAptos Moveを例に取ります。各チェーンは独自のVMとツールキットを持つ孤立したエコシステムであり、プロトコルによってリリースされる新機能により、大きな違いがあります。その違いはますます拡大し、プロジェクトはこれらの違いを縮小する試みさえありません。

MovementのモジュラーMoveVMは、多機能仮想マシンとして、EVMや他のMoveエコシステムと完全に互換性があることを目指しています。現在はAptosやEVMコードの展開をサポートしており、近々Suiエコシステムもカバーする予定です。

これは、Aptos、Ethereum、および他のEVMエコシステムからのDAppsを10分以内に展開できることを意味します-開発者はMoveを追加で学ぶ必要はなく、単にSolidityなどの元の言語構造でコードを保持して並行展開を実現できます。

フラクタル:SolidityとMoveVMを結ぶ

フラクタルは基本的に、SolidityスマートコントラクトがMoveVM環境で実行されるようにするコンパイラです。これにより、SolidityとMove言語をシームレスに接続し、開発者がSolidityコントラクトをMoveVM(M2ネットワーク)に展開できる安全なフレームワークが作成されます。

利点は明確です: 開発者は、Solidityの柔軟性を活用しながら、Moveのセキュリティと高いパフォーマンスを利用して、Solidityのいくつかの固有の問題を解決することができます。


Fractalのコンパイルプロセスは主に以下の5つのステップに分かれています:

  • トークン化と解析:このプロセスはまず、Solidityスクリプトを変数、関数、制御構造などの基本要素を表すトークンに分解します。これらのトークンを解析することで、Solidityコードの構文構造を分析し、コードの論理と構成を記述する抽象構文木(AST)に要素を整理します。
  • 抽象構文木(AST):ASTはSolidityコードの構文構造の木形式表現です。操作の階層構造とコードの異なるセグメント間の関係を詳細に示しています。
  • 中間言語(IL):ASTが構築されると、コードは中間言語(IL)に変換され、高水準のSolidityコードと実行に必要な低水準の命令との間のギャップを埋める役割を果たします。
  • MoveVMオペコード:ILはMoveVMオペレーションコード(オペコード)にコンパイルされ、これは仮想マシンが理解し実行する基本的な命令であり、MoveVMが実行すべき特定の操作を示しています;
  • MoveVMバイトコード:最終段階では、オペコードはMoveVMバイトコードに変換されます。これはプログラムの実行可能なバイナリ表現であり、元のSolidityスクリプトから完全にコンパイルされ、MoveVMの安全でリソース指向の環境で実行する準備が整っています。

公式ブログによると、Fractalはまだ開発段階にあり、現在、包括的なテストと改善を行っており、現在の機能を拡張するための取り組みを行っています。

カスタムアダプタ

カスタムアダプターは、Movement SDK(以下で説明するM1アーキテクチャの本質的な部分)の最終的なコアコンポーネントであり、ソーターネットワークとデータ可用性(DA)サービスとのシームレスな統合を提供するよう設計されています。

  • データ可用性サービス(DA):Movement SDKはDAサービスと統合され、DAサービスが直接L1上で実行されるか、独立した専用のDAサービスとして動作することができ、トランザクションデータへの信頼性のあるアクセスを確保します。
  • Dankshardingのサポート:Ethereumの開発ロードマップに合わせて、Movement SDKは、CelestiaとEigenDAを含む独占的なDAサービスプロバイダーとの協力能力を確保しており、保証されたデータの利用可能性を提供します。
  • バリデーターノードの管理およびソーター統合サービス: ムーブメントSDKのカスタムアダプターは、バリデーターノードの戦略的管理および再構成も担当しています。SnowmanやProof of Stake(PoS)などのコンセンサスメカニズムと連携することで、SDKはシビル攻撃に対するブロックチェーンの防御を強化します。
  • DAレイヤー全体の包括性: これらのカスタムアダプタは、Ethereum-4844などのさまざまなDAレイヤーをサポートし、Celestia、EigenDA、Availなどのいくつかの独立DAソリューションを含む、ユーザーがアプリケーションのニーズに最適なDAレイヤーを選択できるようにします。

全体として、Movement SDKは、スマートコントラクトの展開やテスト、コンパイラ、アダプターを含む包括的な開発スイートを提供し、開発プロセスを簡素化することを目的としています。これにより、特にSolidity開発者にとって、Move言語に基づいたDAppsの構築、テスト、最適化が容易になります。

"M1+M2" パブリックチェーンアーキテクチャ

Movement SDKに基づいて、Movement LabsはM1とM2を含むパブリックチェーンアーキテクチャを開発しました。

M1は、非常に高いトランザクションスループットと瞬時の確定性を達成できるコミュニティファーストネットワークとして設計されており、分散型のソーターネットワークとコンセンサスレイヤーを提供しています。一方、M2は、M1とEthereumに基づいたZK-Rollup L2ソリューションであり(Sui MoveとAptos Moveの両方をサポート)、EVMを統合して、Ethereum互換のDAppsをM2上で実行することができます。

M1: 分散型オーダラネットワークとコンセンサスレイヤー

M1は、インスタントファイナリティやモジュラーなカスタマイズなどのアーキテクチャを通じて最高のTPSを提供できるMoveに基づく「コミュニティファーストブロックチェーン」として公式に定義されています。その中核目標は、Move言語の高いセキュリティとカスタマイズ性を通じて、複雑な取引とスマートコントラクト機能をサポートし、プラットフォームの信頼性とユーザビリティを確保することです。

しかし、現在の公開情報によると、それは徐々に分散型のソーターネットワークに移行し、Movement Labsエコシステム全体および任意のブロックチェーンネットワークにおいて「共有ソーター」と「コンセンサスレイヤー」コンポーネントの役割を果たしています。これにより、Moveと他のネットワークとの相互運用性を実現し、さまざまなアプリケーションやサービスをサポートすることを目指しています。

特に、改良されたSnowmanコンセンサスメカニズムを採用したM1は、ノードがソーシャルインタラクションを模倣することによって合意に達することができるため(つまり、ノード間の「おしゃべり」)、自然により大規模なノード参加とより速いコンセンサス速度をサポートし、高いスループットと効率的なトランザクションのソートを実現しています。

この基盤に基づいて、M1はM2のPoSソーターネットワークおよびコンセンサスレイヤーとして機能します。一方で、ステーキングを通じてM2ネットワークのセキュリティを確保し、また、M2に効率的なコンセンサスメカニズムを提供します。M1ネットワークのソーターになるためには、MOVEトークンをステークし、悪意のある活動を防ぐためにスラッシュメカニズムを使用する必要があります。これにより、ネットワークのセキュリティと信頼性が向上します。

M2のPoSソーターネットワークとして、M1は、データ可用性(DA)サービスとプルーバーマーケットプレイスを通じて取引の正確性、アクセシビリティ、検証可能性を確保します。

M2: ZK-Rollup L2は、M1とEthereumに基づいています

M2は、Movementエコシステムの「メインネット」と見なすことができます。これは、MoveVM、Fractal、およびM1から構成されるMoveに基づいたZK-Rollupアーキテクチャを導入し、特定のDAppアプリケーションを展開する責任があります。

「Moveに基づくZK-Rollupアーキテクチャ」という用語は、M2がゼロ知識証明を使用してプライバシーとセキュリティを強化するために使用されています(すなわち、zk-Moveテクノロジー)。これにより、M2は処理速度やコスト効率だけでなく、プライバシー保護においても独自の利点を得ることができます。

MoveVMとFractalにより、標準のEVMスマートコントラクトを実行し、Move言語(Aptos Move、Sui Move)で書かれたスマートコントラクトをサポートすることができます。Move言語とSui並列化モデルを利用することで、EVMトランザクションに対して高スループットかつ低レイテンシのサービスを提供することができます。

これにより、Solidityなどの言語を使用する開発者は、Move言語のネイティブな利点を直接活用して、安全で高性能、高スループットなMoveVMロールアップアプリケーションを簡単に展開できます。

最終的に、M2で実行されたすべての取引は、M1ソーターネットワークによって整理され、取引データがパッケージ化されてEthereumに送信されます。検証証明の最終的な正当性は、Prover Marketplaceのzk-proversネットワークを介して達成され、ZK証明の結果はEthereumメインネットに投稿されます。詳細な取引データはCelestiaに公開され、これにより2つのデータ状態が同期されます。

Blobstreamテクノロジーの支援を受け、Celestiaのモジュラーデータ可用性レイヤーをEthereumに送信し、開発者はBlobstreamを統合してスマートコントラクトを開発するかのように、高スループットのEthereum L2を作成することができます。

簡単に言えば、M1はコンセンサス層とトランザクションのソーティングを担当し、M2はSolidity-Moveの変換とトランザクションの実行を処理し、Celestia/イーサリアムは最終的なデータの可用性と状態のセキュリティを確保します。このモジュラーなアーキテクチャは、Moveの高いパフォーマンスとセキュリティを最大限に活用し、EVMの利点をユーザーやトラフィックにもたらします。

サマリー

技術的側面以外にも、ゼロから迅速に大規模かつ繁栄するエコシステムを構築する能力は重要です。

Movement Labsは、Movement SDKやメッセージインフラHyperlane、Movement Shared Sorter(M1)などのツールキットを開発しており、開発者がMoveに基づいたアプリケーションを簡単に構築および展開できるように必要なリソースを提供しています。

公式の開示によると、Movement LabsのMove Stackランタイム環境も今年の夏にテストを開始する予定です。実行レイヤーフレームワークとして、Optimism、Polygon、Arbitrumなどの企業からの多くのRollupフレームワークと互換性があることを計画しています。

この観点からすると、M1、M2、およびMove Stackなどのツールキットの組み合わせは、SolidityエコシステムやAptos Moveエコシステム、Sui Moveエコシステムを含む包括的なMoveVMユニバースを潜在的に作り出す可能性があります。これにより、Move言語に基づかないプロトコルもMoveの機能を利用できるようになり、それによってMove言語の影響力が拡大することになります。

免責事項:

  1. この記事は[から転載されましたLFG Labs], すべての著作権は元の著者に帰属します [LFG Labs]. If there are objections to this reprint, please contact the ゲートラーンチームがすぐに対応します。
  2. 責任の免責事項:この記事で表現されている意見や見解は、著者個人のものであり、投資アドバイスを構成するものではありません。
  3. 他の言語への記事の翻訳はGate Learnチームによって行われます。特に言及されていない限りGate, 翻訳された記事をコピー、配布、または盗作することは禁止されています。

ムーブメントによるパブリックチェーンに新しい視点:EVMにムーブを導入することで、イーサリアムとムーブを再定義できるか?

中級7/10/2024, 6:35:14 PM
Aptos、Sui、Lineraとは異なり、Move言語に基づくすべてのL1パブリックチェーンに対して、新世代のMovementはL2に焦点を当てています。Move言語に基づいた最初のEthereum L2を立ち上げ、Moveの基礎的な実行パフォーマンスとセキュリティの利点を活用し、さらにEVMの生態系の利点を統合しています。これにより、開発者はMoveコードを書かずにM2上でSolidityプロジェクトを立ち上げることが可能です。

どんなSolidity開発者も、ほぼゼロの障壁でより安全で効率的なDAppsをMove上に構築または移行できたらどうでしょうか。それは素晴らしいことではありませんか?

2019年、一時的にテック業界全体を揺さぶったリブラは、すぐに消え去りましたが、その後のアプトス、スイ、リネラ、ムーブメントが続々とその役割を引き継ぎ、新しいムーブベースのパブリックチェーンを新たなピークに押し上げることになるとは、おそらく予想していなかったでしょう。

興味深いことに、Move言語に基づくL1パブリックチェーンであるAptos、Sui、およびLineraとは異なり、新世代のMovementはL2に焦点を当てています。Move言語に基づく最初のEthereum L2を立ち上げ、Moveの実行パフォーマンスとセキュリティの利点を活用し、同時にEVMのエコシステムの利点を統合することを目指しています。これにより、開発者はMoveコードを記述せずにM2上でSolidityプロジェクトを立ち上げることができます。

「Ethereumキラー」から「Ethereumに参加する」統合的なアプローチへ移行する最初の新しいMoveベースのパブリックチェーンとして、Movementは、L2レベルでの高性能アーキテクチャを持ち、Ethereumメインネットに基づく最終状態セキュリティを確保し、4月に巨額な3800万ドルの資金調達ラウンドを実現しました。

Movementは、具体的には何を達成しようとしており、Polychain Capital、Binance Labs、OKX Ventures、Hack VCなどのトップ投資機関を引き付ける魔法はどのようなものでしょうか?

Movement: EVMエコシステムにMoveを統合する

プログラミング言語は、ブロックチェーンプロジェクトの核心的な特性を反映しているため、Movementが達成しようとしていることを理解する前に、Move言語の固有の特徴を見直すことが重要です。

多くの方が知っているように、MoveはFacebookによって開発された新しいスマートコントラクト言語です。FacebookのLibra(Diem)プロジェクトでの初期利用以外にも、Move言語を公に採用しているWeb3製品は、主にAptosやSuiなどの新しいパブリックチェーンエコシステムで見つけることができます。

公開チェーンの観点から見ると、Move言語は基本的にデジタル資産向けに設計されています。Solidityのようなブロックチェーンプログラミング言語と比較すると、Moveのコアロジックは「資産のセキュリティ」と「ネイティブな高性能」の2つの主要な側面を強調しています。

  • 一方、Rustで構築され、セキュアなリソース管理を行うためのオブジェクト指向言語として設計されています。この設計はデジタルアセットの重要性を強調し、開発者がチェーン上でデジタルアセットをより柔軟かつ安全に定義および管理できるようにしています。
  • 一方、Move IRであるMove言語の中間表現は、トランザクションスクリプトをモジュールから切り離し、トランザクションロジックをスマートコントラクトから分離することができます。これにより、Moveベースのパブリックチェーンは、EVMベースのパブリックチェーンよりもはるかに高いパフォーマンスを実現し、しばしば数万回、あるいは数十万回のTPS(秒あたりのトランザクション数)を達成することができます。

要するに、Moveに基づいて構築されたブロックチェーンネットワークは、Solidityベースのパブリックチェーンと比較して、優れたセキュリティと高性能の利点を持っており、新しい開発者にとってオンチェーンアプリケーションの構築のためのより良い出発点を提供しています。

ただし、一般的なチェーンにとっては、技術的な強みが主要な戦場であることはめったにありません。成功の鍵は、十分なユーザーと資本を引き付けることができるかどうかです。これが、最近数年間で「イーサリアムのライバル」という用語がほとんど登場しない理由でもあります。イーサリアムの継続的なアプリケーション層のイノベーションに比べて、ほとんどの新しい公開チェーンは「ゴーストタウン効果」に苦しんでおり、ほとんどのネットワークでのユーザー活動と流動性が非常に低いです。

そのため、Movementは異なるアプローチを選択し、Moveベースのスマートコントラクトのセキュリティと高性能の利点をEVMエコシステムの流動性とユーザーベースの利点と組み合わせることを目指しています。 「Moveをイーサリアムに持ち込む」というコンセプトを活用することで、両者の強みを融合させることを目指しています。

たとえば、MovementのM1およびM2パブリックチェーンアーキテクチャは、効率的なトランザクション処理能力を自然に備えているだけでなく、Ethereum Virtual Machine(EVM)を統合しています。これにより、開発者はMoveコードを書かずに、M2上でEVMエコシステムから成熟したDAppsを起動および導入することができます。

言い換えれば、MovementはSolidityスクリプトをMoveが理解できるオペコードに自動的に変換し、MoveとEthereumおよび他のEVMネットワーク間の相互運用性を可能にします。

そのため、Moveを単にEVMエコシステムに導入するのではなく、Movementは実質的にEVMエコシステムの資金とユーザーをMovement Labsスタックおよびより広範なMoveエコシステムに統合しています。最終的には、EVMエコシステムからのトラフィックを引き抜き、より安全で効率的なブロックチェーンシステムを構築することを目指しています。

モジュラーデベロップメントスイート:Movement SDK

Movement SDKは、「MoveをEthereumに持ち込む」というコアビジョンを実現するための主要な開発ツールです。

モジュラーディベロップメントスイートとして、主にMoveVM、Fractal、およびシーケンサーネットワークとデータ可用性(DA)サービスのためのカスタムアダプタ(アダプタ)の3つのコアコンポーネントから構成されています。

MoveVM: 安全で効率的なランタイム環境

まず、Movement SDKのコアであるMoveVMは、スマートコントラクトのための安全で効率的でリソース志向のランタイム環境を提供します。

この機能により、Movement SDKは複雑なスマートコントラクトを実行し、デジタルアセットを管理することができ、M2ネットワークの不可欠な部分となっています(以下に詳細)。したがって、MoveVMは、超高トランザクションスループットと非常に高速な応答時間を実現するためのM2ネットワークをサポートするための鍵でもあります。その主な機能には次のものがあります:

  • リソース指向プログラミング:MoveVMは資産を有形で複製不可能なリソースとして扱い、資産管理のセキュリティと整合性を高めます。
  • 厳格なセキュリティ保証:バイトコード検証プロセスを利用することで、MoveVMはすべての実行コードが厳格なセキュリティプロトコルに従うことを保証し、脆弱性を最小限に抑え、ブロックチェーンシステムの堅牢性を高めています。
  • 効率的な資産管理:MoveVMは正確なデジタル資産管理のための制御された環境を提供し、取引が最高の忠実度と信頼性で実行されることを確実にします。
  • Type Safety and Formal Verification: MoveVMは、コンパイル時にエラーをキャッチする厳格な型システムを重視しています。形式的検証手法と組み合わせることで、スマートコントラクトが指定されたプロパティとセキュリティ基準に準拠することを保証し、エラーや脆弱性のリスクを軽減します。
  • Isolation and Encapsulation: In MoveVM, assets and code are encapsulated within modules, enforcing strict access control and isolation. This encapsulation prevents unauthorized access and interaction, ensuring each module operates within its defined parameters, thus enhancing overall system security and integrity.
  • バイトコードの検証:MoveVMは、実行前にスマートコントラクトを入念に検査するための徹底的なバイトコード検証プロセスを採用しています。この手順により、すべての契約がプラットフォームのセキュリティおよび正確性基準を満たすことが保証され、悪意のあるまたは欠陥のあるコードを実行するリスクが大幅に低減されます。

MovementのMoveVMは並列処理技術とモジュラーアーキテクチャを使用しており、注文と取引の優先順位をアルゴリズムを通じて最適化し、並列処理によって取引処理の混雑や遅延を軽減しています。

後者は、オリジナルのMoveVMの機能を外部環境(EVMなど)に拡張し、より広範な相互運用可能なブロックチェーンエコシステムを包括することを目指した多機能仮想マシンを作成します。

数日前、シニアムーブエンジニア@artoriatech 公然と批判されました現在のMoveエコシステムが直面している分散化の問題は、単刀直入に述べると、「開発者が1つのMoveチェーンから別のチェーンに移行する際に重大な抵抗に直面している」ということです。

Sui MoveとAptos Moveを例に取ります。各チェーンは独自のVMとツールキットを持つ孤立したエコシステムであり、プロトコルによってリリースされる新機能により、大きな違いがあります。その違いはますます拡大し、プロジェクトはこれらの違いを縮小する試みさえありません。

MovementのモジュラーMoveVMは、多機能仮想マシンとして、EVMや他のMoveエコシステムと完全に互換性があることを目指しています。現在はAptosやEVMコードの展開をサポートしており、近々Suiエコシステムもカバーする予定です。

これは、Aptos、Ethereum、および他のEVMエコシステムからのDAppsを10分以内に展開できることを意味します-開発者はMoveを追加で学ぶ必要はなく、単にSolidityなどの元の言語構造でコードを保持して並行展開を実現できます。

フラクタル:SolidityとMoveVMを結ぶ

フラクタルは基本的に、SolidityスマートコントラクトがMoveVM環境で実行されるようにするコンパイラです。これにより、SolidityとMove言語をシームレスに接続し、開発者がSolidityコントラクトをMoveVM(M2ネットワーク)に展開できる安全なフレームワークが作成されます。

利点は明確です: 開発者は、Solidityの柔軟性を活用しながら、Moveのセキュリティと高いパフォーマンスを利用して、Solidityのいくつかの固有の問題を解決することができます。


Fractalのコンパイルプロセスは主に以下の5つのステップに分かれています:

  • トークン化と解析:このプロセスはまず、Solidityスクリプトを変数、関数、制御構造などの基本要素を表すトークンに分解します。これらのトークンを解析することで、Solidityコードの構文構造を分析し、コードの論理と構成を記述する抽象構文木(AST)に要素を整理します。
  • 抽象構文木(AST):ASTはSolidityコードの構文構造の木形式表現です。操作の階層構造とコードの異なるセグメント間の関係を詳細に示しています。
  • 中間言語(IL):ASTが構築されると、コードは中間言語(IL)に変換され、高水準のSolidityコードと実行に必要な低水準の命令との間のギャップを埋める役割を果たします。
  • MoveVMオペコード:ILはMoveVMオペレーションコード(オペコード)にコンパイルされ、これは仮想マシンが理解し実行する基本的な命令であり、MoveVMが実行すべき特定の操作を示しています;
  • MoveVMバイトコード:最終段階では、オペコードはMoveVMバイトコードに変換されます。これはプログラムの実行可能なバイナリ表現であり、元のSolidityスクリプトから完全にコンパイルされ、MoveVMの安全でリソース指向の環境で実行する準備が整っています。

公式ブログによると、Fractalはまだ開発段階にあり、現在、包括的なテストと改善を行っており、現在の機能を拡張するための取り組みを行っています。

カスタムアダプタ

カスタムアダプターは、Movement SDK(以下で説明するM1アーキテクチャの本質的な部分)の最終的なコアコンポーネントであり、ソーターネットワークとデータ可用性(DA)サービスとのシームレスな統合を提供するよう設計されています。

  • データ可用性サービス(DA):Movement SDKはDAサービスと統合され、DAサービスが直接L1上で実行されるか、独立した専用のDAサービスとして動作することができ、トランザクションデータへの信頼性のあるアクセスを確保します。
  • Dankshardingのサポート:Ethereumの開発ロードマップに合わせて、Movement SDKは、CelestiaとEigenDAを含む独占的なDAサービスプロバイダーとの協力能力を確保しており、保証されたデータの利用可能性を提供します。
  • バリデーターノードの管理およびソーター統合サービス: ムーブメントSDKのカスタムアダプターは、バリデーターノードの戦略的管理および再構成も担当しています。SnowmanやProof of Stake(PoS)などのコンセンサスメカニズムと連携することで、SDKはシビル攻撃に対するブロックチェーンの防御を強化します。
  • DAレイヤー全体の包括性: これらのカスタムアダプタは、Ethereum-4844などのさまざまなDAレイヤーをサポートし、Celestia、EigenDA、Availなどのいくつかの独立DAソリューションを含む、ユーザーがアプリケーションのニーズに最適なDAレイヤーを選択できるようにします。

全体として、Movement SDKは、スマートコントラクトの展開やテスト、コンパイラ、アダプターを含む包括的な開発スイートを提供し、開発プロセスを簡素化することを目的としています。これにより、特にSolidity開発者にとって、Move言語に基づいたDAppsの構築、テスト、最適化が容易になります。

"M1+M2" パブリックチェーンアーキテクチャ

Movement SDKに基づいて、Movement LabsはM1とM2を含むパブリックチェーンアーキテクチャを開発しました。

M1は、非常に高いトランザクションスループットと瞬時の確定性を達成できるコミュニティファーストネットワークとして設計されており、分散型のソーターネットワークとコンセンサスレイヤーを提供しています。一方、M2は、M1とEthereumに基づいたZK-Rollup L2ソリューションであり(Sui MoveとAptos Moveの両方をサポート)、EVMを統合して、Ethereum互換のDAppsをM2上で実行することができます。

M1: 分散型オーダラネットワークとコンセンサスレイヤー

M1は、インスタントファイナリティやモジュラーなカスタマイズなどのアーキテクチャを通じて最高のTPSを提供できるMoveに基づく「コミュニティファーストブロックチェーン」として公式に定義されています。その中核目標は、Move言語の高いセキュリティとカスタマイズ性を通じて、複雑な取引とスマートコントラクト機能をサポートし、プラットフォームの信頼性とユーザビリティを確保することです。

しかし、現在の公開情報によると、それは徐々に分散型のソーターネットワークに移行し、Movement Labsエコシステム全体および任意のブロックチェーンネットワークにおいて「共有ソーター」と「コンセンサスレイヤー」コンポーネントの役割を果たしています。これにより、Moveと他のネットワークとの相互運用性を実現し、さまざまなアプリケーションやサービスをサポートすることを目指しています。

特に、改良されたSnowmanコンセンサスメカニズムを採用したM1は、ノードがソーシャルインタラクションを模倣することによって合意に達することができるため(つまり、ノード間の「おしゃべり」)、自然により大規模なノード参加とより速いコンセンサス速度をサポートし、高いスループットと効率的なトランザクションのソートを実現しています。

この基盤に基づいて、M1はM2のPoSソーターネットワークおよびコンセンサスレイヤーとして機能します。一方で、ステーキングを通じてM2ネットワークのセキュリティを確保し、また、M2に効率的なコンセンサスメカニズムを提供します。M1ネットワークのソーターになるためには、MOVEトークンをステークし、悪意のある活動を防ぐためにスラッシュメカニズムを使用する必要があります。これにより、ネットワークのセキュリティと信頼性が向上します。

M2のPoSソーターネットワークとして、M1は、データ可用性(DA)サービスとプルーバーマーケットプレイスを通じて取引の正確性、アクセシビリティ、検証可能性を確保します。

M2: ZK-Rollup L2は、M1とEthereumに基づいています

M2は、Movementエコシステムの「メインネット」と見なすことができます。これは、MoveVM、Fractal、およびM1から構成されるMoveに基づいたZK-Rollupアーキテクチャを導入し、特定のDAppアプリケーションを展開する責任があります。

「Moveに基づくZK-Rollupアーキテクチャ」という用語は、M2がゼロ知識証明を使用してプライバシーとセキュリティを強化するために使用されています(すなわち、zk-Moveテクノロジー)。これにより、M2は処理速度やコスト効率だけでなく、プライバシー保護においても独自の利点を得ることができます。

MoveVMとFractalにより、標準のEVMスマートコントラクトを実行し、Move言語(Aptos Move、Sui Move)で書かれたスマートコントラクトをサポートすることができます。Move言語とSui並列化モデルを利用することで、EVMトランザクションに対して高スループットかつ低レイテンシのサービスを提供することができます。

これにより、Solidityなどの言語を使用する開発者は、Move言語のネイティブな利点を直接活用して、安全で高性能、高スループットなMoveVMロールアップアプリケーションを簡単に展開できます。

最終的に、M2で実行されたすべての取引は、M1ソーターネットワークによって整理され、取引データがパッケージ化されてEthereumに送信されます。検証証明の最終的な正当性は、Prover Marketplaceのzk-proversネットワークを介して達成され、ZK証明の結果はEthereumメインネットに投稿されます。詳細な取引データはCelestiaに公開され、これにより2つのデータ状態が同期されます。

Blobstreamテクノロジーの支援を受け、Celestiaのモジュラーデータ可用性レイヤーをEthereumに送信し、開発者はBlobstreamを統合してスマートコントラクトを開発するかのように、高スループットのEthereum L2を作成することができます。

簡単に言えば、M1はコンセンサス層とトランザクションのソーティングを担当し、M2はSolidity-Moveの変換とトランザクションの実行を処理し、Celestia/イーサリアムは最終的なデータの可用性と状態のセキュリティを確保します。このモジュラーなアーキテクチャは、Moveの高いパフォーマンスとセキュリティを最大限に活用し、EVMの利点をユーザーやトラフィックにもたらします。

サマリー

技術的側面以外にも、ゼロから迅速に大規模かつ繁栄するエコシステムを構築する能力は重要です。

Movement Labsは、Movement SDKやメッセージインフラHyperlane、Movement Shared Sorter(M1)などのツールキットを開発しており、開発者がMoveに基づいたアプリケーションを簡単に構築および展開できるように必要なリソースを提供しています。

公式の開示によると、Movement LabsのMove Stackランタイム環境も今年の夏にテストを開始する予定です。実行レイヤーフレームワークとして、Optimism、Polygon、Arbitrumなどの企業からの多くのRollupフレームワークと互換性があることを計画しています。

この観点からすると、M1、M2、およびMove Stackなどのツールキットの組み合わせは、SolidityエコシステムやAptos Moveエコシステム、Sui Moveエコシステムを含む包括的なMoveVMユニバースを潜在的に作り出す可能性があります。これにより、Move言語に基づかないプロトコルもMoveの機能を利用できるようになり、それによってMove言語の影響力が拡大することになります。

免責事項:

  1. この記事は[から転載されましたLFG Labs], すべての著作権は元の著者に帰属します [LFG Labs]. If there are objections to this reprint, please contact the ゲートラーンチームがすぐに対応します。
  2. 責任の免責事項:この記事で表現されている意見や見解は、著者個人のものであり、投資アドバイスを構成するものではありません。
  3. 他の言語への記事の翻訳はGate Learnチームによって行われます。特に言及されていない限りGate, 翻訳された記事をコピー、配布、または盗作することは禁止されています。
Lancez-vous
Inscrivez-vous et obtenez un bon de
100$
!