How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition

Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Abstract

We propose a technique to construct physical Zero-Knowledge Proof (ZKP) protocols for puzzles that require a single loop draw feature. 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, which is visible to anyone, into the solution loop by using transformations that do not disclose any information about the solution. We illustrate our technique by applying it to construct physical ZKP protocols for two Nikoli puzzles: Slitherlink and Masyu.

Original languageEnglish
Pages (from-to)41-55
Number of pages15
JournalTheoretical Computer Science
Volume888
DOIs
Publication statusPublished - 2021 Oct 4

Keywords

  • Cryptography
  • Masyu
  • Nikoli
  • Physical zero-knowledge proof
  • Slitherlink

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition'. Together they form a unique fingerprint.

Cite this