Module RsaSource

Sourcetype hash =
  1. | Sha256
  2. | Sha384
  3. | Sha512
Sourceval digest : hash -> string -> string
Sourceval verify_pkcs1 : n:Bignum.t -> e:Bignum.t -> hash -> message:string -> signature:string -> bool
Sourceval verify_pss : n:Bignum.t -> e:Bignum.t -> hash -> message:string -> signature:string -> bool