Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles - Université Clermont Auvergne
Communication Dans Un Congrès Année : 2024

Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles

Résumé

In this paper, we propose zero-knowledge proof (ZKP) protocols using physical objects for four pencil-and-paper puzzles: the wellknown Sudoku as well as Makaro, Futoshiki, and Kakuro. That is, our protocols allow a prover to convince a verifier that the prover knows a solution to a puzzle without relying on the use of computers. While previous physical ZKP protocols for puzzles have mainly relied on decks of cards, our research introduces a novel approach utilizing a balance scale and coins to design balance-based ZKP protocols; moreover we show its flexibility by adapting it to the four different puzzles. We compare the number of coins and operations in our protocols with the existing cardbased protocols and show that, for certain puzzles, our balance-based protocol outperforms the card-based method. Finally, we prove that our protocols achieve perfect completeness, perfect soundness and are perfectly zero-knowledge.
Fichier principal
Vignette du fichier
main.pdf (575.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04671562 , version 1 (15-08-2024)
hal-04671562 , version 2 (25-11-2024)

Identifiants

  • HAL Id : hal-04671562 , version 2

Citer

Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, et al.. Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles. Information Security Conference, Oct 2024, Washington DC, United States. ⟨hal-04671562v2⟩
72 Consultations
81 Téléchargements

Partager

More