Propagate key space bounds so that replayers can compute splitting key when they replay distributed state