libcrux_ml_kem_polynomial_ntt_multiply_d6_ea
libcrux_ml_kem_polynomial_ntt_multiply_d6_ea(matrix_element,
libcrux_ml_kem_polynomial_ntt_multiply_d6_ea(&secret_as_ntt[i0],
libcrux_ml_kem_polynomial_ntt_multiply_d6_ea(a_element, &r_as_ntt[j]);
libcrux_ml_kem_polynomial_ntt_multiply_d6_ea(&t_as_ntt[i0],