Physical Zero-Knowledge Proof for Five Cells. (arXiv:2302.01235v1 [cs.CR])

Five Cells is a pencil puzzle consisting of a rectangular grid, with some
cells containg a number. The player has to partition the grid into blocks, each
consisting of five cells, such that the number in each cell must be equal to
the number of edges of that cell that are borders of blocks. In this paper, we
propose a physical zero-knowledge proof protocol for Shikaku using a deck of
playing cards, which allows a prover to physically show that …

borders grid knowledge physical player protocol puzzle