Physical ZKP for Makaro using a standard deck of cards

DOI10.1007/978-3-031-20350-3_5arXiv2112.12042OpenAlexW4313349988MaRDI QIDQ6111941

Suthee Ruangwises, Toshiya Itoh

Publication date: 4 August 2023

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

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

zbMATH Keywords

puzzlezero-knowledge proofcard-based cryptographyMakaro

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (5)

Physical zero-knowledge proof protocol for Topswops ⋮ 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 ⋮ Physical zero-knowledge proof for ball sort puzzle ⋮ An improved physical ZKP for nonogram and nonogram color

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• Efficient and secure multiparty computations using a standard deck of playing cards
• A secure three-input and protocol with a standard deck of minimal cards
• 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
• Card-based cryptography meets formal verification
• Efficient card-based zero-knowledge proof for Sudoku
• Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles
• Practical card-based implementations of Yao's millionaire protocol
• Interactive physical zero-knowledge proof for Norinori
• Secure computation of any Boolean function based on any deck of cards
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
• Efficient Card-Based Protocols for Generating a Hidden Random Permutation Without Fixed Points
• The Knowledge Complexity of Interactive Proof Systems
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proof for Makaro
• Card-based ZKP protocols for Takuzu and Juosan

This page was built for publication: Physical ZKP for Makaro using a standard deck of cards