exception Insufficient_key
type pub = {
e : Z.t;
n : Z.t;
}
type priv = {
d : Z.t;
p : Z.t;
q : Z.t;
dp : Z.t;
dq : Z.t;
q' : Z.t;
type mask = [
|
`No
`Yes
`Yes_with of Rng.g
]
val pub_bits : pub -> int
val priv_bits : priv -> int
val priv_of_primes : e:Z.t -> p:Z.t -> q:Z.t -> priv
val pub_of_priv : priv -> pub
val encrypt : key:pub -> Cstruct.t -> Cstruct.t
val decrypt : ?mask:mask -> key:priv -> Cstruct.t -> Cstruct.t
val generate : ?g:Rng.g -> ?e:Z.t -> int -> priv
module PKCS1 : sig ... end
module OAEP (H : Hash.S) : sig ... end
module PSS (H : Hash.S) : sig ... end
val pub_of_sexp : Sexplib.Sexp.t -> pub
val sexp_of_pub : pub -> Sexplib.Sexp.t
val priv_of_sexp : Sexplib.Sexp.t -> priv
val sexp_of_priv : priv -> Sexplib.Sexp.t