matrix_mult_vector
matrix_mult_vector(&a_ntt, &s1_ntt, &t);
matrix_mult_vector(&a_ntt, y_ntt, &w);
matrix_mult_vector(&a_ntt, z_ntt, &az_ntt);