package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

OCaml API for EverCrypt/HACL*

Install

md5=1d8449a395cf9f0ade232da306b2316f

sha512=0aa0afc951b30164aca98100ad528f13129566957a3db26bac3c1975c264c4dece01c2b918ad2f9d1b8b563b13044c85ecfdcbced13aee915e4b9d61bff25bf5

Direct hashing with SHA3-512

The digest buffer must match the digest size of SHA3-512, which is 64 bytes.

Sourcetype bytes = SharedDefs.CBytes.t

Sourceval hash : bytes -> bytes

hash msg returns the hash of msg.

Sourcemodule Noalloc : sig ... end

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