A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation - Université Clermont Auvergne Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation

Résumé

We propose a new technique to construct physical Zero-Knowledge Proof (ZKP) protocols for games that require a single loop draw feature. This feature appears in Slitherlink, a puzzle by Nikoli. Our approach is based on the observation that a loop has only one hole and this property remains stable by some simple transformations. Using this trick, we can transform a simple big loop, visible to anyone, into the solution loop by using transformations that do not disclose any information about the solution. As a proof of concept, we apply this technique to construct the first physical ZKP protocol for Slitherlink.
Fichier principal
Vignette du fichier
LMMS19.pdf (268.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)

Dates et versions

hal-04402827 , version 1 (18-01-2024)

Licence

Paternité

Identifiants

Citer

Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone. A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation. ISPEC : Information Security Practice and Experience Conference, 2019, Kuala Lumpur, Malaysia. pp.135-151, ⟨10.1007/978-3-030-34339-2_8⟩. ⟨hal-04402827⟩
4 Consultations
4 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More