Function hacl_sys::EverCrypt_HKDF_extract

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
)

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.