Physical ZKP protocols for Nurimisaki and Kurodoko - Université de Picardie Jules Verne Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2023

Physical ZKP protocols for Nurimisaki and Kurodoko

Résumé

Proving to someone else the knowledge of a secret without revealing any of its information is an interesting feature in cryptography. The best solution to solve this problem is a Zero-Knowledge Proof (ZKP) protocol. Nurimisaki is a Nikoli puzzle. The goal of this game is to draw a kind of abstract painting ("Nuri") that represents a sea with some capes ("Misaki") of an island (represented by white cells). For this, the player has to fulfill cells of a grid in black (representing the sea) in order to draw some capes while respecting some simple rules. One of the specificity of the rules of this game is that every "Misaki" cell can only have one white neighbour. Kurodoko is also a Nikoli puzzle where some cells need to be blackened in order to ensure that each numbered cell is surrounded by the same number of white cells in the four directions (north, east, south, and west). Both of these puzzles, Nurimisaki and Kurodoko, share a common connectivity constraint. Using a deck of cards, we propose a physical ZKP protocol for each of the two puzzles above. Our protocols prove that a player knows a solution of (1) a Nurimisaki grid, or (2) a Kurodoko grid, without revealing any information about the solution.
Fichier principal
Vignette du fichier
main.pdf (394.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04434814 , version 1 (02-02-2024)

Identifiants

Citer

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki. Physical ZKP protocols for Nurimisaki and Kurodoko. Theoretical Computer Science, 2023, 972, pp.114071. ⟨10.1016/j.tcs.2023.114071⟩. ⟨hal-04434814⟩
10 Consultations
10 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More