Function hacl::hazmat::hkdf::sha2_512::extract

pub fn extract(salt: &[u8], ikm: &[u8]) -> [u8; 64]

HKDF extract using the salt, and the input key material ikm. Returns the pre-key material in an array of tag length.

Note that this function panics if salt or ikm is larger than 2**32 bytes.