Проверка ЭЦП
Пусть принято сообщение mt и его подпись Sj и ri при передаче (m, s, г). Проверка ЭЦП происходит следующим образом:
• проверяется выполнение условий 0 < rt < q и 0 < s^ < q, и если хотя бы одно из них нарушено, подпись отвергается;
• вычисляются значения: w = s^mod q
ul = (H(m1)w)mod q
u2 = ((r1/w)mod q
v = ((gulyu2)mod p)mod q
• проверяется равенство v = r1#
Если последнее равенство выполняется, то подпись принимается. В данном стандарте также специфицируется процедура генерации основных параметров системы и проводится доказательство того, что если v = ти то т! = т, ri = r HSi = s.