A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation - Université Clermont Auvergne
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

Copyright (Tous droits réservés)

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⟩
14 Consultations
24 Téléchargements

Altmetric

Partager

More