Tatami Printer: Physical ZKPs for Tatami Puzzles
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912418433597440 |
|---|---|
| author | Ruangwises, Suthee |
| author_facet | Ruangwises, Suthee |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_13507 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Tatami Printer: Physical ZKPs for Tatami Puzzles Ruangwises, Suthee Cryptography and Security Logic in Computer Science 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. |
| title | Tatami Printer: Physical ZKPs for Tatami Puzzles |
| topic | Cryptography and Security Logic in Computer Science |
| url | https://arxiv.org/abs/2408.13507 |