命令行界面

cargo prove 命令行界面（CLI）对 SP1 项目相关的各种任务很有用，例如构建工具链、编译程序、跟踪程序等。通常用户不需要直接与 CLI 交互，而是使用 sp1up 脚本来安装 CLI。

开发

要本地运行 CLI，可以使用以下命令

cargo run --bin cargo-prove -- --help

要测试特定的子命令，可以将 prove 和要测试的子命令以及要传递给它的参数一起传递。例如，要测试 trace 子命令，可以运行以下命令

cargo run --bin cargo-prove -- prove trace --elf <...> --trace <...>

从源代码安装 CLI

您可以通过运行以下命令从源代码安装 CLI

cargo install --locked --path .

安装后运行 CLI

安装 CLI 后，只需运行以下命令即可运行它

cargo prove