⛓️
Aptos
  • Aptos开发教程
  • 智能合约开发
    • MacOS下搭建Aptos开发环境
    • 编写并发布一个智能合约到Aptos
  • Typescript SDK
    • 转账
    • Module方法调用
    • 自定义Script
  • NFT
    • 利用Typescript在Aptos发行NFT
  • 外部资源/工具
    • Aptos官方文档
    • Move Book
    • Move语言工具 - Move Tools
Powered by GitBook
On this page
  • Rust
  • Aptos CLI
  • Move analyzer
  • Move prover
  • VSCode 插件配置
  1. 智能合约开发

MacOS下搭建Aptos开发环境

Aptos在MacOS上搭建Aptos开发环境搭建

PreviousAptos开发教程Next编写并发布一个智能合约到Aptos

Last updated 2 years ago

Rust

Aptos很多工具包都需要Rust支持,所以我们先安装Rust。

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

运行以下命令,说明安装成功。

cargo --version

Aptos CLI

下载地址:

下载之后,解压出名为aptos的文件复制到 /usr/local/bin, 然后运行下面命令:

chmod +x /usr/local/bin/aptos

Move analyzer

这个在开发Move module的时候,可以做语法提示,错误分析等。

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

注意:"address32"是必须参数,因为Aptos地址为32位的,而不是默认的20位。

完成之后执行如下命令,则说明成功。

move-analyzer --version

Move prover

用于做形式化证明,是Aptos合约开发的核心安全工具。

  1. 下载Move的repo, 然后运行其中的环境配置脚本

git clone https://github.com/move-language/move
cd move
./scripts/dev_setup.sh -ypt

运行如下命令,则说明安装成功。

boogie /version

VSCode 插件配置

安装插件:damirka.move-syntax

安装插件:move.move-analyzer,这个插件需要配置这一步 Move analyzer 的路径。

Tips: 执行which move-analyzer 可以查看到安装路径。

到这里开发环境就基本搭建完成了,接着可以进行:

编写并发布一个智能合约到Aptos

https://github.com/aptos-labs/aptos-core/releases/download/aptos-cli-v1.0.0/aptos-cli-1.0.0-MacOSX-x86_64.zip
Aptos 下载地址