Tekst źródłowy strony Digital Signature Algorithm

=== Weryfikacja podpisu ===
Niech <math>M', r', s'</math> będą otrzymanymi przez odbiorcę wartościami <math>M, r, s</math>. Prawidłowość podpisu można zweryfikować następująco:<ref name="fips186-4" />
* Obliczane jest <math>w = (s')^{-1} \ \text{mod} \ q</math>.
* Wyznaczane jest <math>z</math>, czyli co najwyżej <math>N</math> najbardziej znaczących bitów <math>H(M')</math>.
* Wyznaczane są <math>u_1 = (zw) \ \text{mod} \ q</math> oraz <math>u_2 = ((r') w) \ \text{mod} \ q</math>.
* Obliczane jest <math>v = (((g)^{u_1} (y)^{u_2}) \ \text{mod} \ p) \ \text{mod} \ q</math>.
* Jeżeli <math>v = r'</math>, to podpis jest '''prawidłowy'''.
Jeżeli <math>v \ne r'</math>, to znaczy, że otrzymana wiadomość lub podpis zostały zmodyfikowane, nastąpił błąd w implementacji algorytmu po stronie podpisującego albo doszło do próby podrobienia podpisu przez osobę nieznającą klucza prywatnego <math>x</math> domniemanego nadawcy wiadomości.