Can you clarify the meaning of the (i+1) index in the “xor” gate?
\mathrm{XOR}_{i + 1} is the XOR function over i + 1 bits.