HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01326059
Contributor : Jean-Guillaume Dumas Connect in order to contact the contributor
Submitted on : Friday, June 3, 2016 - 8:38:08 AM
Last modification on : Saturday, April 23, 2022 - 5:56:03 PM
Long-term archiving on: : Sunday, September 4, 2016 - 10:11:48 AM

Files

zkpfungame.pdf
Files produced by the author(s)

Identifiers

Citation

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩. ⟨hal-01326059⟩

Share

Metrics

Record views

956

Files downloads

297