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

Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationInformation Security Practice and Experience - 15th International Conference, ISPEC 2019, Proceedings
EditorsSwee-Huay Heng, Javier Lopez
PublisherSpringer
Pages135-151
Number of pages17
ISBN (Print)9783030343385
DOIs
Publication statusPublished - 2019
Event15th International Conference on Information Security Practice and Experience, ISPEC 2019 - Kuala Lumpur, Malaysia
Duration: 2019 Nov 262019 Nov 28

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11879 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Conference on Information Security Practice and Experience, ISPEC 2019
Country/TerritoryMalaysia
CityKuala Lumpur
Period19/11/2619/11/28

Keywords

  • Physical Topology Preserving Computation
  • Physical Zero-Knowledge Proof
  • Slitherlink

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation'. Together they form a unique fingerprint.

Cite this