h = hash(message)
left = pow(generator, h, prime)
right = (pow(key, r, prime) * pow(r, s, prime)) % prime
is left == right

A = ((B ^ C % D) * (C ^ E % D)) % D