学術論文誌
-
Printing Protocol: Physical ZKPs for Decomposition Puzzles
- 著者
- S. Ruangwises and M. Iwamoto
- 雑誌名
- New Generation Computing
- 出版社
- Springer
- 発行年
- 2024
To appear.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.