Searched refs:even_bits (Results 1 – 1 of 1) sorted by relevance
10019 uint32_t even_bits = random_bits_as_u32 & 1431655765U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85() local10021 uint32_t coin_toss_outcomes = even_bits + odd_bits; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85()