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

hacl-star.github.io Changelog Edit opam file Versions (21)

Authors

P

Project Everest

Maintainers

V

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

Sources

hacl-star.0.4.1.tar.gz

md5=bc59d5548ad7ac1d67403ad9f74bf608

sha256=a8769d99f7534610631d24898380060a30d98a58dcdf0a65b53bf1fd2339731a

sha512=2962724d9b0dbad0ce74bf8dd41a3efda9453a8cdec3e79c9d27f70d90d2252cbd57bf19128918628cdd4f011715b48abc211211ff3d65bf8f47c65c3fd6cc7c

doc/hacl-star/Hacl_star/EverCrypt/HMAC_SHA2_384/index.html

Module `EverCrypt.HMAC_SHA2_384`Source

Multiplexing interface for HMAC-SHA-384

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