Module Hacl_star__Hacl.Poly1305_128

Vectorized C implementation of Poly1305 that runs on platforms with 128-bit vector support

type bytes = Hacl_star.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