Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun

ePrint Report: Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun

Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert

A zero-knowledge proof (ZKP) allows a party to prove to another party that it knows some secret, such as the solution to a difficult puzzle, without revealing any information about it. We propose a physical zero-knowledge proof using only a deck of playing cards for solutions to a pencil puzzle called \emph{Moon-or-Sun}. In this puzzle, one is given a …

check eprint report information knowledge koch moon party pascal patterns physical proof prove puzzle report robert secret solution