sp1-cli
| Crates.io | sp1-cli |
| lib.rs | sp1-cli |
| version | 3.2.1 |
| source | src |
| created_at | 2024-07-06 00:29:37.005595 |
| updated_at | 2024-11-07 23:11:15.635959 |
| description | The CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs. |
| homepage | |
| repository | https://github.com/succinctlabs/sp1 |
| max_upload_size | |
| id | 1293642 |
| size | 211,909 |
Matt Stam (mattstam)
documentation
README
CLI
The cargo prove CLI is useful for various tasks related to the SP1 project, such as building the toolchain, compiling programs, tracing programs, and more. Typically users will not need to interact with the CLI directly, but rather use the sp1up script to install the CLI.
Development
To run the CLI locally, you can use the following command:
cargo run --bin cargo-prove -- --help
To test a particular subcommand, you can pass in prove and the subcommand you want to test along with the arguments you want to pass to it. For example, to test the trace subcommand, you can run the following command:
cargo run --bin cargo-prove -- prove trace --elf <...> --trace <...>
Installing the CLI locally from source
You can install the CLI locally from source by running the following command:
cargo install --locked --path .
Running the CLI after installing
After installing the CLI, you can run it by simply running the following command:
cargo prove