package hacl-star

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Vectorized BLAKE2b implementation, requiring 256-bit vector support

Buffers have the following size constraints:

  • key: <= 64 bytes for BLAKE2b, <= 32 bytes for BLAKE2s
  • digest: non-zero, <= 64 bytes for BLAKE2b, <= 32 bytes for BLAKE2s
type bytes = SharedDefs.CBytes.t
val hash : ?key:bytes -> bytes -> int -> bytes

hash ?key msg size hashes msg and returns a digest of length size. An optional key argument can be passed for keyed hashing.

module Noalloc : sig ... end

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