Is linear sketching over F2 optimal for one-way XOR communication?

Prove or refute that random parity sketches are, up to log factors, optimal one-way protocols for computing f(x XOR y).