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

L Robert, D Miyahara, P Lafourcade… - Information and …, 2022 - Elsevier
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 …

How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition

P Lafourcade, D Miyahara, T Mizuki, L Robert… - Theoretical Computer …, 2021 - Elsevier
We propose a technique to construct physical Zero-Knowledge Proof (ZKP) protocols for
puzzles that require a single loop draw feature. Our approach is based on the observation …

Physical zero-knowledge proof for ripple effect

S Ruangwises, T Itoh - Theoretical Computer Science, 2021 - Elsevier
Ripple Effect is a logic puzzle where the player has to fill numbers into empty cells in a
rectangular grid. The grid is divided into rooms, and each room must contain consecutive …

Two standard decks of playing cards are sufficient for a ZKP for Sudoku

S Ruangwises - New Generation Computing, 2022 - Springer
Sudoku is a famous logic puzzle where the player has to fill a number between 1 and 9 into
each empty cell of a 9× 9 grid such that every number appears exactly once in each row …

Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems

S Ruangwises, T Itoh - … 19th International Conference, UCNC 2021, Espoo …, 2021 - Springer
An undirected graph G is known to both the prover P and the verifier V, but only P knows a
subgraph H of G. Without revealing any information about H, P wants to convince V that H is …

Card-based cryptographic protocols with malicious players using private operations

Y Manabe, H Ono - New Generation Computing, 2022 - Springer
This paper shows new card-based cryptographic protocols using private operations that are
secure against malicious players. Physical cards are used in card-based cryptographic …

How to physically verify a rectangle in a grid: a physical ZKP for Shikaku

S Ruangwises, T Itoh - arXiv preprint arXiv:2202.09788, 2022 - arxiv.org
Shikaku is a pencil puzzle consisting of a rectangular grid, with some cells containing a
number. The player has to partition the grid into rectangles such that each rectangle …

Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori

L Robert, D Miyahara, P Lafourcade… - … on Computability in …, 2021 - Springer
During the last years, many Physical Zero-knowledge Proof (ZKP) protocols for Nikoli's
puzzles have been designed. In this paper, we propose two ZKP protocols for the two …

An improved physical ZKP for Nonogram

S Ruangwises - … : 15th International Conference, COCOA 2021, Tianjin …, 2021 - Springer
Nonogram is a logic puzzle consisting of a rectangular grid with an objective to color every
cell black or white such that the lengths of blocks of consecutive black cells in each row and …

Physical ZKP protocols for Nurimisaki and Kurodoko

L Robert, D Miyahara, P Lafourcade, T Mizuki - Theoretical Computer …, 2023 - Elsevier
Proving to someone else the knowledge of a secret without revealing any of its information is
an interesting feature in cryptography. The best solution to solve this problem is a Zero …