Skip to main content

Proving Programs

A proof is what makes a ZisK computation trustworthy. Run the prover over your guest program and get back a cryptographic object that anyone can verify without re-executing the code or seeing the inputs. This section covers the full proving pipeline.

Your first proof

Prove and verify your first guest program end to end using a SHA-256 as example.

Choosing a prover client

Configure the prover backend, embedded or remote, and tune its options.

Choosing a proof output

Understand the proof types (STARK, Minimal, and PLONK) and when to use each.

Managing basic I/O

Write inputs into the guest with Stdin and read public values back out of a verified proof.

Verifying a proof

Load an existing proof from disk, verify it cryptographically, and read the committed public values.