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:

    “What will happen once the authentic mass man takes over, we do not know yet, although it may be a fair guess that he will have more in common with the meticulous, calculated correctness of Himmler than with the hysterical fanaticism of Hitler, will more resemble the stubborn dullness of Molotov than the sensual vindictive cruelty of Stalin.”
    —Hannah Arendt (1906–1975)

    “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)