package hacl

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

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

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