Searched refs:domain_separator (Results 1 – 1 of 1) sorted by relevance
10159 uint8_t domain_separator) { in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc() argument10173 prf_inputs[i0][32U] = domain_separator; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc()10174 domain_separator = (uint32_t)domain_separator + 1U; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc()10194 lit.snd = domain_separator; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc()10226 uint8_t domain_separator) { in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac() argument10240 prf_inputs[i0][32U] = domain_separator; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac()10241 domain_separator = (uint32_t)domain_separator + 1U; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac()10261 lit.snd = domain_separator; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac()10844 uint8_t domain_separator = uu____3.snd; in libcrux_ml_kem_ind_cpa_encrypt_60() local10845 prf_input[32U] = domain_separator; in libcrux_ml_kem_ind_cpa_encrypt_60()[all …]