Searched refs:domain_separator (Results 1 – 1 of 1) sorted by relevance
1172 uint8_t (*prf_inputs)[33U], uint8_t domain_separator) { in libcrux_ml_kem_utils_prf_input_inc_e0() argument1175 prf_inputs[i0][32U] = domain_separator; in libcrux_ml_kem_utils_prf_input_inc_e0()1176 domain_separator = (uint32_t)domain_separator + 1U; in libcrux_ml_kem_utils_prf_input_inc_e0()1178 return domain_separator; in libcrux_ml_kem_utils_prf_input_inc_e0()8930 uint8_t *prf_input, uint8_t domain_separator) { in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b() argument8936 domain_separator = in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b()8937 libcrux_ml_kem_utils_prf_input_inc_e0(prf_inputs, domain_separator); in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b()8947 return domain_separator; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b()8991 uint8_t *prf_input, uint8_t domain_separator, in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_3b() argument8998 domain_separator = in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_3b()[all …]