Card-based ZKP protocols for takuzu and juosan

Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

Takuzu and Juosan are logical Nikoli games in the spirit of Sudoku. In Takuzu, a grid must be filled with 0's and 1's under specific constraints. In Juosan, the grid must be filled with vertical and horizontal dashes with specific constraints. We give physical algorithms using cards to realize zero-knowledge proofs for those games. The goal is to allow a player to show that he/she has the solution without revealing it. Previous work on Takuzu showed a protocol with multiple instances needed. We propose two improvements: only one instance needed and a soundness proof. We also propose a similar proof for Juosan game.

本文言語English
ホスト出版物のタイトル10th International Conference on Fun with Algorithms, FUN 2021
編集者Martin Farach-Colton, Giuseppe Prencipe, Ryuhei Uehara
出版社Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN(電子版)9783959771450
DOI
出版ステータスPublished - 2020 9 1
イベント10th International Conference on Fun with Algorithms, FUN 2021 - Favignana Island, Sicily, Italy
継続期間: 2021 5 302021 6 1

出版物シリーズ

名前Leibniz International Proceedings in Informatics, LIPIcs
157
ISSN(印刷版)1868-8969

Conference

Conference10th International Conference on Fun with Algorithms, FUN 2021
CountryItaly
CityFavignana Island, Sicily
Period21/5/3021/6/1

ASJC Scopus subject areas

  • Software

引用スタイル