Searched defs:sampled_coefficients (Results 1 – 1 of 1) sorted by relevance
9581 uint8_t randomness[3U][504U], size_t *sampled_coefficients, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9702 uint8_t randomness[3U][168U], size_t *sampled_coefficients, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db0()9785 size_t sampled_coefficients[3U] = {0U}; in libcrux_ml_kem_sampling_sample_from_xof_3f() local