Tagged zero-knowledge-proofs