package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

OCaml API for EverCrypt/HACL*

Install

dune-project

Dependency

cryspen.com Changelog Edit opam file Versions (21)

Authors

P

Project Everest

Maintainers

V

Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>

Sources

hacl-star.0.7.2.tar.gz

md5=8c2afd2d2fb163ec6c885243f757c70c

sha512=3195917cbafe1849281b776c1f9e52c229d9041922ac3dbcc6557241b9c9156bb405dcd9fbe41edbfe224bc7e5dd269f3fe2a7bef6d566daa5fd2662963296c0

doc/hacl-star/Hacl_star/Hacl/Poly1305_256/index.html

Module `Hacl.Poly1305_256`Source

Vectorized C implementation of Poly1305 that runs on platforms with 256-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.

Sourcetype bytes = SharedDefs.CBytes.t

Sourceval mac : key:bytes -> msg:bytes -> bytes

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

Sourcemodule Noalloc : sig ... end

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