Searched defs:copy_of_randomness (Results 1 – 1 of 1) sorted by relevance
9813 uint8_t copy_of_randomness[3U][168U]; in libcrux_ml_kem_sampling_sample_from_xof_3f() local11120 uint8_t copy_of_randomness[32U]; in libcrux_ml_kem_ind_cca_encapsulate_cd() local11167 uint8_t copy_of_randomness[32U]; in libcrux_ml_kem_ind_cca_instantiations_portable_encapsulate_c6() local11184 uint8_t copy_of_randomness[32U]; in libcrux_ml_kem_mlkem768_portable_encapsulate() local11613 uint8_t copy_of_randomness[64U]; in libcrux_ml_kem_ind_cca_instantiations_portable_generate_keypair_d5() local11624 uint8_t copy_of_randomness[64U]; in libcrux_ml_kem_mlkem768_portable_generate_key_pair() local11869 uint8_t copy_of_randomness[32U]; in libcrux_ml_kem_ind_cca_encapsulate_cd0() local11920 uint8_t copy_of_randomness[32U]; in libcrux_ml_kem_ind_cca_instantiations_portable_kyber_encapsulate_7a() local11937 uint8_t copy_of_randomness[32U]; in libcrux_ml_kem_mlkem768_portable_kyber_encapsulate() local12108 uint8_t copy_of_randomness[64U]; in libcrux_ml_kem_ind_cca_instantiations_portable_kyber_generate_keypair_9b() local[all …]