Module hkdf_extract_input