Module Hacl.Poly1305_128Source

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

For Poly1305, buffers have the following size constraints:

• key: 32 bytes
• output buffer: 16 bytes

For HMAC with SHA-2, the output buffer is the same size as the digest size of the corresponding hash function (see here). For HMAC with BLAKE2, the output buffer is 64 bytes for BLAKE2b and 32 bytes for BLAKE2s.