Stone Prover CLI

A CLI to run, prove and verify Cairo programs with a simple interface.

Features:

• Run, prove and verify any Cairo program
• Run programs directly or with the Starknet bootloader for compatibility with the Starknet L1 verifier
• Automatic generation of the prover configuration and parameters.

Install

Install dependencies. libdw1 is required to run Stone and wget to download the installation script.

# For Debian/Ubuntu
sudo apt install libdw1 wget

wget -O - https://raw.githubusercontent.com/Moonsong-Labs/stone-prover-cli/main/scripts/install-stone-cli.sh | bash

For now, only Linux platforms are supported.

Usage

Run and prove a single program

After compiling a Cairo0 program to program.json, run:

stone-prover-cli prove program.json

Run and prove one or more programs/PIEs

Running with the Starknet bootloader

The CLI uses the Cairo bootloader by default to prove one or more programs and PIEs. You can use the --with-bootloaderflag to ensure this.

stone-prover-cli prove --with-bootloader program1.json program2.json pie1.zip

Running without the Starknet bootloader

You can use the --no-bootloader option if you want to run without the Starknet bootloader.

stone-prover-cli prove --no-bootloader program.json

Verify a proof

If you want to verify the generated proof file, run:

stone-prover-cli verify proof.json