Tatami Printer: Physical ZKPs for Tatami Puzzles
Cryptography and Security
2025-06-10 v2 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2408.13507,
title = {Tatami Printer: Physical ZKPs for Tatami Puzzles},
author = {Suthee Ruangwises},
journal= {arXiv preprint arXiv:2408.13507},
year = {2025}
}
Comments
This paper has appeared at CIAC 2025