Move言語の紹介

MoveはRustに基づいたプログラミング言語で、ブロックチェーンアプリケーションのために設計されています。それは既存のスマートコントラクト言語の限界を解決することを目指し、希少性、決定性、検証可能性を提供します。Moveは安全性と効率を重視し、プラットフォームに依存しない特性を持ち、クロスブロックチェーンのライブラリ、ツール、開発者コミュニティをサポートしています。

Move言語の主な機能

Moveは既存のブロックチェーン言語の基盤の上に多くの利点を持っています:

1. リソース指向プログラミングモデル
2. 内蔵のセキュリティ機能
3. オブジェクト指向および資産ベースの設計
4. 細粒度のアクセス制御
5. 効率的な取引処理
6. 一般的な Web3 の問題(を防ぐ、例えば再入攻撃や有毒トークンなど)

Moveの能力モデルは、オブジェクトが特定の権限を持っていることを保証し、コピーやオブジェクトの削除などの不正な操作を防ぎます。

Move Prover フォーマル検証ツール

Move Proverは、開発者を支援するための検証ツールです。

• アプリケーションの主要機能の形式仕様を作成する
• 短時間でコード実行の正確性を確認する
• 前提条件、後提条件、およびデータの不変性を定める
• 一般的なスマートコントラクトのエラーを防ぐ

Move ProverとMoveビルドシステムが統合され、開発者はコードの検証を簡単に行えるようになります。

Moveエコシステム

スイ

Suiは、以下の特徴を持つ分散型プルーフ・オブ・ステークブロックチェーンです:

• 水平にスケーラブルなスループットとストレージ
• 120,000 TPS以上を処理できる
• サブミリ秒で独立した取引を処理する
• 3秒以内に複雑な取引を処理(共有オブジェクト)
• Narwhal & Tusk コンセンサスプロトコルを使用する

SuiはMoveのコア機能にいくつかの最適化を行い、ネットワークパフォーマンスを向上させ、取引確認時間を短縮しました。

アプトス

Aptosは、次の特性を持つLayer 1ブロックチェーンです:

• 現在は最大 10,000 TPS のスループットを実現できます
• 理論上の最大スループットは 160,000 TPS
• 最終確認時間は250ミリ秒です
• 並列実行とBlock-STMによる高性能
• Diem を改編した HotStuff コンセンサスエンジンを使用

Aptosは、並列性、大規模ストレージテーブル、細粒度ストレージデカップリングを含むコアMoveVM機能を適応層を通じて拡張しました。

ムーブメントラボ

Movement Labsは、MoveVMをイーサリアムエコシステムに導入することを目的としたブロックチェーンネットワークの統合に取り組んでいる開発チームです。彼らの主な業務には次のものが含まれます:

1. イーサリアム上で最初の MoveVM Layer 2 (M2) を開発する
2. 新しい高性能実行環境を導入する
3. Move-EVMを作成し、検証されたコードのデプロイを許可します。
4. Move Stackを発表しました。これは既存のRollupフレームワークと互換性のある実行レイヤーフレームワークです。

Movement Labsのデザイン理念はモジュール化された統合を強調しており、開発者がブロックチェーンスタックをカスタマイズできるようにしています。また、互換性を高めるためにSolidityからMoveへのコンパイラも開発中です。

今後の展開

短期的には、開発者はEthereumテストネット上に最初のMoveスマートコントラクトを展開することを期待できます。長期的な目標は、メインネット上で完全なRollupを実現し、Moveの利点をEthereumエコシステム全体にもたらすことです。Movement Labsは、アジア太平洋地域のMove開発者を引き続きサポートし、必要なリソースと機会を提供して、Moveエコシステムのグローバルな発展を促進します。