Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Abstract : Akari, Takuzu, Kakuro and KenKen are logic games similar to Sudoku. In Akari, a labyrinth on a grid has to be lit by placing lanterns, respecting various constraints. In Takuzu a grid has to be filled with 0's and 1's, while respecting certain constraints. In Kakuro a grid has to be filled with numbers such that the sums per row and column match given values; similarly in KenKen a grid has to be filled with numbers such that in given areas the product, sum, difference or quotient equals a given value. We give physical algorithms to realize zero-knowledge proofs for these games which allow a player to show that he knows a solution without revealing it. These interactive proofs can be realized with simple office material as they only rely on cards and envelopes. Moreover, we formalize our algorithms and prove their security.
Type de document :
Communication dans un congrès
Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://www2.idsia.ch/cms/fun16/〉. 〈10.4230/LIPIcs.FUN.2016.8〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01326059
Contributeur : Jean-Guillaume Dumas <>
Soumis le : vendredi 3 juin 2016 - 08:38:08
Dernière modification le : lundi 30 avril 2018 - 15:02:01
Document(s) archivé(s) le : dimanche 4 septembre 2016 - 10:11:48

Fichiers

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

Identifiants

Citation

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://www2.idsia.ch/cms/fun16/〉. 〈10.4230/LIPIcs.FUN.2016.8〉. 〈hal-01326059〉

Partager

Métriques

Consultations de la notice

939

Téléchargements de fichiers

152