Searched defs:prf_inputs (Results 1 – 1 of 1) sorted by relevance
8931 uint8_t prf_inputs[3U][33U]; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b() local8993 uint8_t prf_inputs[3U][33U]; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_3b() local