Zero-knowledge proof protocol for cryptarithmetic using dihedral cards

DOI10.1007/978-3-030-87993-8_4OpenAlexW3205049265MaRDI QIDQ2152086

Daiki Miyahara, Takaaki Mizuki, Raimu Isuzugawa

Publication date: 6 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-87993-8_4

zbMATH Keywords

card-based cryptographyphysical zero-knowledge proofcryptarithmeticdihedral cards

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum algorithms and complexity in the theory of computing (68Q12) Other nonclassical models of computation (68Q09) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (6)

Physical ZKP protocols for Nurimisaki and Kurodoko ⋮ Card-minimal protocols for three-input functions with standard playing cards ⋮ Physical zero-knowledge proof protocol for Topswops ⋮ Hide a liar: card-based ZKP protocol for Usowan ⋮ Single-shuffle card-based protocol with eight cards per gate ⋮ Card-based ZKP protocol for Nurimisaki

Cites Work

• Unnamed Item
• How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
• Enumeration of cryptarithms using deterministic finite automata
• Analyzing execution time of card-based protocols
• Card-based cryptographic protocols for three-input functions using private operations
• 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
• A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
• 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
• Card-based cryptography with invisible ink
• Efficient Card-Based Protocols for Generating a Hidden Random Permutation Without Fixed Points
• Card-Based Zero-Knowledge Proof for Sudoku
• The Knowledge Complexity of Interactive Proof Systems
• Voting with a Logarithmic Number of Cards
• Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
• Physical zero-knowledge proof for ripple effect
• Physical zero-knowledge proof for Makaro

This page was built for publication: Zero-knowledge proof protocol for cryptarithmetic using dihedral cards