Physical zero-knowledge proof for Makaro

DOI10.1007/978-3-030-03232-6_8MaRDI QIDQ6165831zbMATH OpenOpenAlexFDO

Authors Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone

Publication date 2 August 2023

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

Full work available at URL https://doi.org/10.1007/978-3-030-03232-6_8

zbMATH Keywords

card-based secure two-party protocolsMakaroprivacypuzzlezero-knowledge proofs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Games involving topology, set theory, or logic (91A44) Cryptography (94A60)

Recommendations

• Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen
• Physical ZKP protocols for Nurimisaki and Kurodoko
• Physical Zero-Knowledge Proof for Suguru Puzzle
• Card-based zero-knowledge proof for Sudoku
• Efficient card-based zero-knowledge proof for Sudoku

Cited in

(30)

• Card-based cryptographic protocols for three-input functions using private operations
• Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
• Card-based cryptographic protocols with a standard deck of cards using private operations
• 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
• Efficient card-based zero-knowledge proof for Sudoku
• 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
• Card-based zero-knowledge proof protocols for graph problems and their computational model
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proof for ripple effect
• 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
• Physical zero-knowledge proof for ball sort puzzle
• Card-based ZKP protocol for Nurimisaki
• An improved physical ZKP for nonogram and nonogram color
• Physical zero-knowledge proof for Numberlink
• 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
• Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
• A physical zero-knowledge proof for Sumplete, a puzzle generated by ChatGPT
• Physical zero-knowledge proofs for Five Cells
• NP-completeness and physical zero-knowledge proofs for Zeiger
• Gakmoro: an application of physical secure computation to card game
• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition

This page was built for publication: Physical zero-knowledge proof for Makaro

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