Pbkdf.SHA512
val pbkdf2 :
password:Mavryk_base.TzPervasives.Bytes.t ->
salt:Mavryk_base.TzPervasives.Bytes.t ->
count:int ->
dk_len:int32 ->
Mavryk_base.TzPervasives.Bytes.t
pbkdf2 password salt count dk_len
is dk
, the derived key of dk_len
octets.