#zk-vm #zero-knowledge #sp1 #succinct #compilation

bin+lib sp1-cli

The CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs

15 releases (7 stable)

new 3.1.0 Oct 30, 2024
3.0.0 Oct 18, 2024
3.0.0-rc1 Sep 16, 2024
2.0.0 Sep 13, 2024
0.0.2-test Jul 12, 2024

#160 in Magic Beans

Download history 145/week @ 2024-07-14 112/week @ 2024-07-21 127/week @ 2024-07-28 136/week @ 2024-08-04 26/week @ 2024-08-11 38/week @ 2024-08-18 264/week @ 2024-08-25 258/week @ 2024-09-01 212/week @ 2024-09-08 242/week @ 2024-09-15 26/week @ 2024-09-22 219/week @ 2024-09-29 157/week @ 2024-10-06 290/week @ 2024-10-13 150/week @ 2024-10-20 172/week @ 2024-10-27

771 downloads per month

MIT/Apache

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

~51–89MB
~1.5M SLoC