Physical zero-knowledge proof for Makaro
From MaRDI portal
Publication:6165831
DOI10.1007/978-3-030-03232-6_8zbMath1519.68103OpenAlexW2898000104MaRDI QIDQ6165831
Takaaki Mizuki, Daiki Miyahara, Jean-Guillaume Dumas, Pascal Lafourcade, Hideaki Sone, Kazumasa Shinagawa, Xavier Bultel, Jannik Dreier, Tatsuya Sasaki, Atsuki Nagao
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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Games involving topology, set theory, or logic (91A44) Cryptography (94A60)
Related Items
Card-based cryptographic protocols with a standard deck of cards using private operations ⋮ How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition ⋮ 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 ⋮ Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle ⋮ 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 ⋮ Efficient card-based zero-knowledge proof for Sudoku ⋮ Card-based ZKP protocol for Nurimisaki ⋮ An improved physical ZKP for nonogram and nonogram color ⋮ 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 ⋮ Card-based cryptographic protocols for three-input functions using private operations ⋮ Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
