TY - GEN
T1 - Interactive Physical ZKP for Connectivity
T2 - 17th Conference on Computability in Europe, CiE 2021
AU - Robert, Léo
AU - Miyahara, Daiki
AU - Lafourcade, Pascal
AU - Mizuki, Takaaki
N1 - Funding Information:
Acknowledgements. This work was supported in part by JSPS KAKENHI Grant Numbers JP19J21153 and JP21K11881. This study was partially supported by the French ANR project ANR-18-CE39-0019 (MobiS5), by the research program “Investisse-ments d′Avenir” through the IDEX-ISITE initiative 16-IDEX-0001 (CAP 20-25), by the IMobS3 Laboratory of Excellence (ANR-10-LABX-16-01), by the French ANR project DECRYPT (ANR-18-CE39-0007) and SEVERITAS (ANR-20-CE39-0009).
Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - During the last years, many Physical Zero-knowledge Proof (ZKP) protocols for Nikoli’s puzzles have been designed. In this paper, we propose two ZKP protocols for the two Nikoli’s puzzles called Nurikabe and Hitori. These two puzzles have some similarities, since in their rules at least one condition requires that some cells are connected to each other, horizontally or vertically. The novelty in this paper is to propose two techniques that allow us to prove such connectivity without leaking any information about a solution.
AB - During the last years, many Physical Zero-knowledge Proof (ZKP) protocols for Nikoli’s puzzles have been designed. In this paper, we propose two ZKP protocols for the two Nikoli’s puzzles called Nurikabe and Hitori. These two puzzles have some similarities, since in their rules at least one condition requires that some cells are connected to each other, horizontally or vertically. The novelty in this paper is to propose two techniques that allow us to prove such connectivity without leaking any information about a solution.
KW - Card-based secure two-party protocols
KW - Hitori
KW - Nurikabe
KW - Puzzle
KW - Zero-knowledge proofs
UR - http://www.scopus.com/inward/record.url?scp=85111322992&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85111322992&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-80049-9_37
DO - 10.1007/978-3-030-80049-9_37
M3 - Conference contribution
AN - SCOPUS:85111322992
SN - 9783030800482
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 373
EP - 384
BT - Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings
A2 - De Mol, Liesbeth
A2 - Weiermann, Andreas
A2 - Manea, Florin
A2 - Fernández-Duque, David
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 5 July 2021 through 9 July 2021
ER -