package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

OCaml API for EverCrypt/HACL*

Install

Dune 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.5.tar.gz

md5=fdcd7a590913428d5d3142872d7089a0

sha256=47bf253f804ec369b2fbc76c892ba89275fde17d7444d291d5eb5c179a05e174

sha512=1f2c144852566464ef72caeb21567b125fa9eb395d9e25b64bb110f116e75b7befdb3e3e190dd8a3f59c74b36d70bb4eb6dcd7ba62061fd91b4c263de0f29c4f

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