dsa_pub_cmp() doesn't need to check parameters because that is done in