Searched refs:sample_at (Results 1 – 1 of 1) sorted by relevance
9473 size_t sample_at = (size_t)(uint32_t)byte[0U]; in libcrux_ml_dsa_sample_inside_out_shuffle() local9474 if (sample_at <= out_index[0U]) in libcrux_ml_dsa_sample_inside_out_shuffle()9476 result->data[out_index[0U]] = result->data[sample_at]; in libcrux_ml_dsa_sample_inside_out_shuffle()9478 result->data[sample_at] = 1 - 2 * (int32_t)(signs[0U] & 1ULL); in libcrux_ml_dsa_sample_inside_out_shuffle()