You can search for identifiers within the package.
in-package search v0.2.0
hacl
Hacl.Sign
type _ key
val bytes : int
val pkbytes : int
val skbytes : int
val equal : 'a key -> 'a key -> bool
val unsafe_sk_of_bytes : Bigstring.t -> secret key
Invalid_argument
if argument is less than skbytes bytes long
skbytes
val unsafe_pk_of_bytes : Bigstring.t -> public key
if argument is less than pkbytes bytes long
pkbytes
val unsafe_to_bytes : _ key -> Bigstring.t
unsafe_to_bytes k is the internal Bigstring.t where the key is stored. DO NOT MODIFY.
unsafe_to_bytes k
Bigstring.t
val blit_to_bytes : _ key -> ?pos:int -> Bigstring.t -> unit
val neuterize : _ key -> public key
val keypair : unit -> public key * secret key
val sign : sk:secret key -> msg:Bigstring.t -> signature:Bigstring.t -> unit
sign sk msg buf writes the signature of msg with sk at buf.
sign sk msg buf
msg
sk
buf
if buf is smaller than bytes bytes long.
bytes
val verify : pk:public key -> msg:Bigstring.t -> signature:Bigstring.t -> bool