Changed challenge space in proof generator from ZMod to Z