hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE

Parameters

module Impl : sig ... end

Signature

val secret_to_public : SharedDefs.CBytes.t -> SharedDefs.CBytes.t -> unit
val expand_keys : SharedDefs.CBytes.t -> SharedDefs.CBytes.t -> unit