ZKP protocols for Usowan, Herugolf and Five Cells - Université de Picardie Jules Verne
Article Dans Une Revue Tsinghua Science and Technology Année : 2023

ZKP protocols for Usowan, Herugolf and Five Cells

Résumé

A Zero-Knowledge Proof (ZKP) protocol allows a participant to prove the knowledge of some secret without revealing any information about it. While such protocols are typically executed by computers, there exists a line of research proposing physical instances of ZKP protocols. Up to now, many card-based ZKP protocols for pen-and-pencil puzzles, like Sudoku, have been designed. Those games, mostly edited by Nikoli, have simple rules, yet designing them in card-based ZKP protocols is non-trivial. In this work, we propose a card-based ZKP protocol for Usowan, a Nikoli game. In Usowan, for each room of a puzzle instance, there is exactly one piece of false information. The goal of the game is to detect this wrong data amongst the correct data and also to satisfy the other rules. Designing a card-based ZKP protocol to deal with the property of detecting a liar has never been done. In some sense, we propose a physical ZKP for hiding of a liar. This work extends a previous paper appearing in [33]. In this extension, we propose two other protocols, for Herugolf and Five Cells. The puzzles are specifically chosen because each of those three puzzles shares a common constraint, connectivity. However, showing the connected configuration cannot be done with generic approach and brings new construction to the existing connectivity ZKP protocol. Indeed, in Herugolf, the connectivity is handled with a given length of cell which is decremental (i.e., the length of each connected cell decreases by one at each step). For Five Cells, there is an additional step in the setup allowing to encode all the information needed to ensure a valid ZKP protocol.
Fichier principal
Vignette du fichier
main.pdf (1.35 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04335703 , version 1 (11-12-2023)

Identifiants

Citer

Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki. ZKP protocols for Usowan, Herugolf and Five Cells. Tsinghua Science and Technology, inPress, ⟨10.26599/TST.20xx.9010⟩. ⟨hal-04335703⟩
56 Consultations
73 Téléchargements

Altmetric

Partager

More