Searched refs:third_bits (Results 1 – 1 of 1) sorted by relevance
10064 uint32_t third_bits = random_bits_as_u24 >> 2U & 2396745U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb() local10065 uint32_t coin_toss_outcomes = first_bits + second_bits + third_bits; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()