In zero-knowledge proofs we specify a statement that is being proven.
- The statement is revealed to the verifier.
- The verifier (or others) should not learn anything else.
- Everybody can draw conclusions from everything they learned.
In zero-knowledge proofs we specify a statement that is being proven.