Module Ed25519.PSource

Sourcetype sk = Bytes.t
Sourcetype pk = Curve.t
Sourcetype signature = {
  1. r : Curve.t;
  2. s : bool list;
}
Sourcetype msg = Bytes.t
Sourceval point_of_compressed_bytes_opt : Bytes.t -> Curve.t option
Sourceval point_of_compressed_bytes_exn : Bytes.t -> Curve.t
Sourceval scalar_of_bytes_exn : Bytes.t -> bool list
Sourceval neuterize : sk -> pk
Sourceval sign : sk -> msg -> signature
Sourceval verify : msg -> pk -> signature -> bool