Searched defs:prf_inputs (Results 1 – 1 of 1) sorted by relevance
10167 uint8_t prf_inputs[3U][33U]; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc() local10234 uint8_t prf_inputs[3U][33U]; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac() local