2024/08/24 by Suthee Ruangwises, Ruangwises, Suthee
Computer Science · Engineering · #Augmented Reality Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Interactive and Immersive Displays #Logic in Computer Science (cs.LO) #Robotics and Automated Systems
paper · pdf · doi:10.48550/arxiv.2408.13507
openalex publication_date 2024/08/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Tatami puzzles are pencil puzzles with an objective to partition a rectangular grid into rectangular regions such that no four regions share a corner point, as well as satisfying other constraints. In this paper, we develop a physical card-based protocol called Tatami printer that can help verify solutions of Tatami puzzles. We then use the Tatami printer to construct zero-knowledge proof protocols for two such puzzles: Tatamibari and Square Jam. These protocols enable a prover to show a verifier the existence of the puzzles' solutions without revealing them.