ElGamal Signature Scheme - Correctness

Correctness

The algorithm is correct in the sense that a signature generated with the signing algorithm will always be accepted by the verifier.

The signature generation implies

Hence Fermat's little theorem implies

\begin{align} g^{H(m)} & \equiv g^{xr} g^{ks} \\ & \equiv (g^{x})^r (g^{k})^s \\ & \equiv (y)^r (r)^s \pmod p.\\ \end{align}

Read more about this topic:  ElGamal Signature Scheme

Famous quotes containing the word correctness:

    “The surest guide to the correctness of the path that women take is joy in the struggle. Revolution is the festival of the oppressed.”
    —Germaine Greer (b. 1939)

    “With impressive proof on all sides of magnificent progress, no one can rightly deny the fundamental correctness of our economic system.”
    —Herbert Hoover (1874–1964)

    “The surest guide to the correctness of the path that women take is joy in the struggle. Revolution is the festival of the oppressed.”
    —Germaine Greer (b. 1939)