int(0..1) raw_verify(string digest, Gmp.mpz s)
Verifies the digest against the signature s , assuming pad type 1.
rsa_pad , raw_sign