There's lots of stuff in the literature about playing games with ZKPs. Shameless plug: I've been writing a framework for writing card games (or any game that could potentially be emulated with cards, e.g. flipping coins or rolling dice): https://github.com/rmartinho/pbmx

What do you mean by 'play'?

ZKP's let you prove some fact without disclosing the details. "I know an input that makes this program return true".

While you could construct an unusual game that made use of them, they don't generally map into the framework of "play".

Try one night ultimate werewolf... except that kind of breaks the game