17 releases (9 stable)
new 3.2.1 | Nov 7, 2024 |
---|---|
3.1.0 | Oct 30, 2024 |
3.0.0-rc1 | Sep 16, 2024 |
2.0.0 | Sep 13, 2024 |
0.0.2-test | Jul 12, 2024 |
#895 in Magic Beans
830 downloads per month
1MB
22K
SLoC
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
Dependencies
~53–91MB
~1.5M SLoC