La firma "(r,s)" de un mensaje "m" proveniente de un firmante con clave pública ("p","g","y") y que utilizó una función de Hash "H" se verifica de la siguiente forma: