Physical Zero-Knowledge Proof for Suguru Puzzle - Archive ouverte HAL Access content directly
Conference Papers Year :

Physical Zero-Knowledge Proof for Suguru Puzzle

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03017693 , version 1

Cite

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⟩
75 View
276 Download

Share

Gmail Facebook Twitter LinkedIn More