文章基本信息

标题：Card-Based ZKP Protocols for Takuzu and Juosan
本地全文：下载
作者：Daiki Miyahara ; Lo Robert ; Pascal Lafourcade 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：157
页码：20:1-20:21
DOI：10.4230/LIPIcs.FUN.2021.20
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Zero-knowledge proof; Card-based cryptography; Takuzu; Juosan