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 …
Card-based ZKP for connectivity: applications to Nurikabe, Hitori, and Heyawake
During the last years, several card-based Zero-Knowledge Proof (ZKP) protocols for Nikoli's
puzzles have been designed. Although there are relatively simple card-based ZKP protocols …
puzzles have been designed. Although there are relatively simple card-based ZKP protocols …
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 …
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 …
Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
R Isuzugawa, D Miyahara, T Mizuki - International Conference on …, 2021 - Springer
Cryptarithmetic, also known as Verbal Arithmetic or Word Addition, is a popular pencil
puzzle in which the aim is to deduce which letter corresponds to which numeral, given a …
puzzle in which the aim is to deduce which letter corresponds to which numeral, given a …
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 …