We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Cryptography and Security

Title: Physical Zero-Knowledge Proof for Five Cells

Abstract: 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 he/she knows a solution of the puzzle without revealing it. More importantly, in the optimization we develop a technique to verify a graph coloring that no two adjacent vertices have the same color without revealing any information about the coloring. This technique reduces the number of required cards in our protocol from quadratic to linear in the number of cells, and can also be used in other protocols related to graph coloring.
Comments: arXiv admin note: text overlap with arXiv:2202.09788
Subjects: Cryptography and Security (cs.CR)
Cite as: arXiv:2302.01235 [cs.CR]
  (or arXiv:2302.01235v2 [cs.CR] for this version)

Submission history

From: Suthee Ruangwises [view email]
[v1] Thu, 2 Feb 2023 17:16:32 GMT (12kb)
[v2] Wed, 15 Feb 2023 17:10:03 GMT (12kb)

Link back to: arXiv, form interface, contact.