Function shr32 

pub fn shr32(a: [Field; 32], n: usize) -> [Field; 32]

Shift-right by n bits, zero-filling (pure re-wiring, zero gates): out[i] = a[i+n] for i+n < 32, else 0.