Module Ed25519.P

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