Card-based zero-knowledge proof for Sudoku

DOI10.4230/LIPICS.FUN.2018.29MaRDI QIDQ3301020zbMATH OpenOpenAlexFDO

Authors Tatsuya Sasaki, Takaaki Mizuki, Hideaki Sone

Publication date 11 August 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2018/8820/pdf/LIPIcs-FUN-2018-29.pdf/

zbMATH Keywords

Sudokuzero-knowledge proofcard-based cryptography

Mathematics Subject Classification ID

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

Recommendations

• Efficient card-based zero-knowledge proof for Sudoku
• Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Card-based ZKP protocols for Takuzu and Juosan

Cites work

• 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
• Fun with algorithms. 5th international conference, FUN 2010, Ischia, Italy, June 2--4, 2010. Proceedings
• Fun with algorithms. 7th international conference, FUN 2014, Lipari Island, Sicily, Italy, July 1--3, 2014. Proceedings
• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
• Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
• Secure grouping protocol using a deck of cards
• The Knowledge Complexity of Interactive Proof Systems

Cited in

(18)

• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proof for Makaro
• Physical Zero-Knowledge Proof for Suguru Puzzle
• 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
• An improved physical ZKP for nonogram and nonogram color
• A physical zero-knowledge proof for Sumplete, a puzzle generated by ChatGPT
• Physical zero-knowledge proof for Numberlink
• Efficient card-based zero-knowledge proof for Sudoku
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
• Physical zero-knowledge proof protocol for Topswops
• 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: Card-based zero-knowledge proof for Sudoku

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