ossl_ml_dsa_matrix_mult_vector
void ossl_ml_dsa_matrix_mult_vector(const MATRIX *matrix_kl, const VECTOR *vl,
ossl_ml_dsa_matrix_mult_vector(a, s, t);