package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Direct hashing with SHA3-256

The digest buffer must match the digest size of SHA3-256, which is 32 bytes.

type bytes = SharedDefs.CBytes.t

val hash : bytes -> bytes

hash msg returns the hash of msg.

module Noalloc : sig ... end

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