static void gf2_matrix_square(uint[] square, uint[] mat) { for (int i = 0; i < 32; i++) { square[i] = gf2_matrix_times(mat, mat[i]); } }