[HTML][HTML] Efficient card-based zero-knowledge proof for Sudoku

T Sasaki, D Miyahara, T Mizuki, H Sone - Theoretical Computer Science, 2020 - Elsevier
Abstract In 2009, Gradwohl, Naor, Pinkas, and Rothblum proposed physical zero-knowledge
proof protocols for Sudoku. That is, for a puzzle instance of Sudoku, their excellent 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 …

Secure implementations of a random bisection cut

I Ueda, D Miyahara, A Nishimura, Y Hayashi… - International journal of …, 2020 - Springer
By using a deck of cards, it is possible to realize a secure multiparty computation. In
particular, since a new shuffling operation, called a random bisection cut, was devised in …

Physical Zero-Knowledge Proof for Numberlink Puzzle and k Vertex-Disjoint Paths Problem

S Ruangwises, T Itoh - New Generation Computing, 2021 - Springer
Numberlink is a logic puzzle with an objective to connect all pairs of cells with the same
number by non-crossing paths in a rectangular grid. In this paper, we propose a physical …

Card-based cryptographic logical computations using private operations

H Ono, Y Manabe - New Generation Computing, 2021 - Springer
This paper proposes new card-based cryptographic protocols to calculate logic functions
with the minimum number of cards using private operations under the semi-honest model …

Physical zero-knowledge proof for Makaro

X Bultel, J Dreier, JG Dumas, P Lafourcade… - Stabilization, Safety, and …, 2018 - Springer
Makaro is a logic game similar to Sudoku. In Makaro, a grid has to be filled with numbers
such that: given areas contain all the numbers up to the number of cells in the area, no …

Card-based physical zero-knowledge proof for Kakuro

D Miyahara, T Sasaki, T Mizuki… - IEICE Transactions on …, 2019 - search.ieice.org
Kakuro is a popular logic puzzle, in which a player fills in all empty squares with digits from 1
to 9 so that the sum of digits in each (horizontal or vertical) line is equal to a given number …

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 …