Physical Zero-Knowledge Proof for Suguru Puzzle

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

研究成果: Conference contribution

抄録

Suguru is a paper and pencil puzzle invented by Naoki Inaba. The goal of the game is to fulfil a grid with numbers between 1 and 5 and to respect three simple constraints. In this paper we design a physical Zero-Knowledge Proof (ZKP) protocol for Suguru. A ZKP protocol allows a prover (P) to prove that he knows a solution of a Suguru grid to a verifier (V) without leaking any information on the solution. For constructing such a physical ZKP protocol, we only rely on a small number of physical cards and an adapted encoding. For a grid of Suguru with n cells, we only use 5 n+ 5 cards. Moreover, we prove the three classical security properties of a ZKP: completeness, extractability, and zero-knowledge.

本文言語English
ホスト出版物のタイトルStabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings
編集者Stéphane Devismes, Neeraj Mittal
出版社Springer Science and Business Media Deutschland GmbH
ページ235-247
ページ数13
ISBN(印刷版)9783030643478
DOI
出版ステータスPublished - 2020
イベント22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020 - Austin, United States
継続期間: 2020 11 182020 11 21

出版物シリーズ

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

Conference

Conference22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020
CountryUnited States
CityAustin
Period20/11/1820/11/21

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Physical Zero-Knowledge Proof for Suguru Puzzle」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル