pub(crate) fn init_xor<F: PrimeField>( witness: &mut [Vec<F>; 15], curr_row: usize, bits: usize, words: (F, F, F), )