Searched defs:randomness0 (Results 1 – 1 of 1) sorted by relevance
8567 uint8_t randomness0[3U][504U]; in libcrux_ml_kem_sampling_sample_from_xof_2b() local9850 uint8_t randomness0[32U]; in libcrux_ml_kem_ind_cca_encapsulate_ca() local