Physical zero-knowledge proof for ball sort puzzle

DOI10.1007/978-3-031-36978-0_20arXiv2302.07251MaRDI QIDQ6149049

Suthee Ruangwises

Publication date: 12 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2302.07251

zbMATH Keywords

puzzlezero-knowledge proofcard-based cryptographyball sort puzzle

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
• An improved physical ZKP for Nonogram
• Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems
• 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
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
• Two standard decks of playing cards are sufficient for a ZKP for Sudoku
• Efficient Card-Based Protocols for Generating a Hidden Random Permutation Without Fixed Points
• 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 ripple effect
• Physical ZKP for Makaro using a standard deck of cards
• Hide a liar: card-based ZKP protocol for Usowan
• Card-based ZKP protocol for Nurimisaki
• Physical zero-knowledge proof for Makaro

This page was built for publication: Physical zero-knowledge proof for ball sort puzzle