vector_ntt_inverse
vector_ntt_inverse(&t);
vector_ntt_inverse(&w);
vector_ntt_inverse(&cs1);
vector_ntt_inverse(&cs2);
vector_ntt_inverse(ct0);
vector_ntt_inverse(w_approx);