text: В уравнение R = ( α S / H y − R / H mod p ) mod q {\displaystyle R=\left(\alpha ^{S/H}y^{-R/H}{\bmod {p}}\right){\bmod {q}}} подставляем полученную подпись — пару (R,S), где R — произведение Ri по модулю q, S — сумма Si по модулю q: Убеждаемся, что оно выполняется: R = mod q = {\displaystyle R=\left{\bmod {q}}=} ( ∏ i = 1 m α S i / H ∏ i = 1 m y i − R / H mod p ) mod q = {\displaystyle \left(\prod _{i=1}^{m}\alpha ^{\displaystyle S_{i}/H}\prod _{i=1}^{m}y_{i}^{\displaystyle -R/H}{\bmod {p}}\right){\bmod {q}}=} mod q = {\displaystyle \left{\bmod {q}}=} mod q = {\displaystyle \left{\bmod {q}}=} ( ∏ i = 1 m α k i mod p ) mod q = {\displaystyle \left(\prod _{i=1}^{m}\alpha ^{\displaystyle k_{i}}{\bmod {p}}\right){\bmod {q}}=} mod q = {\displaystyle \left{\bmod {q}}=} ( ∏ i = 1 m R i ) mod q {\displaystyle \left(\prod _{i=1}^{m}{\displaystyle R_{i}}\right){\bmod {q}}} Рассмотрим формальное доказательство стойкости протокола КЭЦП при использовании проверочного уравнения R = ( α S / H y − R / H mod p ) mod q {\displaystyle R=\left(\alpha ^{S/H}y^{-R/H}{\bmod {p}}\right){\bmod {q}}} , регламентируемого стандартом ЭЦП ГОСТ Р 34.10-94.