In a circuit we generate a proof of this relation: inputs(public and private) => circuit => output
We have inputs, a defined circuit, and an output.
The proof is something that proves this relation, without revealing the private input.
Some examples of circuits:
- Merkle trees
- UXTO's (for scalable coins)