Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
From MaRDI portal
Publication:5282806
DOI10.4230/LIPICS.FUN.2016.8zbMATH Open1369.91037arXiv1606.01045MaRDI QIDQ5282806FDOQ5282806
Authors: Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Publication date: 17 July 2017
Full work available at URL: https://arxiv.org/abs/1606.01045
Recommendations
- Card-based ZKP protocols for Takuzu and Juosan
- 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
Cited In (29)
- How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
- Physical zero-knowledge proof for Makaro
- 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
- A secure three-input and protocol with a standard deck of minimal cards
- 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
- Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
- Efficient card-based zero-knowledge proof for Sudoku
- Interactive physical zero-knowledge proof for Norinori
- An improved physical ZKP for Nonogram
- Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems
- Physical zero-knowledge proof protocol for Topswops
- Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
- Two standard decks of playing cards are sufficient for a ZKP for Sudoku
- Physical zero-knowledge proof for ripple effect
- 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-Based Zero-Knowledge Proof for Sudoku
- Card-Based Secure Sorting Protocol
- Physical ZKP for Makaro using a standard deck of cards
- 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
- Card-based zero-knowledge proof protocols for graph problems and their computational model
- Two UNO decks efficiently perform zero-knowledge proof for Sudoku
- Physical zero-knowledge proof for ripple effect
This page was built for publication: Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282806)