Verify

Checks the cryptographic validity of a proof file without re-executing the guest, in constant time regardless of the original computation's complexity. Documents the flags and the verification-result output.

Verify a proof file. Checks the cryptographic validity of the proof without re-executing the guest program. Verification time is constant regardless of how complex the original computation was.

cargo-zisk verify --proof <proof>

Flags

Flag	Short	Default	Description
--proof <PROOF>	-p	required	Path to the proof file.
--verbose	-v	off	Increase output verbosity. Pass -v for info, -vv for more.

Examples

Verify a proof file:

cargo-zisk verify --proof proof.bin

Verify a proof generated with a custom name:

cargo-zisk verify --proof proofs/my-proof.bin

Outputs

Prints the verification result to stdout:

INFO: ✓ STARK proof was verified
INFO: --- VERIFICATION SUMMARY ---
INFO:       time: 35 milliseconds
INFO: ----------------------------

Exits with a non-zero status code if the proof is invalid.