Physical Zero-Knowledge Proof for Ball Sort Puzzle

02/14/2023
by   Suthee Ruangwises, et al.
0

Ball sort puzzle is a popular logic puzzle consisting of several bins containing balls of multiple colors. Each bin works like a stack; a ball has to follow the last-in first-out order. The player has to sort the balls by color such that each bin contains only balls of a single color. In this paper, we propose a physical zero-knowledge proof protocol for the ball sort puzzle using a deck of playing cards, which enables a prover to physically show that he/she knows a solution with t moves of the ball sort puzzle without revealing it. Our protocol is the first zero-knowledge proof protocol for an interactive puzzle involving moving objects.

READ FULL TEXT

page 1

page 2

page 3

page 4

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

An Improved Physical ZKP for Nonogram

Nonogram is a logic puzzle consisting of a rectangular grid with an obje...
research
09/09/2020

Bang the Can Slowly: An Investigation into the 2017 Houston Astros

This manuscript is a statistical investigation into the 2017 Major Leagu...
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
08/19/2017

A plurality problem with three colors and query size three

The Plurality problem - introduced by Aigner A2004 - has many variants. ...
research
02/20/2019

The Hairy Ball Problem is PPAD-Complete

The Hairy Ball Theorem states that every continuous tangent vector field...

Please sign up or login with your details

Forgot password? Click here to reset