Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
From MaRDI portal
Publication:6571281
DOI10.1007/s10878-024-01170-6MaRDI QIDQ6571281
Publication date: 11 July 2024
Published in: Journal of Combinatorial Optimization (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- How to construct physical zero-knowledge proofs for puzzles with a ``single loop condition
- Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems
- 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
- Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
- The Knowledge Complexity of Interactive Proof Systems
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
- HIROIMONO Is NP-Complete
- Physical zero-knowledge proof for ripple effect
- Physical ZKP protocols for Nurimisaki and Kurodoko
- 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
- Physical zero-knowledge proof for Makaro
- An improved physical ZKP for nonogram and nonogram color
- How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku
- Foundations for actively secure card-based cryptography
- Card-based ZKP protocols for Takuzu and Juosan
- Physically verifying the first nonzero term in a sequence: physical ZKPs for ABC End View and Goishi Hiroi
- Physical zero-knowledge proofs for Five Cells
This page was built for publication: Verifying the first nonzero term: physical ZKPs for ABC end view, Goishi Hiroi, and Toichika
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6571281)