Physical ZKP protocols for Nurimisaki and Kurodoko
From MaRDI portal
Publication:6093570
DOI10.1016/J.TCS.2023.114071zbMATH Open1522.94087MaRDI QIDQ6093570FDOQ6093570
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)
Recommendations
Applications of game theory (91A80) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)
Cites Work
- The knowledge complexity of interactive proof-systems
- Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
- Efficient card-based zero-knowledge proof for Sudoku
- Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
- Interactive physical zero-knowledge proof for Norinori
- More Efficient Match-Making and Satisfiability The Five Card Trick
- Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
- Six-Card Secure AND and Four-Card Secure XOR
- Physical zero-knowledge proof for Makaro
- Foundations for actively secure card-based cryptography
- Card-based ZKP protocols for Takuzu and Juosan
- Physical Zero-Knowledge Proof for Suguru Puzzle
- How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
- Card-based protocols for any Boolean function
- An improved physical ZKP for Nonogram
- Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems
- Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
- Securely computing the \(n\)-variable equality function with \(2n\) cards
- Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
- Physical zero-knowledge proof for ripple effect
- Hide a liar: card-based ZKP protocol for Usowan
- Card-based ZKP protocol for Nurimisaki
Cited In (16)
- How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
- 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
- Physical zero-knowledge proof for Numberlink
- A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
- 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
- Physical zero-knowledge proof for ripple effect
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)
