package hacl-star

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

Multiplexing interface for HKDF using SHA2-256

Buffers have the following size constraints with respect to the digest size of the underlying hash function, digest_len:

  • prk: = digest_len
  • okm: <= 255 * digest_len
type bytes = SharedDefs.CBytes.t
val extract : salt:bytes -> ikm:bytes -> bytes

extract salt ikm computes a pseudorandom key using input key material ikm and salt salt.

val expand : prk:bytes -> info:bytes -> size:int -> bytes

expand prk info size expands the pseudorandom key prk, taking the info string info into account and returns a buffer of size bytes.

module Noalloc : sig ... end

Versions of these functions which write their output in a buffer passed in as an argument

OCaml

Innovation. Community. Security.