A ZK primer for working engineers

Proofs are compression with a jury

A zero-knowledge proof lets a prover convince a verifier that a statement holds without handing over the witness. In product terms: you can show a thing is in a set, a balance is sufficient, or a circuit executed, without publishing the inputs.

You do not need to invent a proving system to ship. You need to know what is being proven, who is the verifier (contract, server, client), and what happens when the proof is wrong. Recursive proofs change the cost shape; they do not remove the need for a spec.

Read a circuit. Then read the verifier. Then decide if you trust the ceremony.