Physical zero-knowledge proof for ripple effect

DOI10.1016/J.TCS.2021.09.034MaRDI QIDQ5925530zbMATH OpenOpenAlexFDO

Authors Suthee Ruangwises, Toshiya Itoh

Publication date 18 November 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2009.09983

zbMATH Keywords

card-based cryptographypuzzleripple effectzero-knowledge proof

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Physical zero-knowledge proof for ripple effect
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Physical zero-knowledge proof for Numberlink
• Physical ZKP protocols for Nurimisaki and Kurodoko
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle

Cites work

• A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
• Card-based ZKP protocols for Takuzu and Juosan
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Efficient card-based protocols for generating a hidden random permutation without fixed points
• Efficient card-based zero-knowledge proof for Sudoku
• Interactive physical zero-knowledge proof for Norinori
• Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
• Physical zero-knowledge proof for Makaro
• Physical zero-knowledge proof for ripple effect
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
• Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
• Shikaku and Ripple Effect are NP-complete
• The Knowledge Complexity of Interactive Proof Systems

Cited in

(18)

• Physical zero-knowledge proofs of physical properties
• Physical zero-knowledge proof for ripple effect
• Physical ZKP protocols for Nurimisaki and Kurodoko
• Card-minimal protocols for three-input functions with standard playing cards
• Physical zero-knowledge proof protocol for Topswops
• Physical ZKP for Makaro using a standard deck of cards
• Hide a liar: card-based ZKP protocol for Usowan
• Card-based zero-knowledge proof for the nearest neighbor property: zero-knowledge proof of ABC end view
• Physical zero-knowledge proof for ball sort puzzle
• Secure computations through checking suits of playing cards
• An improved physical ZKP for nonogram and nonogram color
• Contagion Source Detection in Epidemic and Infodemic Outbreaks: Mathematical Analysis and Network Algorithms
• Card-Based Secure Sorting Protocol
• Physically verifying the first nonzero term in a sequence: physical ZKPs for ABC End View and Goishi Hiroi
• Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
• Physical zero-knowledge proofs for Five Cells
• Tatami printer: physical ZKPs for Tatami puzzles
• NP-completeness and physical zero-knowledge proofs for Zeiger

This page was built for publication: Physical zero-knowledge proof for ripple effect

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5925530)