Any push notification server can. You have to get anything that happens with pubkeys x, y and z and send to device tokens 1, 2 and 3.