hacl

Tezos binding for Hacl*
Library hacl
Module 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
  • raises Invalid_argument

    if argument is less than skbytes bytes long

val unsafe_pk_of_bytes : Bigstring.t -> public key
  • raises Invalid_argument

    if argument is less than pkbytes bytes long

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 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.

  • raises Invalid_argument

    if buf is smaller than bytes bytes long.

val verify : pk:public key -> msg:Bigstring.t -> signature:Bigstring.t -> bool