Module Hacl.BoxSource

Sourcetype combined
Sourcetype _ key =
  1. | Sk : Bytes.t -> secret key
  2. | Pk : Bytes.t -> public key
  3. | Ck : Bytes.t -> combined key
Sourceval skbytes : int
Sourceval pkbytes : int
Sourceval ckbytes : int
Sourceval tagbytes : int
Sourceval unsafe_to_bytes : 'a. 'a key -> Bytes.t
Sourceval blit_to_bytes : 'a. 'a key -> ?pos:int -> Bytes.t -> unit
Sourceval equal : 'a. 'a key -> 'a key -> bool
Sourceval unsafe_sk_of_bytes : Bytes.t -> secret key
Sourceval unsafe_pk_of_bytes : Bytes.t -> public key
Sourceval unsafe_ck_of_bytes : Bytes.t -> combined key
Sourceval of_seed : ?pos:int -> bytes -> secret key
Sourceval basepoint : bytes
Sourceval neuterize : secret key -> public key
Sourceval keypair : unit -> public key * secret key
Sourceval box : k:combined key -> nonce:Hacl_star__Hacl.bytes -> msg:Hacl_star__Hacl.bytes -> cmsg:Hacl_star__Hacl.bytes -> unit
Sourceval box_open : k:combined key -> nonce:Hacl_star__Hacl.bytes -> cmsg:Hacl_star__Hacl.bytes -> msg:Hacl_star__Hacl.bytes -> bool
Sourceval box_noalloc : k:combined key -> nonce:Hacl_star__Hacl.bytes -> tag:Hacl_star__Hacl.bytes -> buf:Hacl_star__Hacl.bytes -> unit
Sourceval box_open_noalloc : k:combined key -> nonce:Hacl_star__Hacl.bytes -> tag:Hacl_star__Hacl.bytes -> buf:Hacl_star__Hacl.bytes -> bool