Pbkdf.SRFC 2898 specifies two password-based key derivation functions (PBKDF1 and PBKDF2), which are abstracted over a specific hash/pseudorandom function.
val pbkdf2 :
password:Mavryk_base.TzPervasives.Bytes.t ->
salt:Mavryk_base.TzPervasives.Bytes.t ->
count:int ->
dk_len:int32 ->
Mavryk_base.TzPervasives.Bytes.tpbkdf2 password salt count dk_len is dk, the derived key of dk_len octets.