Zero Knowledge Proofs - An example