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.