TY - GEN
T1 - Physical zero-knowledge proof for makaro
AU - Bultel, Xavier
AU - Dreier, Jannik
AU - Dumas, Jean Guillaume
AU - Lafourcade, Pascal
AU - Miyahara, Daiki
AU - Mizuki, Takaaki
AU - Nagao, Atsuki
AU - Sasaki, Tatsuya
AU - Shinagawa, Kazumasa
AU - Sone, Hideaki
N1 - Funding Information:
This work was supported in part by JSPS KAKENHI Grant Numbers 17J01169 and 17K00001. It was conducted with the support of the FEDER program of 2014-2020, the region council of Auvergne-Rhône-Alpes, the Indo-French Centre for the Promotion of Advanced Research (IFCPAR) and the Center Franco-Indien Pour La Promotion De La Recherche Avancée (CEFIPRA) through the project DST/CNRS 2015-03 under DST-INRIA-CNRS Targeted Programme.
Funding Information:
Acknowledgments. This work was supported in part by JSPS KAKENHI Grant Numbers 17J01169 and 17K00001. It was conducted with the support of the FEDER program of 2014-2020, the region council of Auvergne-Rhône-Alpes, the Indo-French Centre for the Promotion of Advanced Research (IFCPAR) and the Center Franco-Indien Pour La Promotion De La Recherche Avancée (CEFIPRA) through the project DST/CNRS 2015-03 under DST-INRIA-CNRS Targeted Programme.
Publisher Copyright:
© Springer Nature Switzerland AG 2018.
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
KW - Card-based secure two-party protocols
KW - Makaro
KW - Privacy
KW - Puzzle
KW - Zero-knowledge proofs
UR - http://www.scopus.com/inward/record.url?scp=85056462649&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85056462649&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-03232-6_8
DO - 10.1007/978-3-030-03232-6_8
M3 - Conference contribution
AN - SCOPUS:85056462649
SN - 9783030032319
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 111
EP - 125
BT - Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Proceedings
A2 - Izumi, Taisuke
A2 - Kuznetsov, Petr
PB - Springer Verlag
T2 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018
Y2 - 4 November 2018 through 7 November 2018
ER -