Physical ZKP protocols for Nurimisaki and Kurodoko

DOI10.1016/J.TCS.2023.114071MaRDI QIDQ6093570zbMATH OpenFDO

Authors Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

Publication date 7 September 2023

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

zbMATH Keywords

zero-knowledge proofcard-based cryptographypencil puzzleKurodokoNurimisaki

Mathematics Subject Classification ID

Applications of game theory (91A80) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Card-based ZKP protocol for Nurimisaki
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Card-based ZKP protocols for Takuzu and Juosan
• Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen

Cites work

• An improved physical ZKP for Nonogram
• Card-based ZKP protocol for Nurimisaki
• Card-based ZKP protocols for Takuzu and Juosan
• Card-based protocols for any Boolean function
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Efficient card-based zero-knowledge proof for Sudoku
• Foundations for actively secure card-based cryptography
• Hide a liar: card-based ZKP protocol for Usowan
• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
• Interactive physical zero-knowledge proof for Norinori
• More Efficient Match-Making and Satisfiability The Five Card Trick
• Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
• Physical zero-knowledge proof for Makaro
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
• Securely computing the \(n\)-variable equality function with \(2n\) cards
• Six-Card Secure AND and Four-Card Secure XOR
• The knowledge complexity of interactive proof-systems
• Zero-knowledge proof protocol for cryptarithmetic using dihedral cards

Cited in

(16)

• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proof for Makaro
• Card-based ZKP protocols for Takuzu and Juosan
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
• An improved physical ZKP for nonogram and nonogram color
• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
• A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
• Physical zero-knowledge proof for Numberlink
• An improved physical ZKP for Nonogram
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
• Card-based ZKP protocol for Nurimisaki
• Physical ZKP for Makaro using a standard deck of cards
• Card-based zero-knowledge proof protocols for graph problems and their computational model

This page was built for publication: Physical ZKP protocols for Nurimisaki and Kurodoko

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