Physical Zero-Knowledge Proof for Makaro

Xavier Bultel 1 Jannik Dreier 2 Jean-Guillaume Dumas 3 Pascal Lafourcade 4 Daiki Miyahara 5, 6 Takaaki Mizuki 5 Atsuki Nagao 7 Tatsuya Sasaki 5 Kazumasa Shinagawa 6, 8 Hideaki Sone 5
1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
2 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 CASYS - Calculs Algébriques et Systèmes Dynamiques
LJK - Laboratoire Jean Kuntzmann
4 VERIMAG - IMAG - VERIMAG
5 Tohoku University [Sendai]
6 AIST - National Institute of Advanced Industrial Science and Technology
7 Ochanomizu University
8 TITECH - Tokyo Institute of Technology [Tokyo]
Abstract : 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.
Keywords : Zero-knowledge proofs Card-based secure two-party protocols Puzzle Privacy Makaro
Type de document :
Communication dans un congrès
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. Springer, Stabilization, Safety, and Security of Distributed Systems, 11201, pp.111-125, Lecture Notes in Computer Science. 〈10.1007/978-3-030-03232-6_8〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01898048
Contributeur : Jannik Dreier <>
Soumis le : mercredi 17 octobre 2018 - 22:41:35
Dernière modification le : jeudi 7 février 2019 - 16:31:47
Document(s) archivé(s) le : vendredi 18 janvier 2019 - 16:42:37

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

IMAG | LIMOS | UNIV-LORRAINE | SIGMA-CLERMONT | LORIA-FM | LORIA | INRIA | PRES_CLERMONT | LJK | VERIMAG | LJK_MAD | UGA | LJK_MAD_CASYS | CYBERALPS

Citation

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, et al.. Physical Zero-Knowledge Proof for Makaro. SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. Springer, Stabilization, Safety, and Security of Distributed Systems, 11201, pp.111-125, Lecture Notes in Computer Science. 〈10.1007/978-3-030-03232-6_8〉. 〈hal-01898048〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

121

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD