package kdf

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 : Digestif.S) : S

Given a Hash function, get the HKDF

Sourceval extract : hash:Digestif.hash' -> ?salt:string -> string -> string

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

Sourceval expand : hash:Digestif.hash' -> prk:string -> ?info:string -> int -> string

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