Module EverCrypt.HKDF
Agile, multiplexing interface for HKDF
Supports the same hashing algorithms as EverCrypt.HMAC
.
val extract : alg:SharedDefs.HashDefs.alg -> salt:bytes -> ikm:bytes -> bytes
extract alg salt ikm
computes a pseudorandom key using hashing algorithmalg
with input key materialikm
and saltsalt
.
val expand : alg:SharedDefs.HashDefs.alg -> prk:bytes -> info:bytes -> size:int -> bytes
expand alg prk info size
expands the pseudorandom keyprk
using hashing algorithmalg
, taking the info stringinfo
into account and returns a buffer ofsize
bytes.
module Noalloc : sig ... end
Versions of these functions which write their output in a buffer passed in as an argument