Searched refs:sampled_coefficients (Results 1 – 1 of 1) sorted by relevance
15542 size_t *sampled_coefficients, in libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37() argument15564 Eurydice_array_to_subslice_from_mut_11(out, sampled_coefficients[0U])); in libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37()15565 sampled_coefficients[0U] += sampled; in libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37()15566 if (sampled_coefficients[0U] >= LIBCRUX_ML_DSA_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT) in libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37()15598 size_t *sampled_coefficients, in libcrux_ml_dsa_sample_rejection_sample_less_than_eta_equals_4_37() argument15620 Eurydice_array_to_subslice_from_mut_11(out, sampled_coefficients[0U])); in libcrux_ml_dsa_sample_rejection_sample_less_than_eta_equals_4_37()15621 sampled_coefficients[0U] += sampled; in libcrux_ml_dsa_sample_rejection_sample_less_than_eta_equals_4_37()15622 if (sampled_coefficients[0U] >= LIBCRUX_ML_DSA_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT) in libcrux_ml_dsa_sample_rejection_sample_less_than_eta_equals_4_37()15640 size_t *sampled_coefficients, in libcrux_ml_dsa_sample_rejection_sample_less_than_eta_equals_2_37() argument15662 Eurydice_array_to_subslice_from_mut_11(out, sampled_coefficients[0U])); in libcrux_ml_dsa_sample_rejection_sample_less_than_eta_equals_2_37()[all …]