【Meta（旧Facebook）が開発】Move：スマートコントラクト向けプログラミング言語

悩んでいる人

Meta（旧Facebook）が開発したスマートコントラクトを記述できるプログラミング言語Moveを教えて！

こういった悩みにお答えします．

本記事の信頼性

リアルタイムシステムの研究歴12年．
東大教員の時に，英語でOSの授業．
2012年9月～2013年8月にアメリカのノースカロライナ大学チャペルヒル校コンピュータサイエンス学部（2021年の世界大学学術ランキングで20位）で客員研究員として勤務．C言語でリアルタイムLinuxの研究開発．
プログラミング歴15年以上，習得している言語: C/C++，Solidity/Vyper，Java，Python，Ruby，Go，Rust，D，HTML/CSS/JS/PHP，MATLAB，Assembler (x64，ARM)．
東大教員の時に，C++言語で開発した「LLVMコンパイラの拡張」，C言語で開発した独自のリアルタイムOS「Mcube Kernel」をGitHubにオープンソースとして公開．

こういった私から学べます．

プログラミング言語Move

Moveは，Meta（旧Facebook）が開発したスマートコントラクト向けプログラミング言語です．

Moveの特徴は以下になります．

Meta（旧Facebook）が開発し，仮想通貨Diemでスマートコントラクトを記述するために利用されたこと
Rust言語で開発され，Rust言語の長所である強力な型システムとリソース管理の仕組みにより，メモリ安全性が保証されること
イーサリアムのスマートコントラクト向けプログラミング言語Solidityより安全で信頼性が高いこと
イーサリアムのERC-20のようなFungible Token（FT），ERC-721のようなNon-Fungible Token（NFT）を作成できること（同じではない）

Rust，Solidityを知りたいあなたはこちらからどうぞ．

: 【C++/Go/Rust言語】ブロックチェーン基盤のプログラミング言語を学べるWebサイト

こういった悩みにお答えします．こういった私から学べます．スマートコントラクトを記述できるプログラミング言語を知りたいあなたはこちらからどうぞ．【C++/Go/Rust言語】ブロックチェーン基盤の ...

続きを見る

: 【イーサリアム】プログラミング言語Solidity（ソリディティ）とは

こういった悩みにお答えします．こういった私から学べます．プログラミング言語Solidity（ソリディティ） Solidity（ソリディティ）とは，スマートコントラクトを明示的に記述するために開発さ ...

続きを見る

MoveはGitHubにオープンソースとして公開されています．

ライセンスはApache License 2.0です．

Moveの解説動画はこちらです．

Moveを利用しているブロックチェーン基盤

Moveを利用しているブロックチェーン基盤は以下になります．

: 【元Metaのメンバが開発】ブロックチェーン基盤のAptosとは【買い方】【Diem，Move】【イーサリアムのライバル（イーサリアムキラー）】

こういった悩みにお答えします． bブロックチェーン基盤のAptos Aptosは，Web3.0で安全性，スケーラビリティ，更新しやすさを実現するレイヤ1のブロックチェーン基盤です． Aptosのホワイ ...

続きを見る

: 【元Metaのメンバが開発】ブロックチェーン基盤のSuiとは【買い方】【Diem，Move】【DAG】【イーサリアムのライバル（イーサリアムキラー）】

こういった悩みにお答えします．ブロックチェーン基盤のSui Suiは，ゼロから設計された初のパーミッションなしのレイヤ1のブロックチェーン基盤です． Suiを利用することで，ゲームから金融まで，リッ ...

続きを見る

: 【元Metaのメンバが開発】ブロックチェーン基盤のLineraとは【買い方】【Diem，Move】【イーサリアムのライバル（イーサリアムキラー）】

こういった悩みにお答えします．ブロックチェーン基盤のLinera Lineraは，Web2.0の高性能と信頼性をWeb3.0で実現するレイヤ1のブロックチェーン基盤です． Lineraは，元Meta ...

続きを見る

: ブロックチェーン基盤の0L Networkとは【買い方】【Diem，Move】【イーサリアムのライバル（イーサリアムキラー）】

こういった悩みにお答えします．ブロックチェーン基盤の0L Network 0L Networkは，分散型コミュニティのレイヤ1のブロックチェーン基盤です． 0L Networkは，元Meta（旧Fa ...

続きを見る

: ブロックチェーン基盤のStarcoinとは【買い方】【分散型オラクル】【Diem，Move】【イーサリアムのライバル（イーサリアムキラー）】

こういった悩みにお答えします．ブロックチェーン基盤のStarcoin Starcoinは，原点回帰によるセキュリティの強化とWeb3.0の価値を再定義するレイヤ1のブロックチェーン基盤です． Sta ...

続きを見る

MoveでHello Worldを表示

MoveでHello Worldを表示します．

本記事では，Moveの仮想マシン（Docker）を利用するリポジトリを利用します．

また，OSはUbuntu 22.04 LTSです．

Rustとcargoをインストール

Rustとcargoを以下のコマンドでインストールします．

$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

1	$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs \| sh

cargoの実行ファイルにパスを通します．

毎回入力するのが面倒な場合は，シェルの設定ファイルに追加しましょう！

$ source "$HOME/.cargo/env"

1	$ source "$HOME/.cargo/env"

Move CLIをインストール

Move CLIを以下のコマンドでインストールします．

$ cargo install --git https://github.com/move-language/move move-cli --branch main

1	$ cargo install --git https://github.com/move-language/move move-cli --branch main

本記事で利用するMoveのバージョンは0.1.0です．

$ move
move-cli 0.1.0
Diem Association <opensource@diem.com>
MoveCLI is the CLI that will be executed by the `move-cli` command The `cmd` argument is added here
rather than in `Move` to make it easier for other crates to extend `move-cli`

USAGE:
    move [OPTIONS] <SUBCOMMAND>

OPTIONS:
        --abi                          Generate ABIs for packages
        --arch <ARCHITECTURE>          
    -d, --dev                          Compile in 'dev' mode. The 'dev-addresses' and
                                       'dev-dependencies' fields will be used if this flag is set.
                                       This flag is useful for development of packages that expose
                                       named addresses that are not set to a specific value
        --doc                          Generate documentation for packages
        --fetch-deps-only              Only fetch dependency repos to MOVE_HOME
        --force                        Force recompilation of all packages
    -h, --help                         Print help information
        --install-dir <INSTALL_DIR>    Installation directory for compiled artifacts. Defaults to
                                       current directory
    -p, --path <PACKAGE_PATH>          Path to a package which the command should be run with
                                       respect to
        --test                         Compile in 'test' mode. The 'dev-addresses' and
                                       'dev-dependencies' fields will be used along with any code in
                                       the 'tests' directory
    -v                                 Print additional diagnostics if available
    -V, --version                      Print version information

SUBCOMMANDS:
    build           Build the package at `path`. If no path is provided defaults to current
                        directory
    coverage        Inspect test coverage for this package. A previous test run with the
                        `--coverage` flag must have previously been run
    disassemble     Disassemble the Move bytecode pointed to
    docgen          Generating javadoc style documentation for packages using the Move Prover
    errmap          Generate error map for the package and its dependencies at `path` for use by
                        the Move explanation tool
    experimental    (Experimental) Run static analyses on Move source or bytecode
    help            Print this message or the help of the given subcommand(s)
    info            Print address information
    movey-login     
    movey-upload    Upload the package metadata to Movey.net
    new             Create a new Move package with name `name` at `path`. If `path` is not
                        provided the package will be created in the directory `name`
    prove           Run the Move Prover on the package at `path`. If no path is provided
                        defaults to current directory. Use `.. prove .. -- <options>` to pass on
                        options to the prover
    sandbox         Execute a sandbox command
    test            Run Move unit tests in this package

$ move

move-cli 0.1.0

Diem Association <opensource@diem.com>

MoveCLI is the CLI that will be executed by the `move-cli` command The `cmd` argument is added here

rather than in `Move` to make it easier for other crates to extend `move-cli`

USAGE:

move [OPTIONS] <SUBCOMMAND>

OPTIONS:

--abi Generate ABIs for packages

--arch <ARCHITECTURE>

-d, --dev Compile in 'dev' mode. The 'dev-addresses' and

'dev-dependencies' fields will be used if this flag is set.

This flag is useful for development of packages that expose

named addresses that are not set to a specific value

--doc Generate documentation for packages

--fetch-deps-only Only fetch dependency repos to MOVE_HOME

--force Force recompilation of all packages

-h, --help Print help information

--install-dir <INSTALL_DIR> Installation directory for compiled artifacts. Defaults to

current directory

-p, --path <PACKAGE_PATH> Path to a package which the command should be run with

respect to

--test Compile in 'test' mode. The 'dev-addresses' and

'dev-dependencies' fields will be used along with any code in

the 'tests' directory

-v Print additional diagnostics if available

-V, --version Print version information

SUBCOMMANDS:

build Build the package at `path`. If no path is provided defaults to current

Moveで「Hello World!」を表示するコードを作成

MoveでHello Worldを表示するコードを作成します．

以下の手順で実行しましょう！

step
1helloという名前のmoveパッケージを作成

まずは，以下のコマンドでhelloという名前のmoveパッケージを作成します．

treeコマンドを実行するとMove.tomlファイルとsourcesディレクトリが作成されていることがわかります．

※treeコマンドがインストールされていない場合は「sudo apt-get install tree」でインストールしましょう．

$ move new hello
$ cd hello
$ tree 
.
|-- Move.toml
`-- sources

1 directory, 1 file

$ move new hello

$ cd hello

$ tree

|-- Move.toml

`-- sources

1 directory, 1 file

step
2hello.moveファイルを作成

「Hello World!」を表示するhello.moveファイルをsourcesディレクトリに作成します．

/*
 * Author: Hiroyuki Chishiro
 * License: 2-Clause BSD
 */
script {
use std::debug;
fun print_hello() {
    let str = b"Hello World!";
    debug::print(&str);
  }
}

* Author: Hiroyuki Chishiro

* License: 2-Clause BSD

script {

use std::debug;

fun print_hello() {

let str = b"Hello World!";

debug::print(&str);

}

step
3Move.tomlファイルを更新

Move.tomlファイルを更新します．

更新部分は，7行目の「MoveNursery = { git = "https://github.com/move-language/move.git", subdir = "language/move-stdlib/nursery", rev = "main" }」の部分です．

[package]
name = "hello"
version = "0.0.0"

[dependencies]
MoveStdlib = { git = "https://github.com/move-language/move.git", subdir = "language/move-stdlib", rev = "main" }
MoveNursery = { git = "https://github.com/move-language/move.git", subdir = "language/move-stdlib/nursery", rev = "main" }

[addresses]
std =  "0x1"

[package]

name = "hello"

version = "0.0.0"

[dependencies]

MoveStdlib = { git = "https://github.com/move-language/move.git", subdir = "language/move-stdlib", rev = "main" }

MoveNursery = { git = "https://github.com/move-language/move.git", subdir = "language/move-stdlib/nursery", rev = "main" }

[addresses]

std = "0x1"

step
4「Hello World!」を表示

Move 0.1.0では，文字列をサポートしていないのでバイト列で「Hello World!」を表示します．

以下のコマンドを実行しましょう！

$ move sandbox run sources/hello.move
[debug] (&) [72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100, 33]

1 2	$ move sandbox run sources/hello.move [debug] (&) [72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100, 33]

2行目の「debug [72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100, 33]」の「[72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100, 33]」が「Hello World!」になります．

※「Hello World!」が正しく表示されているかは，ASCIIコード表をみると確認できます．

参考までに，以下の値になります．

72：'H'
101：'e'
108：'l'
111：'o'
32：' '
87：'W'
114：'r'
100：'d'
33：'!'

まとめ

Meta（旧Facebook）が開発したスマートコントラクトを記述できるプログラミング言語Moveを紹介しました．

MoveはRustの長所を持ち，Solidityより安全で信頼性が高いことがわかりました．

Moveを深く理解したいあなたは，以下の記事を読みましょう！

ブロックチェーンエンジニアになりたいあなたは国内・海外の求人サイトをチェックしましょう！

: 国内・海外のブロックチェーンエンジニアのおすすめ求人サイト【転職エージェント】【C++/Go/Rust言語，Solidity/Vyper言語】

こういった悩みにお答えします．こういった私が解説していきます．国内・海外のブロックチェーンエンジニアのおすすめ求人サイト（転職エージェント）を紹介します．具体的には，イーサリアムのスマートコント ...

続きを見る