Skip to main content
SpringerLink
Log in

Verifying the first nonzero term: physical ZKPs for ABC End View, Goishi Hiroi, and Toichika

  • Published:
Journal of Combinatorial Optimization Aims and scope Submit manuscript

Abstract

In this paper, we propose a physical protocol to verify the first nonzero term of a sequence using a deck of cards. The protocol lets a prover show the value of the first nonzero term of a given sequence to a verifier without revealing which term it is. Our protocol uses \(\varTheta (1)\) shuffles, which is asymptotically lower than that of an existing protocol of Fukusawa and Manabe which uses \(\varTheta (n)\) shuffles, where n is the length of the sequence. We also apply our protocol to construct zero-knowledge proof protocols for three well-known logic puzzles: ABC End View, Goishi Hiroi, and Toichika. These protocols enable a prover to physically show that he/she know solutions of the puzzles without revealing them.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7

Similar content being viewed by others

Data availability

No data was used for this research.

References

  • Andersson D (2007) HIROIMONO is NP-complete. In: Proceedings of the 4th international conference on fun with algorithms (FUN), pp 30–39

  • Bultel X, Dreier J, Dumas J-G, Lafourcade P (2016) Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen. In: Proceedings of the 8th international conference on fun with algorithms (FUN), pp 8:1–8:20

  • Bultel X, Dreier J, Dumas J-G, Lafourcade P, Miyahara D, Mizuki T, Nagao A, Sasaki T, Shinagawa K, Sone H (2018) Physical zero-knowledge proof for Makaro. In: Proceedings of the 20th international symposium on stabilization, safety, and security of distributed systems (SSS), pp 111–125

  • Chien Y-F, Hon W-K (2010) Cryptographic and physical zero-knowledge proof: from sudoku to nonogram. In: Proceedings of the 5th international conference on fun with algorithms (FUN), pp 102–112

  • Dumas J-G, Lafourcade P, Miyahara D, Mizuki T, Sasaki T, Sone H (2019) Interactive physical zero-knowledge proof for Norinori. In: Proceedings of the 25th international computing and combinatorics conference (COCOON), pp 166–177

  • Fukusawa T, Manabe Y (2022) Card-based zero-knowledge proof for the nearest neighbor property: zero-knowledge proof of ABC End View. In: Proceedings of the 12th international conference on security, privacy and applied cryptographic engineering (SPACE), pp 147–161

  • Goldreich O, Micali S, Wigderson A (1991) Proofs that yield nothing but their validity and a methodology of cryptographic protocol design. J ACM 38(3):691–729

    Article  Google Scholar 

  • Goldwasser S, Micali S, Rackoff C (1989) The knowledge complexity of interactive proof systems. SIAM J Comput 18(1):186–208

    Article  MathSciNet  Google Scholar 

  • Gradwohl R, Naor M, Pinkas B, Rothblum GN (2009) Cryptographic and physical zero-knowledge proof systems for solutions of sudoku puzzles. Theory Comput Syst 44(2):245–268

    Article  MathSciNet  Google Scholar 

  • Hand S, Koch A, Lafourcade P, Miyahara D, Robert L (2023) Check alternating patterns: a physical zero-knowledge proof for moon-or-sun. In: Proceedings of the 18th international workshop on security (IWSEC), pp 255–272

  • Hatsugai K, Asano K, Abe Y (2023) A physical Zero-knowledge proof for sumplete, a puzzle generated by ChatGPT. In: Proceedings of the 29th international computing and combinatorics conference (COCOON), in press

  • Koch A, Walzer S (2020) Foundations for actively secure card-based cryptography. In: Proceedings of the 10th international conference on fun with algorithms (FUN), pp 17:1–17:23

  • Lafourcade P, Miyahara D, Mizuki T, Robert L, Sasaki T, Sone H (2021) How to construct physical zero-knowledge proofs for puzzles with a “single loop’’ condition. Theoret Comput Sci 888:41–55

    Article  MathSciNet  Google Scholar 

  • Miyahara D, Robert L, Lafourcade P, Takeshige S, Mizuki T, Shinagawa K, Nagao A, Sone H (2020) Card-based ZKP protocols for Takuzu and Juosan. In: Proceedings of the 10th international conference on fun with algorithms (FUN), pp 20:1–20:21

  • Miyahara D, Sasaki T, Mizuki T, Sone H (2019) Card-based physical zero-knowledge proof for kakuro. IEICE Trans Fundam E102A(9):1072–1078

    Article  Google Scholar 

  • Nikoli (2001) Goishi Hiroi. https://www.nikoli.co.jp/ja/puzzles/goishi_hiroi/

  • Robert L, Miyahara D, Lafourcade P, Libralesso L, Mizuki T (2022) Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Inf Comput 285(B):104858

    Article  MathSciNet  Google Scholar 

  • Robert L, Miyahara D, Lafourcade P, Mizuki T (2022) Card-based ZKP for connectivity: applications to Nurikabe, Hitori, and Heyawake. N Gener Comput 40(1):149–171

    Article  Google Scholar 

  • Robert L, Miyahara D, Lafourcade P, Mizuki T (2022) Hide a liar: card-based ZKP protocol for Usowan. In: Proceedings of the 17th annual conference on theory and applications of models of computation (TAMC), pp 201–217

  • Robert L, Miyahara D, Lafourcade P, Mizuki T (2023) Physical ZKP protocols for Nurimisaki and Kurodoko. Theoret Comput Sci 972:114071

    Article  MathSciNet  Google Scholar 

  • Ruangwises S (2023) An improved physical ZKP for nonogram and nonogram color. J Comb Optim 45(5):122

    Article  MathSciNet  Google Scholar 

  • Ruangwises S (2023) Physical zero-knowledge proof for ball sort puzzle. In: Proceedings of the 19th conference on computability in Europe (CiE), pp 246–257

  • Ruangwises S (2023) Physical zero-knowledge proofs for five cells. In: Proceedings of the 8th international conference on cryptology and information security in Latin America (LATINCRYPT), pp 315–330

  • Ruangwises S (2023) Physically verifying the first nonzero term in a sequence: physical ZKPs for ABC End View and Goishi Hiroi. In: Proceedings of the 17th conference on frontiers of algorithmic wisdom (FAW), pp 171–183

  • Ruangwises S (2023) Toichika is NP-complete. In: Proceedings of the 25th Indonesia–Japan conference on discrete and computational geometry, graphs, and games (IJCDC\(\text{G}^3\)), p 96

  • Ruangwises S (2022) Two standard decks of playing cards are sufficient for a ZKP for Sudoku. N Gener Comput 40(1):49–65

    Article  Google Scholar 

  • Ruangwises S, Itoh T (2022) How to physically verify a rectangle in a grid: a physical ZKP for Shikaku. In: Proceedings of the 11th international conference on fun with algorithms (FUN), pp 24:1–24:12

  • Ruangwises S, Itoh T (2021) Physical zero-knowledge proof for Numberlink puzzle and \(k\) vertex-disjoint paths problem. N Gener Comput 39(1):3–17

    Article  Google Scholar 

  • Ruangwises S, Itoh T (2021) Physical zero-knowledge proof for ripple effect. Theoret Comput Sci 895:115–123

    Article  MathSciNet  Google Scholar 

  • Ruangwises S, Itoh T (2021) Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems. In: Proceedings of the 19th international conference on unconventional computation and natural computation (UCNC), pp 149–163

  • Ruangwises S, Itoh T (2022) Physical ZKP for Makaro using a standard deck of cards. In: Proceedings of the 17th annual conference on theory and applications of models of computation (TAMC), pp 43–54

  • Sasaki T, Miyahara D, Mizuki T, Sone H (2020) Efficient card-based zero-knowledge proof for Sudoku. Theoret Comput Sci 839:135–142

    Article  MathSciNet  Google Scholar 

  • Shinagawa K, Mizuki T, Schuldt JCN, Nuida K, Kanayama N, Nishide T, Hanaoka G, Okamoto E (2017) Card-based protocols using regular polygon cards. IEICE Trans Fundam E100(A9):1900–1909

    Article  Google Scholar 

  • Ueda I, Miyahara D, Nishimura A, Hayashi Y, Mizuki T, Sone H (2020) Secure implementations of a random bisection cut. Int J Inf Secur 19(4):445–452

    Article  Google Scholar 

Download references

Acknowledgements

The author would like to thank Daiki Miyahara and Kyosuke Hatsugai for a valuable discussion on this research.

Funding

The author declares that no funds, grants, or other support were received during the preparation of this paper.

Author information

Authors and Affiliations

  1. Department of Informatics, The University of Electro-Communications, Tokyo, Japan

    Suthee Ruangwises

Authors
  1. Suthee Ruangwises
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Suthee Ruangwises.

Ethics declarations

Conflict of interest

The author has no relevant financial or non-financial interests to disclose.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

A preliminary version of this paper (Ruangwises 2023) has appeared at FAW 2023.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ruangwises, S. Verifying the first nonzero term: physical ZKPs for ABC End View, Goishi Hiroi, and Toichika. J Comb Optim 47, 69 (2024). https://doi.org/10.1007/s10878-024-01170-6

Download citation

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10878-024-01170-6

Keywords

Search

Navigation