Physical Zero-Knowledge Proof for Suguru Puzzle - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Physical Zero-Knowledge Proof for Suguru Puzzle

Résumé

Suguru is a paper and pencil puzzle invented by Naoki Inaba. The goal of the game is to fulfil a grid with numbers between 1 and 5 and to respect three simple constraints. In this paper we design a physical Zero-Knowledge Proof (ZKP) protocol for Suguru. A ZKP protocol allows a prover (P) to prove that he knows a solution of a Suguru grid to a verifier (V) without leaking any information on the solution. For constructing such a physical ZKP protocol, we only rely on a small number of physical cards and an adapted encoding. For a grid of Suguru with n cells, we only use 5n + 5 cards. Moreover, we prove the three classical security properties of a ZKP: completeness, extractability, and zero-knowledge.
Fichier principal
Vignette du fichier
SSS20.pdf (279.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03017693 , version 1 (21-11-2020)

Identifiants

  • HAL Id : hal-03017693 , version 1

Citer

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki. Physical Zero-Knowledge Proof for Suguru Puzzle. 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States. ⟨hal-03017693⟩
115 Consultations
389 Téléchargements

Partager

More