ZKP is the subject. The maps part is a helper lemma. It would help to clarify that in the beginning. The game is a bit of a shaggy dog tail. It would be good t

ZKP is the subject. The maps part is a helper lemma. It would help to clarify that in the beginning. The game is a bit of a shaggy dog tail. It would be good to give an outline and progress bar at the start (without spoilers)