Secretbox (mavkit-libs.Mavryk_hacl.Hacl.Secretbox)

type key = Stdlib.Bytes.t

val keybytes : int

val tagbytes : int

val unsafe_of_bytes : bytes -> bytes

val blit_of_bytes : bytes -> int -> bytes

val genkey : unit -> Hacl_star__Hacl.bytes

val secretbox : 
  key:Hacl_star__Hacl.bytes ->
  nonce:Hacl_star__Hacl.bytes ->
  msg:Hacl_star__Hacl.bytes ->
  cmsg:Hacl_star__Hacl.bytes ->
  unit

val secretbox_open : 
  key:Hacl_star__Hacl.bytes ->
  nonce:Hacl_star__Hacl.bytes ->
  cmsg:Hacl_star__Hacl.bytes ->
  msg:Hacl_star__Hacl.bytes ->
  bool