Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle

Suguru is a paper and pencil puzzle invented by Naoki Inaba. The goal of the game is to fill a grid with numbers between 1 and 5 while respecting three simple constraints. We first prove the NP-completeness of Suguru puzzle. For this we design gadgets to encode the PLANAR-CIRCUIT-SAT in a Suguru gri...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Information and computation Ročník 285; s. 104858
Hlavní autori: Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Libralesso, Luc, Mizuki, Takaaki
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Inc 01.05.2022
Elsevier
Predmet:
Completeness
Computer Science
Cryptography and Security
Extractability
Physical zero-knowledge proof
Security
Suguru
Zero-knowledge
Suguru
Zero-knowledge
Physical zero-knowledge proof
Extractability
Security
Completeness
ISSN:0890-5401, 1090-2651
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Suguru is a paper and pencil puzzle invented by Naoki Inaba. The goal of the game is to fill a grid with numbers between 1 and 5 while respecting three simple constraints. We first prove the NP-completeness of Suguru puzzle. For this we design gadgets to encode the PLANAR-CIRCUIT-SAT in a Suguru grid. We then design a physical Zero-Knowledge Proof (ZKP) protocol for Suguru. This ZKP protocol allows a prover to prove that he knows a solution of a Suguru grid to a verifier without leaking any information on the solution. To construct such a physical ZKP protocol, we only rely on a few physical cards and adapted encoding. For a Suguru grid 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.
ISSN:0890-5401
1090-2651
DOI:10.1016/j.ic.2021.104858