Physical Zero-Knowledge Proof for Ripple Effect

09/21/2020
by   Suthee Ruangwises, et al.
0

Ripple Effect is a logic puzzle with an objective to fill numbers into a rectangular grid divided into rooms. Each room must contain consecutive integers starting from 1 to its size. Also, if two cells in the same row or column have the same number x, the space separating the two cells must be at least x cells. In this paper, we propose a physical protocol of zero-knowledge proof for Ripple Effect puzzle using a deck of cards, which allows a prover to physically show that he/she knows a solution without revealing it. In particular, we develop a physical protocol that, given a secret number x and a list of numbers, verifies that x does not appear among the first x numbers in the list without revealing x or any number in the list.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
06/26/2021

An Improved Physical ZKP for Nonogram

Nonogram is a logic puzzle consisting of a rectangular grid with an obje...
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
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
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
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
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...

Please sign up or login with your details

Forgot password? Click here to reset