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

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

研究成果: Conference contribution

6 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルInformation Security Practice and Experience - 15th International Conference, ISPEC 2019, Proceedings
編集者Swee-Huay Heng, Javier Lopez
出版社Springer
ページ135-151
ページ数17
ISBN(印刷版)9783030343385
DOI
出版ステータスPublished - 2019
イベント15th International Conference on Information Security Practice and Experience, ISPEC 2019 - Kuala Lumpur, Malaysia
継続期間: 2019 11 262019 11 28

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11879 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Conference

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル