package hkdf

You can search for identifiers within the package.

in-package search v0.2.0

HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)

Install

dune-project

Dependency

sha256=b926d6da4ac45aab999735dd2bbfd1f7511316710d791afa361006b6fe36fd5b

sha512=d08e50857f7761572adc4d382975fde5808898c1d92d9e6e943a496cba8780ffabe1edf67844063b70d9727c0fe10b24391e001a3f65c978a5326ac82199cc88

RFC 5869 specifies a HMAC-based Extract-and-Expand Key Derivation Function (HKDF), which is abstracted over a specific hash function.

Sourcemodule type S = sig ... end

Sourcemodule Make (H : Mirage_crypto.Hash.S) : S

Given a Hash function, get the HKDF

val extract : 
  hash:Mirage_crypto.Hash.hash ->
  ?salt:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t

convenience extract hash salt ikm where the hash has to be provided explicitly

val expand : 
  hash:Mirage_crypto.Hash.hash ->
  prk:Cstruct.t ->
  ?info:Cstruct.t ->
  int ->
  Cstruct.t

convenience expand hash prk info len where the hash has to be provided explicitly