hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
Module Hacl_star . EverCrypt . AEAD
type t
type alg =
| AES128_GCM
| AES256_GCM
| CHACHA20_POLY1305
val init : alg -> C.t -> t Error.result
val encrypt : t -> C.t -> C.t -> C.t -> C.t -> C.t -> unit Error.result
val decrypt : t -> C.t -> C.t -> C.t -> C.t -> C.t -> unit Error.result