package hkdf

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Hkdf`Source

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