References & Citations
Computer Science > Cryptography and Security
Title: Printing Protocol: Physical ZKPs for Decomposition Puzzles
(Submitted on 2 Feb 2023 (v1), last revised 30 Nov 2023 (this version, v5))
Abstract: Decomposition puzzles are pencil-and-paper logic puzzles that involve partitioning a rectangular grid into several regions to satisfy certain rules. In this paper, we construct a generic card-based protocol called printing protocol, which can be used to physically verify solutions of decompositon puzzles. We apply the printing protocol to develop card-based zero-knowledge proof protocols for two such puzzles: Five Cells and Meadows. These protocols allow a prover to physically show that he/she knows solutions of the puzzles without revealing them.
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)
[v3] Sun, 16 Jul 2023 18:01:47 GMT (12kb)
[v4] Sun, 6 Aug 2023 18:58:40 GMT (14kb)
[v5] Thu, 30 Nov 2023 07:40:40 GMT (11kb)
Link back to: arXiv, form interface, contact.