Physical zero-knowledge proof for makaro

Xavier Bultel, Jannik Dreier, Jean Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone

研究成果: Conference contribution

10 被引用数 (Scopus)

抄録

Makaro is a logic game similar to Sudoku. In Makaro, a grid has to be filled with numbers such that: given areas contain all the numbers up to the number of cells in the area, no adjacent numbers are equal and some cells provide restrictions on the largest adjacent number. We propose a proven secure physical algorithm, only relying on cards, to realize a zero-knowledge proof of knowledge for Makaro. It allows a player to show that he knows a solution without revealing it.

本文言語English
ホスト出版物のタイトルStabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Proceedings
編集者Taisuke Izumi, Petr Kuznetsov
出版社Springer Verlag
ページ111-125
ページ数15
ISBN(印刷版)9783030032319
DOI
出版ステータスPublished - 2018
イベント20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018 - Tokyo, Japan
継続期間: 2018 11 42018 11 7

出版物シリーズ

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

Other

Other20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018
CountryJapan
CityTokyo
Period18/11/418/11/7

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

引用スタイル