Physically verifying the first nonzero term in a sequence: physical ZKPs for ABC End View and Goishi Hiroi

DOI10.1007/978-3-031-39344-0_13MaRDI QIDQ6535813zbMATH OpenFDO

Authors Suthee Ruangwises

Publication date 28 February 2024

Full work available at URL https://doi.org/10.1007/978-3-031-39344-0_13

zbMATH Keywords

ABC End Viewcard-based cryptographyGoishi Hiroizero-knowledge proof

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Combinatorial games (91A46) Cryptography (94A60)

Recommendations

• Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
• Card-based zero-knowledge proof for the nearest neighbor property: zero-knowledge proof of ABC end view
• Card-based zero-knowledge proof for Sudoku
• Efficient card-based zero-knowledge proof for Sudoku
• An improved physical ZKP for nonogram and nonogram color

Cites work

• An improved physical ZKP for Nonogram
• Card-based zero-knowledge proof for the nearest neighbor property: zero-knowledge proof of ABC end view
• Card-based ZKP protocol for Nurimisaki
• Card-based ZKP protocols for Takuzu and Juosan
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Efficient card-based zero-knowledge proof for Sudoku
• Foundations for actively secure card-based cryptography
• Hide a liar: card-based ZKP protocol for Usowan
• HIROIMONO Is NP-Complete
• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku
• Interactive physical zero-knowledge proof for Norinori
• Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
• Physical zero-knowledge proof for ball sort puzzle
• Physical zero-knowledge proof for Makaro
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
• Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems
• Physical ZKP for Makaro using a standard deck of cards
• Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
• The Knowledge Complexity of Interactive Proof Systems
• Two standard decks of playing cards are sufficient for a ZKP for Sudoku

Cited in

(5)

• Physical zero-knowledge proof protocol for Topswops
• Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
• Physical zero-knowledge proofs for Five Cells
• How to play Old Maid with virtual players
• How to play Old Maid with virtual players

This page was built for publication: Physically verifying the first nonzero term in a sequence: physical ZKPs for ABC End View and Goishi Hiroi

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