Module EverCrypt.HMAC_SHA2_512

Multiplexing interface for HMAC-SHA-512

type bytes = SharedDefs.CBytes.t
val mac : key:bytes -> msg:bytes -> bytes

mac key msg computes the MAC of msg using key key.

module Noalloc : sig ... end

Version of this function which writes its output in a buffer passed in as an argument