安装 Move Prover
如果您想使用 Move Prover,请在安装 CLI 二进制文件后安装 Move Prover 依赖项. 安装 Prover 依赖项有两种方式.
通过 Aptos CLI 安装(推荐)
Section titled “通过 Aptos CLI 安装(推荐)”-
执行命令
aptos update prover-dependencies
.
通过 aptos-core
安装(不推荐)
Section titled “通过 aptos-core 安装(不推荐)”-
然后,在检出的 aptos-core 目录中,安装额外的 Move 工具:
Linux / macOS
- 打开终端会话.
- 运行开发设置脚本来准备您的环境:
./scripts/dev_setup.sh -yp
- 更新您当前的 shell 环境:
source ~/.profile
Windows
- 以管理员身份打开 PowerShell 终端.
- 运行开发设置脚本来准备您的环境:
PowerShell -ExecutionPolicy Bypass -File ./scripts/windows_dev_setup.ps1 -y
安装后,您可以运行 Move Prover 来验证一个示例:
aptos move prove --package-dir aptos-move/move-examples/hello_prover/
如果在运行命令时遇到如下错误,请检查您的 Aptos CLI 版本或验证您使用的是正确的 aptos
工具,特别是如果您安装了多个版本.
error: unexpected token ┌─ ~/.move/https___github_com_aptos-labs_aptos-core_git_main/aptos-move/framework/aptos-framework/sources/randomness.move:515:16 │515 │ for (i in 0..n) { │ - ^ Expected ')' │ │ │ To match this '('
{ "Error": "Move Prover failed: exiting with model building errors"}