Lines Matching refs:domain_separator
10159 uint8_t domain_separator) { in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc() argument
10173 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() argument
10240 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() local
10845 prf_input[32U] = domain_separator; in libcrux_ml_kem_ind_cpa_encrypt_60()
11446 uint8_t domain_separator = uu____2.snd; in libcrux_ml_kem_ind_cpa_generate_keypair_fc() local
11454 domain_separator) in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11996 uint8_t domain_separator = uu____2.snd; in libcrux_ml_kem_ind_cpa_generate_keypair_fc0() local
12004 domain_separator) in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()