So I'm doing a history project and I'm writing about gladiatorial games in Rome. I can't find what a person who whips is called. Do I have to call them the person that whips? I was leaning towards "whipper" or "whip cracker" but they don't really sound right.
Thanks for reading this bit of randomness and thanks in advance for the help.