pub fn matmul_internal<F: Field, AF: AbstractField<F = F>, const WIDTH: usize>(
state: &mut [AF; WIDTH],
mat_internal_diag_m_1: [F; WIDTH],
)Expand description
Given a vector v compute the matrix vector product (1 + diag(v))state with 1 denoting the constant matrix of ones.