hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
Module Hacl_star . Hacl . Keccak
val keccak : int -> int -> int -> C.t -> C.t -> unit
val shake128 : C.t -> C.t -> unit
val shake256 : C.t -> C.t -> unit