 However, finding the witness formula_11 such that formula_49 holds corresponds to solving the discrete logarithm problem.One of the simplest and frequently used proofs of knowledge, the "proof of knowledge of a discrete logarithm", is due to Schnorr.The protocol is defined for a cyclic group formula_50 of order formula_51 with generator formula_44.