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 …
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
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 …
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 …
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 …
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 …
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 …
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 …
number. The player has to partition the grid into rectangles such that each rectangle …
Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
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 …
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 …
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
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 …
an interesting feature in cryptography. The best solution to solve this problem is a Zero …