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