Skip to main content

proof Command

Create a new proof for the current circuit. The proof inputs can either be piped into sindri proof create command or specified using the --input option. The generated proof can optionally be verified automatically by passing the --verify flag.

Usage

Usage: sindri proof create [options]

Create a proof for the circuit.

Options:
-i, --input <input> Input file for the proof (defaults to stdin if non-TTY;
`input.json`, `example-input.json`, or `Prover.toml`
otherwise).
-t, --tag <tag> Tag to generate the proof from. (default: "latest")
-v, --verify Perform verification of the proof after creating it.
-h, --help display help for command