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