vector_mult_scalar
vector_mult_scalar(&s1_ntt, c_ntt, &cs1);
vector_mult_scalar(&s2_ntt, c_ntt, &cs2);
vector_mult_scalar(&t0_ntt, c_ntt, ct0);
vector_mult_scalar(&ct1_ntt, c_ntt, &ct1_ntt);