最近在研究链上的交易数据，尝试做一些简单的分析，立个flag同步更新笔记来记录自己的学习过程。

MOVE是一个大家同样在过程中，以安全性的编写记录下来的语言，个人正在慢慢发现目前并没有形成学习结构的探索教程，所以打算将自己的探索，帮助踩到坑，这是第一个篇记录寻找aptos的MOVE IDE配置的笔记，如有错误欢迎大家指正。

联系我：Discord:k8ssssss#1673

0x1、浏览器开发环境

如果你只是想简单的体验一下move的语法，那么推荐使用浏览器开发环境Move Playground

地址：https://playground.pontem.network/

先来看下全景图的功能。

通过一个简单的脚本来演示如何使用

首先收集所有数据，然后创建我们的新项目test_script

然后我们点击项目目录，展开目录树，工程目录结构如下

• 项目名称（项目名称）

  • 脚本（存放脚本目录）

  • 来源（加载模块）

  • 测试（存放测试文件）

分别在scripts和sources目录下创建文件test_script.move和test_module.move

创建完成后，点击文件就可以在打开的文件中打开编辑窗口，我们在下面的test_module.move代码中

module 0x01::Math {
    public fun sum(a: u64, b: u64): u64 {
        a + b
    }
}

由于目前这个编辑器不支持中文注释，下面带注解版本方便新手理解。

module 0x01::Math {		//在0x01地址下定义一个名为Math的module
    public fun sum(a: u64, b: u64): u64 {		//定义一个公开的函数，名为sum 需要输入u64类型的a、b 返回一个u64类型的值
        a + b
    }
}

在test_script.move中写入以下代码

script {
    use 0x01::Math;
    use 0x1::Debug;

   fun test_script(a: u64, b: u64) {
     let c = Math::sum(a,b);
     Debug::print(&c);
   }
}

简单的注解

script {			//定义一个script
    use 0x01::Math;			//	引入Math module
    use 0x1::Debug;			//  引入内置module Debug

   fun test_script(a: u64, b: u64) {	//定义 一个函数要求输入a、b两u64类型的值
     let c = Math::sum(a,b);		//定义一个变量c 赋值为a、b之和
     Debug::print(&c);			//输出变量c
   }
}

在Run Script功能栏执行test_script(2,3)，就可以获得结果等于5，同时可以看到消耗的gas数量。

0x2、本地开发环境构建

基于Clion

1、安装aptos CLI

前往发布页面下载最新的二进制文件，当前最新的发布版本是V0.2.0

https://github.com/aptos-labs/aptos-core/releases

下载解压之后放到你想要的目录下面，由于Mac的安全策略问题需要手动有右键打开一次。然后需要把apts添加进环境变量

我这里终端配置的是zsh，所以我直接写入了家目录下的`.zshrz`文件，可以根据自己的环境来。

export PATH="/Users/moonly/aptos:$PATH"

完成之后重新打开终端，执行`aptos`，显示如下信息就是完成安装了

CLI的具体操作说明可以看官方的文档：https://github.com/aptos-labs/aptos-core/blob/main/crates/aptos/README.md#install-the-aptos-cli

2、Clion 联动CLI

安装 Move Language插件

安装中文插件

完成后重启CLion，新建项目时就可以选择MOVE了。新建一个项目

然后我们需要对aptos进行初始化，点击左下角的终端打开命令行，输入aptos init

命令会交互式的让你提交REST地址、水龙头地址和钱包私钥，如果全部直接回车，则会默认使用公共开发网的地址。

最终会返回一个钱包地址，需要复制这个钱包地址。

将上面的钱包地址写入项目目录中的Move.toml文件中

这样我们就完成了IDE的配置。

3、编写测试

在sources目录下右键新建MOVE文件

选择Module然后输入文件名test_module

写入以下代码，一个简单的加法

module Sender::Math {
    public fun sum(a: u64, b: u64): u64 {
        a + b
    }
}

然后创建tests目录

然后在tests目录下创建文件test_script.move,类型选择Test

写入以下代码，引入刚刚我们的Math,然后计算a+b 并验证结果是否等于50

#[test_only]
module Sender::MathTest {
    use Sender::Math;

    #[test]
    fun test_add() {
        let a = 20;
        let b = 30;

        let r = Math::sum(a, b);
        assert!(r == 50, 1);
    }
}

切换回test_module.move文件，然后点击右上角Build后的三角形按钮进行本地编译

下方会显示结果，如果有报错也会在下面显示，可以看到我们的Math以及发布在我们的钱包地址下了。然后我们之前在Move.toml文件中将地址设置为别名Sender,现在就可以在脚本中用use Sender::Math;来引入Math了。

切换到test_script.move文件，点击方法旁边的绿色三角形可以直接运行函数

也可以通过右上角进行运行

可以看到运行成功

assert!关键字是一个类似于solidity中的require，它接受2个参数，第一个参数是一个布尔表达式，如果结果为假就会报错第二个参数的错误码，并终止执行回退操作，如果我们把代码修改一下，再次执行就会报错了。

#[test_only]
module Sender::MathTest {
   use Sender::Math;
   #[test]
   fun test_add() {
       let a = 20;
       let b = 30;

       let r = Math::sum(a, b);
       assert!(r == 51, 1);
   }
}

0x3、基于VS Code

1、安装插件

VS Code中有两个Move插件

一个是Move核心团队维护的move-analyzer，一个是由Pontem 团队维护的Move Language

这里我选择了move-analyzer，插件依赖组件move-analyzer语言服务器,move-analyzer语言服务器是一个 Rust 程序,所以需要先安装Rust 的包管理器cargo.安装完成后执行cargo -V查看版本

curl https://sh.rustup.rs -sSf | sh

开始安装move-analyzer,由于aptos与Move标准风格的地址格式不同，所以需要加上参数--features "address32",安装完成后执行move-analyzer --version查看版本,然后执行where is move-analyzer找到二进制文件的路径，待会配置插件需要用到。

cargo install --git https://github.com/move-language/move move-analyzer --features "address32"

打开VS Code搜索安装插件，安装完成后点击小齿轮选择扩展设置。

写入刚刚获取的二进制文件路径，然后重启VS Code

2、安装aptos CLI并初始化项目文件夹

安装方法可以看上面Clion的章节。安装完成后用VS Code打开一个新的文件夹，此时它应该是空的。打开终端执行aptos move init --name <项目名称>就会生成项目结构，同时包含一个Move.toml文件。

然后执行aptos init 命令会交互式的让你提交REST地址、水龙头地址和钱包私钥，如果全部直接回车，则会默认使用公共开发网的地址。最终会返回一个钱包地址，需要复制这个钱包地址。写入Move.toml文件中格式为<钱包别名> = “0x<钱包地址>” ,如果你想修改这个配置可以在项目目录下.aptos/config.yaml找到它

用一个官方的HelloBlockchain来演示一下如何进行编译和运行代码，源码github地址：https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/hello_blockchain

这个用例的核心功能就是为你的钱包中保存一条文本信息。

由于我们刚刚设置的地址别名是Sender，所以这里第一行被我修改为了Sender。

module Sender::Message {
    use Std::ASCII;
    use Std::Errors;
    use Std::Event;
    use Std::Signer;

    struct MessageHolder has key {
        message: ASCII::String,
        message_change_events: Event::EventHandle<MessageChangeEvent>,
    }

    struct MessageChangeEvent has drop, store {
        from_message: ASCII::String,
        to_message: ASCII::String,
    }

    /// There is no message present
    const ENO_MESSAGE: u64 = 0;

    public fun get_message(addr: address): ASCII::String acquires MessageHolder {
        assert!(exists<MessageHolder>(addr), Errors::not_published(ENO_MESSAGE));
        *&borrow_global<MessageHolder>(addr).message
    }

    public(script) fun set_message(account: signer, message_bytes: vector<u8>)
    acquires MessageHolder {
        let message = ASCII::string(message_bytes);
        let account_addr = Signer::address_of(&account);
        if (!exists<MessageHolder>(account_addr)) {
            move_to(&account, MessageHolder {
                message,
                message_change_events: Event::new_event_handle<MessageChangeEvent>(&account),
            })
        } else {
            let old_message_holder = borrow_global_mut<MessageHolder>(account_addr);
            let from_message = *&old_message_holder.message;
            Event::emit_event(&mut old_message_holder.message_change_events, MessageChangeEvent {
                from_message,
                to_message: copy message,
            });
            old_message_holder.message = message;
        }
    }

    #[test(account = @0x1)]
    public(script) fun sender_can_set_message(account: signer) acquires MessageHolder {
        let addr = Signer::address_of(&account);
        set_message(account,  b"Hello, Blockchain");

        assert!(
          get_message(addr) == ASCII::string(b"Hello, Blockchain"),
          ENO_MESSAGE
        
    }
}

在本地编译移动包，参数--package-dir指定项目目录，如果在项目根目录执行可以省去

aptos move compile

在本地编译并进行执行单元测试，可选参数--package-dir指定项目目录，如果在项目根目录执行可以省去

aptos move test

发布移动包

aptos move publish

发布完成后，可以去我们发布的多个链浏览器，就可以看到我们的钱包地址，就可以看到已经绑定到我们的钱包地址了

区块浏览器地址：https://explorer.devnet.aptos.dev/

函数运行

aptos move run --function-id <钱包地址>::<模块名>::<函数名> --args <参数类型>:<参数值>

执行set_message参数hello move!

已经可以在结果中参数写入账户中查看了。在区块链器上查看。

0x4、结束

感谢中文小组成员在创作过程中的帮助。@Boyu_Chen#697、@lshoo#1959、@ruyisu#5492

参考链接：

aptos官方开发者文档：https://aptos.dev/guides/getting-started

Aptos CLI官方文档：https://github.com/aptos-labs/aptos-core/tree/main/crates/aptos

pontem官方文档：https://docs.pontem.network/

在以太坊系统中，状态是由被称为“账户”（每个账户由一个20字节的地址）的对象和在两个账户之间转移价值和信息的状态转换构成的。以太坊的账户包含四个部分：

• 随机数，用于确定每笔交易只能被处理一次的计数器

• 账户目前的以太币余额

• 账户的合约代码，如果有的话

• 账户的存储（默认为空）

以太坊有两种类型的账户：外部所有的账户（由私钥控制的）和合约账户（由合约代码控制）。

消息和交易

以太坊中“交易”是指存储从外部账户发出的消息的签名数据包。交易包含消息的接收者、用于确认发送者的签名、以太币账户余额、要发送的数据和两个被称为STARTGAS和GASPRICE的数值。

STARTGAS:是用来限制合约执行步骤的，每一步都需要消耗GAS，GAS消耗完交易未完成则强制失败，如果执行交易中止时还剩余瓦斯，那么这些瓦斯将退还给发送者。

GASPRICE是每一计算步骤需要支付矿工的费用

以太坊状态转换函数

以太坊的状态转换函数：APPLY(S,TX) -> S'，可以定义如下：

1. 检查交易的格式是否正确（即有正确数值）、签名是否有效和随机数是否与发送者账户的随机数匹配。如否，返回错误。

2. 计算交易费用:fee=STARTGAS * GASPRICE，并从签名中确定发送者的地址。从发送者的账户中减去交易费用和增加发送者的随机数。如果账户余额不足，返回错误。

3. 设定初值GAS = STARTGAS，并根据交易中的字节数减去一定量的瓦斯值。

4. 从发送者的账户转移价值到接收者账户。如果接收账户还不存在，创建此账户。如果接收账户是一个合约，运行合约的代码，直到代码运行结束或者瓦斯用完。

5. 如果因为发送者账户没有足够的钱或者代码执行耗尽瓦斯导致价值转移失败，恢复原来的状态，但是还需要支付交易费用，交易费用加至矿工账户。

6. 否则，将所有剩余的瓦斯归还给发送者，消耗掉的瓦斯作为交易费用发送给矿工。

代码执行

EVM代码由一系列字节构成，每一个字节代表一种操作。代码执行是无限循环，程序计数器每增加一（初始值为零）就执行一次操作，直到代码执行完毕或者遇到错误，STOP或者RETURN指令。

操作可以访问三种存储数据的空间：

• 堆栈，一种后进先出的数据存储，32字节的数值可以入栈，出栈。

• 内存，可无限扩展的字节队列。

• 合约的长期存储，一个秘钥/数值的存储，其中秘钥和数值都是32字节大小，与计算结束即重置的堆栈和内存不同，存储内容将长期保持。

区块链三难困境

1. 去中心化：创建一个不依赖中央控制点的区块链系统

2. 可扩展性：区块链系统处理越来越多的交易的能力

3. 安全：区块链系统按预期运行、保护自己免受攻击、错误和其他不可预见问题的能力