Tatami Printer: Physical ZKPs for Tatami Puzzles
<|reference_start|>Tatami Printer: Physical ZKPs for Tatami Puzzles: Tatami puzzles are pencil-and-paper logic 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 also use the Tatami printer to construct physical 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.<|reference_end|>
@article{ruangwises2024tatami,
    title={Tatami Printer: Physical ZKPs for Tatami Puzzles},
    author={Suthee Ruangwises},
    journal={arXiv preprint arXiv:2408.13507},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.13507},
    primaryClass={cs.CR cs.LO}
}