ElGamal署名
メッセージ m と署名 (r, s) の検証は以下のように行われる。
0 < r < p かつ 0 < s < p - 1かどうかを確かめる。
g ≡ y r (mod p)かどうかを確かめる。
もし両方を通れば受理する。そうでなければ拒否する。
署名者が正しく署名したメッセージと署名の組は必ず検証を通るという意味で、このアルゴリズムは完全である。
署名生成アルゴリズムより、
H(m) ≡ x r + s k (mod p-1)
が成立する。 フェルマーの小定理より、
g ≡ g g (mod p)
が得られる。 右辺を計算すると、
g g ≡ y r (mod p)
が成立する。