Interactive Physical Zero-Knowledge Proof for Norinori

Jean Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone

研究成果: Conference contribution

8 被引用数 (Scopus)

抄録

Norinori is a logic game similar to Sudoku. In Norinori, a grid of cells has to be filled with either black or white cells so that the given areas contain exactly two black cells, and every black cell shares an edge with exactly one other black cell. We propose a secure interactive physical algorithm, relying only on cards, to realize a zero-knowledge proof of knowledge for Norinori. It allows a player to show that he or she knows a solution without revealing it. For this, we show in particular that it is possible to physically prove that a particular element is present in a list, without revealing any other value in the list, and without revealing the actual position of that element in the list.

本文言語English
ホスト出版物のタイトルComputing and Combinatorics - 25th International Conference, COCOON 2019, Proceedings
編集者Ding-Zhu Du, Zhenhua Duan, Cong Tian
出版社Springer Verlag
ページ166-177
ページ数12
ISBN(印刷版)9783030261757
DOI
出版ステータスPublished - 2019
イベント25th International Computing and Combinatorics Conference, COCOON 2019 - Xi'an, China
継続期間: 2019 7 292019 7 31

出版物シリーズ

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

Conference

Conference25th International Computing and Combinatorics Conference, COCOON 2019
CountryChina
CityXi'an
Period19/7/2919/7/31

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

引用スタイル