An Improved Physical ZKP for Nonogram and Nonogram Color. (arXiv:2106.14020v5 [cs.CC] UPDATED)

Nonogram is a pencil puzzle consisting of a rectangular white grid where the
player has to paint some cells black according to given constraints. In 2010,
Chien and Hon constructed a physical card-based zero-knowledge proof protocol
for Nonogram, which enables a prover to physically show that he/she knows a
solution of the puzzle without revealing it. However, their protocol requires
special tools such as scratch-off cards and a sealing machine, making it
impractical to implement in real world. The protocol …

card constraints grid knowledge physical player proof protocol puzzle