research
∙
09/11/2023
Sumplete is Hard, Even with Two Different Numbers
Sumplete is a logic puzzle famous for being developed by ChatGPT. The pu...
research
∙
06/23/2023
The Landscape of Computing Symmetric n-Variable Functions with 2n Cards
Secure multi-party computation using a physical deck of cards, often cal...
research
∙
04/24/2023
Physically Verifying the First Nonzero Term in a Sequence: Physical ZKPs for ABC End View and Goishi Hiroi
In this paper, we develop a physical protocol to verify the first nonzer...
research
∙
02/14/2023
Physical Zero-Knowledge Proof for Ball Sort Puzzle
Ball sort puzzle is a popular logic puzzle consisting of several bins co...
research
∙
02/02/2023
Physical Zero-Knowledge Proof for Five Cells
Five Cells is a pencil puzzle consisting of a rectangular grid, with som...
research
∙
02/20/2022
How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku
Shikaku is a pencil puzzle consisting of a rectangular grid, with some c...
research
∙
12/22/2021
Physical ZKP for Makaro Using a Standard Deck of Cards
Makaro is a logic puzzle with an objective to fill numbers into a rectan...
research
∙
06/26/2021
An Improved Physical ZKP for Nonogram
Nonogram is a logic puzzle consisting of a rectangular grid with an obje...
research
∙
06/25/2021
Two Standard Decks of Playing Cards are Sufficient for a ZKP for Sudoku
Sudoku is a logic puzzle with an objective to fill a number between 1 an...
research
∙
11/05/2020
Using Five Cards to Encode Each Integer in ℤ/6ℤ
Research in secure multi-party computation using a deck of playing cards...
research
∙
11/03/2020
Physical Zero-Knowledge Proof for Connected Spanning Subgraph Problem and Bridges Puzzle
An undirected graph G is known to both the prover P and the verifier V, ...
research
∙
09/21/2020
Physical Zero-Knowledge Proof for Ripple Effect
Ripple Effect is a logic puzzle with an objective to fill numbers into a...
research
∙
02/04/2020
Physical Zero-Knowledge Proof for Numberlink
Numberlink is a logic puzzle for which the player has to connect all pai...
research
∙
11/14/2019
Securely Computing the n-Variable Equality Function with 2n Cards
Research on the area of secure multi-party computation using a deck of p...
research
∙
03/06/2019
Stable Noncrossing Matchings
Given a set of n men represented by n points lying on a line, and n wome...
research
∙
10/01/2018
AND Protocols Using Only Uniform Shuffles
Secure multi-party computation using a deck of playing cards has been a ...
research
∙
03/26/2018