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).
  -m, --meta <key=value>  Metadata key/value to attach to the proof. (default:
                          {})
  -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