How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
From MaRDI portal
(Redirected from Publication:820565)
How to construct physical zero-knowledge proofs for puzzles with a ``single loop'' condition
How to construct physical zero-knowledge proofs for puzzles with a ``single loop'' condition
Recommendations
- A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
- Physical ZKP protocols for Nurimisaki and Kurodoko
- Physical Zero-Knowledge Proof for Suguru Puzzle
- Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
- Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
Cites work
- scientific article; zbMATH DE number 1024066 (Why is no real title available?)
- A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
- A single shuffle is enough for secure card-based computation of any Boolean circuit
- Basing cryptographic protocols on tamper-evident seals
- Card-based ZKP protocols for Takuzu and Juosan
- Card-based cryptographic protocols using a minimal number of cards
- Card-based cryptography meets formal verification
- Card-based protocols for secure ranking computations
- Card-based protocols for securely computing the conjunction of multiple variables
- Computations with a deck of cards
- 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
- Efficient private PEZ protocols for symmetric functions
- Foundations for actively secure card-based cryptography
- How to construct constant-round zero-knowledge proof systems for NP
- 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 Zero-Knowledge Proof for 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
- Practical card-based implementations of Yao's millionaire protocol
- Private computation using a PEZ dispenser.
- Secure computation without computers
- Secure multiparty computations without computers
- Six-Card Secure AND and Four-Card Secure XOR
- The five-card trick can be done with four cards
- The knowledge complexity of interactive proof-systems
- The minimum number of cards in practical card-based protocols
Cited in
(22)- Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
- Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
- Physical zero-knowledge proofs for Five Cells
- Physical zero-knowledge proof for ball sort puzzle
- Physical ZKP protocols for Nurimisaki and Kurodoko
- An improved physical ZKP for nonogram and nonogram color
- A physical zero-knowledge proof for Sumplete, a puzzle generated by ChatGPT
- A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
- Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
- An improved physical ZKP for Nonogram
- Secure computations through checking suits of playing cards
- Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
- Physical zero-knowledge proof protocol for Topswops
- Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
- Hide a liar: card-based ZKP protocol for Usowan
- Card-based ZKP protocol for Nurimisaki
- Card-minimal protocols for three-input functions with standard playing cards
- Physical ZKP for Makaro using a standard deck of cards
- Card-based zero-knowledge proof protocols for graph problems and their computational model
- Card-based zero-knowledge proof for the nearest neighbor property: zero-knowledge proof of ABC end view
- Physically verifying the first nonzero term in a sequence: physical ZKPs for ABC End View and Goishi Hiroi
- Two UNO decks efficiently perform zero-knowledge proof for Sudoku
This page was built for publication: How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820565)
