package hacl
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Hacl.Sign
val unsafe_sk_of_bytes : Bigstring.t -> secret key
val unsafe_pk_of_bytes : Bigstring.t -> public key
val unsafe_to_bytes : _ key -> Bigstring.t
unsafe_to_bytes k
is the internal Bigstring.t
where the key is stored. DO NOT MODIFY.
val blit_to_bytes : _ key -> ?pos:int -> Bigstring.t -> unit
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
.
val verify : pk:public key -> msg:Bigstring.t -> signature:Bigstring.t -> bool