Move言語とMovement Labsの台頭
Move 言語とは
Move は、Meta の Diem ブロックチェーンプロジェクトのために開発された Rust ベースのプログラミング言語です。Move は、既存のスマートコントラクト言語の限界を解決し、希少性、決定性、検証可能性を提供することを目的としています。従来のプログラミング言語とは異なり、Move はブロックチェーンアプリケーション専用に設計されており、安全性と効率性を強調しています。Move はプラットフォームに依存しない特性を持ち、クロスブロックチェーンのライブラリ、ツール、開発者コミュニティをサポートしています。
Move 言語の利点
Move は、既存のブロックチェーン言語に対して多くの利点を持っています。そのリソース指向のプログラミングモデルと組み込みの安全機能により、安全で高性能なブロックチェーンアプリケーションを構築するための理想的な選択肢となっています。Move の設計は安全性を強調しており、再入攻撃、有害トークン、偽造トークン承認など、一般的な Web3 の問題を回避することを目指しています。デジタル資産はリソースと見なされ、任意にコピーまたは破壊されることはありません。
オブジェクト指向と資産ベースのプログラミング
Move は、オブジェクト指向かつ資産ベースのプログラミング言語として設計されています。Sui Move では、オブジェクトが中心であり、細粒度のアクセス制御を可能にします。グローバルストレージ構造はオブジェクト ID をオブジェクトにマッピングし、高効率なトランザクション処理と正確なアクセス表現をサポートします。Move の能力モデルは、オブジェクトが特定の権限を持つことを保証し、オブジェクトのコピーや削除などの不正な操作を防ぎます。
Move Prover を使用した形式検証
Move Prover は、開発者がアプリケーションの重要な機能の形式仕様を作成し、30 秒以内にコード実行の正確性をチェックするのを助ける検証ツールです。このツールは、一般的なスマートコントラクトのエラーを防ぐために重要であり、前提条件、後続条件、およびデータ不変性を定義することを可能にします。Move Prover は Move ビルドシステムと統合されており、開発者が簡単にコードを検証できるようにします。
ガバナンスとコミュニティツールは、Facebook 開発時には正式なガバナンスメカニズムがありませんでしたが、Move の発展は現在、学術界やセキュリティコミュニティを含むさまざまな機関からの多様なチームを巻き込んでいます。言語の設計原則は、簡潔さとクロスプラットフォームの適用性に重点を置いており、経験豊富なスマートコントラクト開発者と Web2 からの初心者の両方に対して柔軟性と使いやすさを保つことを保証します。Move のガバナンスアプローチは、核心原則に焦点を当て、必要な場合にのみ言語を拡張することで、論争的な意思決定を回避することを目指しています。
早期の Move エコシステム Sui
Sui は、水平スケーラブルなスループットとストレージを持つ分散型のプルーフ・オブ・ステークブロックチェーンで、Mysten Labs によって開発されました。そのチームは、Meta の先進的なブロックチェーン研究開発部門である Novi Research から来ており、Diem ブロックチェーンと Move プログラミング言語に取り組んでいます。創設チームには、CEO の Evan Cheng、CPO の Adeniyi Abiodun、CTO の Sam Blackshear（Move の創設者）、チーフサイエンティストの George Danezis、チーフ暗号学者の Kostas Chalkais が含まれています。
Sui は、120,000 TPS を超える処理能力を持ち、サブ秒内で独立したトランザクションを処理し、3 秒以内でより複雑なトランザクション（共有オブジェクト）を処理することが期待されています。トランザクションの依存関係は実行前にマッピングされ、ビザンチン合意ブロードキャストを通じて独立したトランザクションを処理できる一方、共有オブジェクトを含むトランザクションは Narwhal & Tusk という合意プロトコルによって処理されます。
Sui は、グローバルストレージオペレーターと重要な能力に関して Move のコア機能にいくつかの変更を加えました。これらの変更は、Move の安全性と柔軟性を保持しつつ、ストレージとアドレッシングメカニズムを最適化し、ネットワーク性能を向上させ、トランザクション確認時間を短縮します。
Aptos
Aptos は、数十億人に普遍的かつ公平な分散型資産アクセスを提供することを使命とする Layer 1 ブロックチェーンです。CEO の Mo Shaik と前 Meta のリードブロックチェーンソリューションエンジニア CTO の Avery Ching によって共同設立されました。Mo は Meta に入る前に、ConsenSys、BlackRock、ボストンコンサルティンググループで働いており、Avery は Yahoo で働いていました。Aptos チームは、Meta、Novi、Amazon、VMware などの企業で博士号を持つ研究者、エンジニア、デザイナー、戦略家で構成されています。
Aptos は現在、最大 10,000 TPS のスループットを実現しており、理論上の最大スループットは 160,000 TPS です。ほとんどのトランザクションは 2 回のネットワークブロードキャスト後に検証され、最終確認時間は 250 ミリ秒です。トランザクション実行層と合意プロトコルを分離することで並列実行を実現し、Block-STM によって並列実行を実現し、状態同期によってサブ秒の遅延を実現しています。その合意エンジンは、Diem の HotStuff とそのチームの第 4 回のイテレーションを改編したものです。
Aptos は、Block-STM による並列性の実現を含むコア MoveVM 機能を適応層で拡張し、ユーザー入力なしでトランザクションを並列実行し、アカウント内の大規模ストレージテーブルを持ち、細粒度のストレージデカップリングを実現し、アカウント内のデータ量が関連するトランザクションの GAS 費用に影響を与えます。 >
Movement Labs
Movement Labs は、Ethereum 上で最も迅速かつ安全な Layer 2 ソリューションをサポートするためにブロックチェーンネットワークを統合することに専念するブロックチェーン開発チームです。彼らの使命は、スマートコントラクトの安全性と EVM の流動性およびユーザーベースを組み合わせることです。彼らのフラッグシップ L2 を通じて、Rollup を Move Stack に接続し、MoveVM を Ethereum に導入します。本稿では、Movement Labs がもたらす革新と Move プログラミング言語がブロックチェーンエコシステムにおいて持つ可能性を探ります。
背景
Movement Labs の共同創設者 Rushi Manche は、幼少期から分散システムとネットワークセキュリティに情熱を注いでいました。14 歳の時にエンジニアリングの仕事を始め、大学時代に Solidity を使用してフリーランスをしていました。この期間中、彼は Cooper Scanlon に出会い、共に Move エコシステムの初期開発に参加しました。
現在のブロックチェーンインフラストラクチャにおける悪いユーザーエクスペリエンスとスマートコントラクトの脆弱性を主要な問題として特定した後、Rushi と Cooper は 2022 年に Movement Labs を設立しました。彼らの目標は、開発者が大規模なチームや高価な監査人なしでも、次の重要なアプリケーションをチェーン上に構築できるように、暗号分野の革新を加速することです。 >
安全問題の解決
2022 年から 2023 年の間に、ハッカーはスマートコントラクトの脆弱性を利用し、Curve や KyberSwap などの主要プロトコルに影響を与える一般的な再入攻撃を通じて、54 億ドル以上の暗号資産を盗みました。これらの問題を解決するために、Movement Labs は Move に基づくモジュラーなブロックチェーンエコシステムを構築することに取り組んでおり、M2 から始めて、Ethereum の最初の MoveVM Layer 2 です。彼らはまた、毎秒 30,000 トランザクション（TPS）を超えるように設計された新しい実行環境を導入しました。
Move-EVM は、開発者が実行時に検証済みのコードをデプロイできるようにし、再入攻撃やその他の攻撃ベクトルを防ぎます。この「統合アプローチ」は、共有順序付け、埋め込み形式検証、代替データ可用性、Ethereum 決済を組み合わせて、安全性と性能を向上させます。さらに、Movement Labs は、Optimism、Polygon、Arbitrum などの企業の Rollup フレームワークと互換性のある実行層フレームワークである Move Stack を発表します。 >
Move とモジュラー統合
モジュラー統合は、Movement Labs の設計哲学の中心です。ブロックチェーンスタックを明確なインターフェースを持つモジュラーコンポーネントに分解することで、シームレスな統合、カスタマイズ、アップグレードを実現します。開発者は、モジュールを組み合わせてスタックをカスタマイズできます。この統合モジュラーアーキテクチャは、全体設計に対してスケーラビリティ、安全性、革新の面で顕著な利点を持っています。
平行 EVM と Move
平行 EVM は、Ethereum のスケーラビリティと性能を改善するためのエキサイティングな開発です。Move と Solidity は異なる目的にサービスを提供し、共存し補完し合うことができます。Move は安全性と表現力に焦点を当てており、複雑なスマートコントラクトや高性能アプリケーションの構築に適しています。一方、Solidity は大規模なエコシステムと開発者コミュニティを持っています。Movement Labs では、開発者は自分のニーズに最も適した言語を選択できます。Ethereum 実行環境に MoveVM を実装することで、スループットを大幅に向上させ、開発者が新しい Ethereum アプリケーションタイプを作成できるようにします。
分散型ソーター Movement は、M1 がチェーンの実行層であり、M2 が統合された分散型ソーター ノードメカニズムを持つモジュラー L2 です。Movement ネットワークに無料のガス市場を提供します。
Move と Solidity の互換性 Solidity のプログラミングロジックは Move と大きく異なります。Movement は、Solidity で書かれたスマートコントラクトが Movement 上で OOP（オブジェクト指向プログラミング）原則を採用できるようにするための翻訳器を設計しました。ただし、翻訳されたコントラクトは、Solidity を使用する際の Move オブジェクトへの限られたアクセスやトークンおよび NFT 標準の違いなど、エンジニアリング上の課題に直面する可能性があります。 >
資金
4 月 25 日、Movement Labs は Polychain Capital のリードによる 3,800 万ドルの A ラウンド資金調達を完了し、Hack VC、Placeholder、Archetype、Maven 11、Robot Ventures、Figment Capital、Nomad Capital、Bankless Ventures、OKX Ventures、Binance Labs、dao5、Aptos Labs もこのラウンドに参加しました。
Move は、元々 Facebook の Diem プロジェクトのために作成されたプログラミング言語であり、
暗号分野で注目を集めています。Placeholder は、記事「From Solidity to Move」で Move の重要性を説明しています。 >
今後のロードマップ
短期的には、開発者は Ethereum テストネットに最初の Move スマートコントラクトをデプロイすることを期待できます。Movement Labs は、開発者をサポートするための Move ツールとリソースのセットもリリースします。長期的な目標は、メインネットでの完全な Rollup の立ち上げを実現し、Move の力を Ethereum エコシステム全体に広めることです。
グローバルな拡張戦略の一環として、Movement Labs はアジア太平洋地域を非常に重視しています。Move 開発者コミュニティ内の巨大な潜在能力と才能を認識し、彼らは必要なリソース、教育、機会を提供することでアジアの Move 開発者を支援し、彼らの優れた業績を示し、Move エコシステムの成長を促進し続けます。
