Module `Hacl.SHA2_512`Source

Direct hashing with SHA-512

The digest buffer must match the digest size of SHA-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