Module EverCrypt.Poly1305

Multiplexing interface for Poly1305

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