Yes, for VAR(p) models, in fact for all VAR, VARX, VARMA, VARMAX models, when method = ML is used, the model is transformed into the state space form and Kalman filtering method is applied.
Yes, for VAR(p) model, the state vector z_t includes only {y_t, y_t-1,.., y_t-(v-1)}, there are no ε_t, ε_t-1, ..., ε_t-(q-1) terms in the state vector. In the state space form discussed in the documentation in the VARMA and VARMAX modeling framework:
SAS Help Center: VARMA and VARMAX Modeling
when there are no moving average terms, e.g., VAR(p) model, its state space form is a special case of the state space form presented in the VARMA case in the documentation, there are no columns involving moving average parameters in the transition matrix F, and no ε_t, ε_t-1, ..., ε_t-(q-1) terms in the state vector.