pub unsafe extern "C" fn EverCrypt_HKDF_extract(
a: Spec_Hash_Definitions_hash_alg,
prk: *mut u8,
salt: *mut u8,
saltlen: u32,
ikm: *mut u8,
ikmlen: u32,
)Expand description
Extract a fixed-length pseudorandom key from input keying material.
@param a Hash function to use. The allowed values are:
Spec_Hash_Definitions_Blake2B (HashLen = 64),
Spec_Hash_Definitions_Blake2S (HashLen = 32),
Spec_Hash_Definitions_SHA2_256 (HashLen = 32),
Spec_Hash_Definitions_SHA2_384 (HashLen = 48),
Spec_Hash_Definitions_SHA2_512 (HashLen = 64), and
Spec_Hash_Definitions_SHA1 (HashLen = 20).
@param prk Pointer to HashLen bytes of memory where pseudorandom key is written to.
HashLen depends on the used algorithm a. See above.
@param salt Pointer to saltlen bytes of memory where salt value is read from.
@param saltlen Length of salt value.
@param ikm Pointer to ikmlen bytes of memory where input keying material is read from.
@param ikmlen Length of input keying material.