Efficient card-based zero-knowledge proof for Sudoku

DOI10.1016/j.tcs.2020.05.036zbMath1453.94113OpenAlexW3030245161MaRDI QIDQ2196568

Daiki Miyahara, Tatsuya Sasaki, Hideaki Sone, Takaaki Mizuki

Publication date: 3 September 2020

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.05.036

zbMATH Keywords

Sudokuzero-knowledge proofcard-based cryptography

Mathematics Subject Classification ID

Cryptography (94A60) Orthogonal arrays, Latin squares, Room squares (05B15)

Related Items (22)

Card-based cryptographic protocols with a standard deck of cards using private operations ⋮ How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition ⋮ An improved physical ZKP for Nonogram ⋮ Zero-knowledge proof protocol for cryptarithmetic using dihedral cards ⋮ Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems ⋮ Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle ⋮ Physical ZKP protocols for Nurimisaki and Kurodoko ⋮ 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 ⋮ Actively revealing card attack on card-based protocols ⋮ Physical zero-knowledge proof for ball sort puzzle ⋮ Card-based ZKP protocol for Nurimisaki ⋮ Secure computations through checking suits of playing cards ⋮ An improved physical ZKP for nonogram and nonogram color ⋮ Two standard decks of playing cards are sufficient for a ZKP for Sudoku ⋮ Card-based zero-knowledge proof protocols for graph problems and their computational model ⋮ Efficient generation of a card-based uniformly distributed random derangement ⋮ Physical zero-knowledge proof for ripple effect ⋮ Card-based cryptographic protocols for three-input functions using private operations ⋮ Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori

Cites Work

• Unnamed Item
• Secure grouping protocol using a deck of cards
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Fun with algorithms. 7th international conference, FUN 2014, Lipari Island, Sicily, Italy, July 1--3, 2014. Proceedings
• Efficient Card-Based Protocols for Generating a Hidden Random Permutation Without Fixed Points
• Card-Based Zero-Knowledge Proof for Sudoku
• The Knowledge Complexity of Interactive Proof Systems
• Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
• Physical zero-knowledge proof for Makaro

This page was built for publication: Efficient card-based zero-knowledge proof for Sudoku