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 …

Card-based ZKP for connectivity: applications to Nurikabe, Hitori, and Heyawake

L Robert, D Miyahara, P Lafourcade… - New Generation …, 2022 - Springer
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 …

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 …

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 …

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 …

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 …