Imzoni tekshirish. Qabul qiluvchi M’ ma’lumotni va (r’, s’)imzoni qabul qilib oladi. У M va M’ ma’lumotlarning mos kelishini tekshirishi lozim. Buning uchun u quyidagi qadamlar ketma-ketligini bajaradi:
0 < s’ < q yoki 0 < r’ < q shartlardan birortasi bajarilmasa, imzo qalbaki deb hisoblanadi va imzoni tekshirish tugatiladi.
Agar r’ = u tenglik o‘rinli bo‘lsa, u holda imzo haqiqiy va M = M’ tenglik to‘g‘ri.
Algoritmning to‘g‘riligi.M = M’, s’ = s va r’ = r bo‘lsin. U holda r = u tenglik o‘rinli bo‘lishi ko‘rsatiladi.
Demak, v = (s’)-1 mod q, z1 = H(M’) v mod q, z2 = r’ v mod q ekanligidan, quyidagini yozish mumkin:
u = gz1 yz1 mod p mod q = gH(M)s-1 gxrs-1 mod p mod q = = gk(xr+H(M))-1(xr+H(M)) mod p mod q = gk mod p mod q = r. Bundan ko‘rish mumkinki, r = u tenglik o‘rinli. Shunday qilib, algoritm to‘g‘riligi isbotlandi.
5.1.2 ГОСТ Р 34.10-94 elektron raqamli imzosi Ushbu paragrafda 2000 yilgacha Rossiya standarti hisoblangan ГОСТ Р 34.10–94 ERI algoritmi qarab chiqiladi. Bu algoritm DSA algoritmiga o‘xshash va quyidagi boshlang‘ich ochiq parametrlardan foydalanadi:
1) Uzunligi bo‘lgan katta tub son tanlanadi, bu yerda son 509 bitdan 512 bitgacha yoki 1020 bitdan 1024 bitgacha oraliqdan tanlanadi, ya’ni yoki .
2) Uzunligi bo‘lgan katta tub son tanlanadi, bu yerda son 254 bitdan 256 bitgacha oraliqdan tanlanadi, ya’ni .
3) shartni qanoatlantiruvchi oraliqdagi son tanlanadi.
4) dan - ochiq kalit hisoblanadi, bu yerda oraliqdan olingan x -maxfiy kalit.
5) - xesh-funksiya berilgan - ma’lumot bo‘yicha hisoblangan butun son bo‘lib, 1 dan gacha oraliqdagi qiymatlarni qabul qiladi, ya’ni .
