Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] Efficient card-based zero-knowledge proof for Sudoku
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 …
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 …
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 …
Secure implementations of a random bisection cut
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 …
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 …
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 …
with the minimum number of cards using private operations under the semi-honest model …
Physical zero-knowledge proof for Makaro
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 …
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
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 …
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 …
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 …