Movementのパブリックチェーンの新しい解釈、「MoveをEVMに導入する」ことでEthereumとMoveを再構築できるのか?

LFGラボ
2024-06-11 09:57:15
コレクション
Move系の高性能アーキテクチャとEVM系の流動性/ユーザー群をつなぐことは、技術的な物語とエコロジーの論理を融合させる完璧な爆発点であると言える。

執筆:LFG Labs

想像してみてください。もし任意の Solidity 開発者が、ほぼゼロの敷居で Move 上により安全で効率的な DApp を構築/移行できるとしたら、非常にクールではありませんか?

2019 年、テクノロジー業界を揺るがし、すぐに衰退した Libra は、自らが失敗した後に、Aptos、Sui、Linera、Movement が次々とその遺志を引き継ぎ、Move 系新しいパブリックチェーンを小高潮に押し上げるとは思ってもみなかったでしょう。

しかし面白いことに、Aptos、Sui、Linera がすべて Move 言語に基づく L1 パブリックチェーンであるのに対し、新世代の Movement は L2 に目を向け、Move 言語に基づく最初の Ethereum L2 を発表しました。これは、Move の基盤となる実行性能と安全性の利点を活かし、EVM のエコシステムの利点をさらに融合させることを目的としており、開発者は Move コードを記述することなく M2 上で Solidity プロジェクトを開始できるようになります。

Movement は、Move 系新しいパブリックチェーンの中で初めて「Ethereum キラー」から「Ethereum に参加する」融合的なソリューションに転換したもので、L2 層で高性能アーキテクチャを応用し、最終的な状態の安全性を Ethereum メインネットに基づくメカニズム設計を採用し、4 月には 3800 万ドルの大規模な資金調達を成功させました。

では Movement は具体的に何をしようとしているのか、また Polychain Capital、Binance Labs、OKX Ventures、Hack VC などのトップ投資機関が次々と注目するその魔力は何なのでしょうか?

Movement:Move を EVM エコシステムに導入

プログラミング言語はブロックチェーンプロジェクトの核心的な調性を映し出すため、Movement が何をしようとしているのかを詳しく理解する前に、まず Move 言語の内生的な特徴を復習する必要があります。

ご存知の通り、Move は Facebook によって開発された新しいスマートコントラクト言語であり、最初に Facebook の Libra(Diem)プロジェクトに適用された以外に、現在市場で公開されている Move 言語を採用した Web3 製品は主に Aptos、Sui といった新しいパブリックチェーンエコシステムに集中しています。

パブリックチェーンの観点から見ると、Move 言語はデジタル資産のために生まれたと言えます------Solidity などのブロックチェーンプログラミング言語と比較して、Move はコアロジックにおいて「資産の安全性」と「ネイティブな高性能」という二つのキーワードを特に強調しています:

  • 一方で、Rust を基にして設計されたオブジェクト指向言語であり、安全なリソース管理を持つスマートコントラクトを記述するために設計されており、デジタル資産の地位を強化し、開発者がより柔軟かつ安全にチェーン上でデジタル資産を定義し管理できるようにしています;
  • 他方で、Move 言語のソースコード Move IR はトランザクションスクリプトとモジュールをデカップリングすることができ、トランザクションロジックとスマートコントラクトを分割することができるため、Move 系パブリックチェーンの TPS はしばしば数万、さらには 10 万レベルに達し、EVM 系パブリックチェーンの性能を大幅に上回ることができます;

簡単に言えば、Move に基づいて構築されたブロックチェーンネットワークは、Solidity 系パブリックチェーンよりも優れた安全性と高性能の利点を天然に備えており、これが新しい開発者がチェーン上のアプリケーションを構築するためのより良い切り口を提供しています。

しかし、パブリックチェーンにとって、技術的な物語はしばしば競争の主戦場ではなく、十分なユーザーと資金を引き寄せることができるかどうかがパブリックチェーンの競争の鍵です。これが近年「Ethereum キラー」がほとんど言及されなくなった核心的な理由でもあります------Ethereum のアプリケーション層の革新が次々と登場するのに対し、ほとんどの新しいパブリックチェーンは「ゴーストタウン効果」に悩まされており、大多数のネットワークのユーザーと流動性は非常に乏しいのです。

そのため、Movement は別の道を選び、Move 系スマートコントラクトの安全性と高性能の利点を EVM 系の流動性とユーザー群の利点と結びつけることに専念しています。つまり、「Move を Ethereum に導入する」という考え方を借りて、両者の各自の利点を結合しようとしているのです。

例えば、Movement の M1 と M2 パブリックチェーンアーキテクチャは、効率的なトランザクション処理の利点を天然に備えつつ、特に Ethereum 仮想マシン(EVM)を統合しており、開発者は Move コードを記述することなく、M2 上で EVM 系の成熟した DApp を起動することができます。

つまり、Movement は自動的に Solidity スクリプトを Move が理解できるオペコードに変換し、Move が Ethereum や他の EVM ネットワークとの相互運用性を得ることを可能にします。

したがって、Movement は Move を EVM エコシステムに導入するというよりも、EVM の資金とユーザーを Movement Labs スタックと広範な Move エコシステムに取り込むことに他なりません。最終的には EVM エコシステムのトラフィックを吸収し、より安全で効率的なブロックチェーンシステムを構築するのです。

モジュラー開発キット Movement SDK

「Ethereum に Move を導入する」という核心的なビジョンを実現するための主要な開発ツールが Movement SDK です。

モジュラー開発キットとして、主に MoveVM、Fractal、ソートネットワークと DA サービス用のカスタムアダプター(Adaptors)という 3 つのコアコンポーネントを含んでいます。

MoveVM:安全で効率的な実行環境

まず、Movement SDK のコアとして、MoveVM はスマートコントラクトに安全で効率的、リソース指向の実行環境を提供します。

これにより Movement SDK は複雑なスマートコントラクトを実行し、デジタル資産を管理する能力を備え、M2 ネットワークにとって不可欠な構成要素となります(詳細は下記で紹介)。したがって、MoveVM は M2 ネットワークが超高トランザクションスループットと極めて迅速な応答速度を実現するための重要な支えであり、その主な特徴は以下の通りです:

  • リソース指向のプログラミング:MoveVM は資産を有形で複製不可能なリソースと見なし、資産管理のより高い安全性と完全性を確保します;
    厳格な安全保証:バイトコード検証プロセスを採用することで、MoveVM はすべての実行コードが厳格な安全プロトコルに従うことを保証し、脆弱性を最小限に抑え、ブロックチェーンシステムの全体的な堅牢性を強化します;
  • 効率的な資産管理:それは制御された環境を提供し、デジタル資産を正確に管理し、最高の忠実度と信頼性でトランザクションを実行することを保証します。
  • 型安全性と形式検証:MoveVM は型安全性を強調し、厳格な型システムを採用してコンパイル時にエラーを捕捉し、形式的な検証方法と組み合わせることで、スマートコントラクトが指定された属性と安全基準を遵守することを保証し、エラーや脆弱性のリスクを低減します;
  • 隔離とカプセル化:MoveVM 内の資産とコードはモジュールにカプセル化され、厳格なアクセス制御と隔離を実施します。このカプセル化により、未承認のアクセスや相互作用を防ぎ、各モジュールがその定義されたパラメータ範囲内で動作することを保証し、システムの全体的な安全性と完全性を強化します;
  • バイトコード検証:MoveVM は包括的なバイトコード検証プロセスを採用し、実行前にスマートコントラクトを慎重に検査します。このステップにより、すべてのコントラクトがプラットフォームの安全性と正確性の基準を満たすことが保証され、悪意のあるまたは欠陥のあるコードの実行リスクが大幅に低下します;

注目すべきは、Movement の MoveVM が並列処理技術とモジュラーアーキテクチャを採用していることです。前者はアルゴリズムを通じてメモリプール内のトランザクションの順序と優先度を最適化し、並列処理の方法でトランザクションの混雑と遅延の問題を軽減します。

後者は、元の MoveVM の機能を外部環境(EVM など)に拡張し、より広範な相互運用性を持つブロックチェーンエコシステムを包含する多機能仮想マシンを構築することを目指しています。

つい先日、ベテラン Move エンジニア @artoriatech が現在の Move 系エコシステムが直面している断片化問題について「批判」を公開し、「開発者がある Move チェーンから別の Move チェーンに移行する際に直面する抵抗は非常に大きい」と述べました:

Sui Move と Aptos Move の例を挙げると、各チェーンは独立したエコシステムであり、それぞれ独自の VM とツールキットを持ち、差異が非常に大きく、プロトコルが新機能を発表するにつれてその差異はさらに拡大しています。それにより、ほぼ異なる言語となり、これらの差異を減らすためのプロジェクトは存在しません。

Movement のモジュラー MoveVM は多機能仮想マシンとして、EVM および他の Move エコシステムと完全に互換性を持つことを目指しています------現在、Aptos および EVM コードのデプロイをサポートしており、すぐに Sui エコシステムもカバーする予定です。

これは、Aptos、Ethereum などの EVM エコシステムの DApp が、10 分以内にデプロイできることを意味します------開発者は Move を追加で学ぶ必要はなく、Solidity などの元の言語アーキテクチャにコードを保持するだけで、並列デプロイを実現できます。

Fractal:Solidity と MoveVM を接続する

Fractal の本質はコンパイラであり、Solidity スマートコントラクトが MoveVM 環境で実行できるようにし、Solidity と Move の二つの言語をシームレスに接続する安全なフレームワークを提供します。これにより、開発者は MoveVM 上(M2 ネットワーク)で Solidity コントラクトをデプロイできるようになります。

この利点は言うまでもなく、開発者は Solidity の柔軟性を享受しつつ、Move の安全性と高性能の利点を利用して、Solidity 上のいくつかの先天的な問題を解決できます。

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

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

公式ブログによると、現在 Fractal は開発段階にあり、既存の機能を超えてその機能を拡張するための徹底的なテストと強化が行われています。

カスタムアダプター

カスタムアダプター(Custom Adaptors)は Movement SDK の最後のコアコンポーネントであり(本質的には下記の M1 アーキテクチャ)、ソートネットワークおよびデータ可用性(DA)サービスとのシームレスな統合を提供することを目的としています:

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


全体として、Movement SDK は、スマートコントラクトのデプロイとテストのための実行環境、コンパイラ、アダプターを含む包括的な開発キットを提供し、開発プロセスを簡素化し、特に Solidity 開発者が Move 言語に基づく DApp をより容易に構築、テスト、最適化できるようにすることを目指しています。

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

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

M1 はコミュニティを重視したネットワークとして設計されており、即時の最終確定性を実現し、分散型ソーターネットワークとコンセンサス層を提供するために可能な限り高い TPS を提供します。一方、M2 は M1 と Ethereum に基づく ZK-Rollup L2 ソリューションであり(Sui Move と Aptos Move の両方をサポート)、EVM を統合することで Ethereum と互換性のある DApp が M2 上で実行できるようにします。

M1:分散型ソーターネットワークとコンセンサス層

M1 の公式定義は Move に基づく「コミュニティ優先のブロックチェーン」であり、即時の最終確定性(instant finality)やモジュール化カスタマイズなどのアーキテクチャを通じて可能な限り高い TPS を提供します。核心的な目標は、Move 言語の高度な安全性とカスタマイズ性を通じて複雑なトランザクションとスマートコントラクト機能をサポートし、プラットフォームの信頼性とユーザーの使いやすさを確保することです。

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

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

この基盤の上で、M1 は M2 の PoS ソーターネットワークとコンセンサス層として機能し、一方で質権を通じて M2 ネットワークの運用の安全性を保証し、他方で M2 に効率的なコンセンサスメカニズムを提供します------M1 ネットワーク内でソーターになるためには MOVE トークンを質権し、スラッシュメカニズムを通じて悪意のある活動を防止し、ネットワークの安全性と信頼性を強化します。

同時に M2 の PoS ソーターネットワークとして、M1 はデータ可用性(DA)サービスと Prover Marketplace を活用して、トランザクションの正確性、可アクセス性、検証性を確保します。

M2:M1 と Ethereum に基づく ZK-Rollup L2

M2 は Movement エコシステムの「メインネット」と見なすことができ、Move に基づく ZK-Rollup アーキテクチャを導入し、MoveVM、Fractal、M1 で構成され、具体的な DApp アプリケーションのデプロイを担当します。

「Move に基づく ZK-Rollup アーキテクチャ」と言われる理由は、M2 がプライバシーと安全性を強化するためにゼロ知識証明を使用する計画であり(つまり zk-Move 技術)、これにより M2 は処理速度とコスト効率の面で優位性を持つだけでなく、プライバシー保護の面でも独自の利点を持つことになります。

MoveVM、Fractal により、M2 は標準の EVM スマートコントラクトを実行できるだけでなく、Move 言語で記述されたスマートコントラクト(Aptos Move、Sui Move)もサポートします。同時に、Move 言語と Sui の並列モデルを利用することで、EVM トランザクションに高スループットと低遅延サービスを提供します。

これは、Solidity などの言語の開発者が安全で高性能、高スループットの MoveVM Rollup アプリケーションを簡単に起動できることを意味し、つまり Move 言語のネイティブな利点を直接利用できるのです。

最後に、M2 上で実行されるすべてのトランザクションは M1 ソーターネットワークを通じて、トランザクションデータをパッケージ化して Ethereum に返送され、Prover Marketplace の zk-provers ネットワークによって有効性証明の最終性が行われ、ZK 証明の結果が Ethereum メインネットに配置され、そのトランザクションの詳細データが Celestia に公開され、両者のデータ状態の同期が実現されます:

Blobstream 技術を活用することで、Celestia のモジュール化データ可用性層を Ethereum に転送でき、開発者はスマートコントラクトを開発するのと同様に Blobstream を統合して高スループットの Ethereum L2 を作成できます。

言い換えれば、M1 はコンセンサス層とトランザクションソートを担当し、M2 は Solidity-Move の変換とトランザクション実行を担当し、Celestia/Ethereum は最終的なデータ可用性と状態の安全性を担当します。このモジュラーアーキテクチャは、Move の高性能、安全性と EVM のユーザーとトラフィックの利点を最大限に融合させています。

小結

技術的な物語を超えて、ゼロから巨大で繁栄したエコシステムを迅速に構築できるかどうかが重要です。

現在 Movement Labs が開発している Movement SDK、メッセージング基盤 Hyperlane、Movement 共有ソーター(M1)などのツールキットは、すべて開発者に必要なリソースを提供し、Move に基づいてアプリケーションを簡単に構築しデプロイできるようにするためのものです。

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

この観点から見ると、今後 M1、M2、Move Stack などのツールキットの組み合わせが、Solidity エコシステムと Aptos Move、Sui Move エコシステムを含む広範な MoveVM 宇宙を生み出し、他の非 Move 言語ベースのプロトコルが Move の機能を利用できるようにし、Move 言語の影響力を拡大する可能性があります。

これにより、どの開発者も分散化され、安全な前提の下で、将来の高性能 DApp の運用ニーズを満たし、資産の移転交換などのプロセスにおける拡張性と性能の問題を解決し、商業利用可能なレベルに達することができます。

Movement の発展はまだ初期段階にありますが、トップ VC 機関はこの Move-Solidity 融合の潜在的な機会をすでに見出し、先行して配置を始めており、「スケーラビリティのボトルネック」と「高性能ゴーストタウン」という二つの対立する極端な新しいソリューションを求めています。

もしすべてが順調に進めば、この一連の組み合わせが新たなシーンのユースケース、新しいユーザー、そして最終的な広範な Move-Solidity エコシステムの成長の基盤を築くことを排除することはできません。期待しましょう。

ChainCatcherは、広大な読者の皆様に対し、ブロックチェーンを理性的に見るよう呼びかけ、リスク意識を向上させ、各種仮想トークンの発行や投機に注意することを提唱します。当サイト内の全てのコンテンツは市場情報や関係者の見解であり、何らかの投資助言として扱われるものではありません。万が一不適切な内容が含まれていた場合は「通報」することができます。私たちは迅速に対処いたします。
チェーンキャッチャー イノベーターとともにWeb3の世界を構築する