Domain separation happens in the input to the hash function, not on the wire. Because what arrives off the wire is UNTRUSTED input.