Searched refs:prf_inputs (Results 1 – 1 of 1) sorted by relevance
8841 libcrux_ml_kem_utils_prf_input_inc_78(Eurydice_arr_fd *prf_inputs, uint8_t domain_separator) in libcrux_ml_kem_utils_prf_input_inc_78() argument8846 prf_inputs->data[i0].data[32U] = domain_separator; in libcrux_ml_kem_utils_prf_input_inc_78()24440 Eurydice_arr_fd prf_inputs; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_bf() local24450 memcpy(prf_inputs.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_fa0)); in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_bf()24451 domain_separator = libcrux_ml_kem_utils_prf_input_inc_78(&prf_inputs, domain_separator); in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_bf()24452 Eurydice_arr_58 prf_outputs = libcrux_ml_kem_hash_functions_portable_PRFxN_4a_3b(&prf_inputs); in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_bf()24505 Eurydice_arr_fd prf_inputs; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_bf() local24515 memcpy(prf_inputs.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_fa0)); in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_bf()24516 domain_separator = libcrux_ml_kem_utils_prf_input_inc_78(&prf_inputs, domain_separator); in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_bf()24517 Eurydice_arr_58 prf_outputs = libcrux_ml_kem_hash_functions_portable_PRFxN_4a_3b(&prf_inputs); in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_bf()