Physical zero-knowledge proof for Ripple Effect
Ripple Effect is a logic puzzle where the player has to fill numbers into empty cells in a rectangular grid. The grid is divided into rooms, and each room must contain consecutive integers starting from 1 to its size. Also, if two cells in the same row or column contain the same number x, there must...
Saved in:
| Published in | Theoretical computer science Vol. 895; pp. 115 - 123 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier B.V
04.12.2021
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0304-3975 1879-2294 1879-2294 |
| DOI | 10.1016/j.tcs.2021.09.034 |
Cover
| Abstract | Ripple Effect is a logic puzzle where the player has to fill numbers into empty cells in a rectangular grid. The grid is divided into rooms, and each room must contain consecutive integers starting from 1 to its size. Also, if two cells in the same row or column contain the same number x, there must be a space of at least x cells separating the two cells. In this paper, we develop a physical zero-knowledge proof for the Ripple Effect puzzle using a deck of cards, which allows a prover to convince a verifier that he/she knows a solution without revealing it. In particular, given a secret number x and a list of numbers, our protocol can physically verify that x does not appear among the first x numbers in the list without revealing x or any number in the list. |
|---|---|
| AbstractList | Ripple Effect is a logic puzzle where the player has to fill numbers into empty cells in a rectangular grid. The grid is divided into rooms, and each room must contain consecutive integers starting from 1 to its size. Also, if two cells in the same row or column contain the same number x, there must be a space of at least x cells separating the two cells. In this paper, we develop a physical zero-knowledge proof for the Ripple Effect puzzle using a deck of cards, which allows a prover to convince a verifier that he/she knows a solution without revealing it. In particular, given a secret number x and a list of numbers, our protocol can physically verify that x does not appear among the first x numbers in the list without revealing x or any number in the list. |
| Author | Ruangwises, Suthee Itoh, Toshiya |
| Author_xml | – sequence: 1 givenname: Suthee orcidid: 0000-0002-2820-1301 surname: Ruangwises fullname: Ruangwises, Suthee email: ruangwises@gmail.com – sequence: 2 givenname: Toshiya surname: Itoh fullname: Itoh, Toshiya email: titoh@c.titech.ac.jp |
| BookMark | eNqNkM1KAzEUhYNUsK0-gLt5gZneJJOZBldS6g8UFNF1SJMbTR0nQzJa6tM7pa5cFM_mrL57-c6EjNrQIiGXFAoKtJptit6kggGjBcgCeHlCxnRey5wxWY7IGDiUOZe1OCOTlDYwRNTVmMwe33bJG91k3xhD_t6GbYP2FbMuhuAyF2L25LuuwWzpHJr-nJw63SS8-O0peblZPi_u8tXD7f3iepUbPi_7XFgE0I4aSS0DWBuBrkTkFkQFa8G1lnVVamYNRYZubhnVgmmzriXXlDo-Jexw97Pt9G6rm0Z10X_ouFMU1F5ZbdSgrPbKCqQalAeoPkAmhpQiOmV8r3sf2j5q3xwl6R_yP9-uDgwOO3x5jCoZj61B6-OwlLLBH6F_ALwHg3g |
| CitedBy_id | crossref_primary_10_1007_s00354_024_00271_4 crossref_primary_10_1007_s00354_024_00272_3 crossref_primary_10_3390_s22186805 crossref_primary_10_1007_s00354_022_00155_5 crossref_primary_10_1007_s00354_021_00146_y crossref_primary_10_1007_s00354_021_00148_w crossref_primary_10_1007_s10878_024_01170_6 crossref_primary_10_1007_s00354_024_00266_1 crossref_primary_10_26599_TST_2023_9010153 crossref_primary_10_1007_s00354_022_00164_4 crossref_primary_10_1587_transfun_2021DMP0006 crossref_primary_10_1016_j_tcs_2023_114071 crossref_primary_10_1007_s10878_023_01050_5 |
| Cites_doi | 10.1007/s00354-020-00114-y 10.1587/transfun.E102.A.1072 10.1007/s00224-008-9119-9 10.1007/s10207-019-00463-w 10.1587/transfun.E100.A.1900 10.1145/116825.116852 10.1016/j.tcs.2020.05.036 10.1137/0218012 10.1587/transfun.E101.A.1512 |
| ContentType | Journal Article |
| Copyright | 2021 Elsevier B.V. |
| Copyright_xml | – notice: 2021 Elsevier B.V. |
| DBID | AAYXX CITATION ADTOC UNPAY |
| DOI | 10.1016/j.tcs.2021.09.034 |
| DatabaseName | CrossRef Unpaywall for CDI: Periodical Content Unpaywall |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISSN | 1879-2294 |
| EndPage | 123 |
| ExternalDocumentID | 10.1016/j.tcs.2021.09.034 10_1016_j_tcs_2021_09_034 S0304397521005557 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 7-5 71M 8P~ 9JN AABNK AACTN AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO AAYFN ABAOU ABBOA ABJNI ABMAC ABYKQ ACAZW ACDAQ ACGFS ACRLP ACZNC ADBBV ADEZE AEBSH AEKER AENEX AFKWA AFTJW AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR AXJTR BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EO8 EO9 EP2 EP3 F5P FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 ROL RPZ SCC SDF SDG SES SPC SPCBC SSV SSW T5K TN5 WH7 YNT ZMT ~G- 29Q AAEDT AAQXK AATTM AAXKI AAYWO AAYXX ABDPE ABEFU ABFNM ABWVN ABXDB ACLOT ACNNM ACRPL ACVFH ADCNI ADMUD ADNMO ADVLN AEIPS AEUPX AEXQZ AFJKZ AFPUW AGHFR AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP ASPBG AVWKF AZFZN CITATION EFKBS EJD FGOYB G-2 HZ~ R2- SEW SSZ TAE WUQ XJT ZY4 ~HD ADTOC AGCQF UNPAY |
| ID | FETCH-LOGICAL-c384t-5de00af1c91d200bc5ef4ee3d0560b53aa9764a2dc1e2ef8d21a52acb793a11f3 |
| IEDL.DBID | .~1 |
| ISSN | 0304-3975 1879-2294 |
| IngestDate | Wed Aug 20 00:14:19 EDT 2025 Thu Oct 09 00:33:21 EDT 2025 Thu Apr 24 23:03:49 EDT 2025 Fri Feb 23 02:46:06 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Ripple effect Zero-knowledge proof Card-based cryptography Puzzle |
| Language | English |
| License | other-oa |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c384t-5de00af1c91d200bc5ef4ee3d0560b53aa9764a2dc1e2ef8d21a52acb793a11f3 |
| ORCID | 0000-0002-2820-1301 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://doi.org/10.1016/j.tcs.2021.09.034 |
| PageCount | 9 |
| ParticipantIDs | unpaywall_primary_10_1016_j_tcs_2021_09_034 crossref_citationtrail_10_1016_j_tcs_2021_09_034 crossref_primary_10_1016_j_tcs_2021_09_034 elsevier_sciencedirect_doi_10_1016_j_tcs_2021_09_034 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-12-04 |
| PublicationDateYYYYMMDD | 2021-12-04 |
| PublicationDate_xml | – month: 12 year: 2021 text: 2021-12-04 day: 04 |
| PublicationDecade | 2020 |
| PublicationTitle | Theoretical computer science |
| PublicationYear | 2021 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Ruangwises, Itoh (br0180) 2021; 39 Ruangwises, Itoh (br0200) 2021 Robert, Miyahara, Lafourcade, Mizuki (br0160) 2020 Gradwohl, Naor, Pinkas, Rothblum (br0070) 2009; 44 Miyahara, Sasaki, Mizuki, Sone (br0130) 2019; E102.A Ruangwises, Itoh (br0190) 2021 Takenaga, Aoyagi, Iwata, Kasai (br0230) 2013; 216 Ibaraki, More (br0090) 2016 Bultel, Dreier, Dumas, Lafourcade, Miyahara, Mizuki, Nagao, Sasaki, Shinagawa, Sone (br0020) 2018 Lafourcade, Miyahara, Mizuki, Sasaki, Sone (br0110) 2019 Shinagawa, Mizuki, Schuldt, Nuida, Kanayama, Nishide, Hanaoka, Okamoto (br0220) 2017; E100.A Ueda, Miyahara, Nishimura, Hayashi, Mizuki, Sone (br0240) 2020; 19 Chien, Hon (br0030) 2010 Robert, Miyahara, Lafourcade, Mizuki (br0150) 2021 Ruangwises (br0170) 2021 Goldreich, Micali, Wigderson (br0050) 1991; 38 Goldwasser, Micali, Rackoff (br0060) 1989; 18 Miyahara, Robert, Lafourcade, Takeshige, Mizuki, Shinagawa, Nagao, Sone (br0120) 2020 Ishikawa, Chida, Mizuki (br0100) 2015 br0140 Bultel, Dreier, Dumas, Lafourcade (br0010) 2016 Dumas, Lafourcade, Miyahara, Mizuki, Sasaki, Sone (br0040) 2019 Hashimoto, Shinagawa, Nuida, Inamura, Hanaoka (br0080) 2018; 101.A Sasaki, Miyahara, Mizuki, Sone (br0210) 2020; 839 Robert (10.1016/j.tcs.2021.09.034_br0160) 2020 Ruangwises (10.1016/j.tcs.2021.09.034_br0180) 2021; 39 Goldreich (10.1016/j.tcs.2021.09.034_br0050) 1991; 38 Lafourcade (10.1016/j.tcs.2021.09.034_br0110) 2019 Robert (10.1016/j.tcs.2021.09.034_br0150) 2021 Bultel (10.1016/j.tcs.2021.09.034_br0020) 2018 Ueda (10.1016/j.tcs.2021.09.034_br0240) 2020; 19 Miyahara (10.1016/j.tcs.2021.09.034_br0120) 2020 Dumas (10.1016/j.tcs.2021.09.034_br0040) 2019 Sasaki (10.1016/j.tcs.2021.09.034_br0210) 2020; 839 Chien (10.1016/j.tcs.2021.09.034_br0030) 2010 Miyahara (10.1016/j.tcs.2021.09.034_br0130) 2019; E102.A Ishikawa (10.1016/j.tcs.2021.09.034_br0100) 2015 Goldwasser (10.1016/j.tcs.2021.09.034_br0060) 1989; 18 Ibaraki (10.1016/j.tcs.2021.09.034_br0090) 2016 Takenaga (10.1016/j.tcs.2021.09.034_br0230) 2013; 216 Gradwohl (10.1016/j.tcs.2021.09.034_br0070) 2009; 44 Hashimoto (10.1016/j.tcs.2021.09.034_br0080) 2018; 101.A Ruangwises (10.1016/j.tcs.2021.09.034_br0170) 2021 Ruangwises (10.1016/j.tcs.2021.09.034_br0190) 2021 Bultel (10.1016/j.tcs.2021.09.034_br0010) 2016 Ruangwises (10.1016/j.tcs.2021.09.034_br0200) 2021 Shinagawa (10.1016/j.tcs.2021.09.034_br0220) 2017; E100.A |
| References_xml | – volume: 18 start-page: 186 year: 1989 end-page: 208 ident: br0060 article-title: The knowledge complexity of interactive proof systems publication-title: SIAM J. Comput. – start-page: 296 year: 2021 end-page: 307 ident: br0190 article-title: Physical zero-knowledge proof for Ripple Effect publication-title: Proceedings of the 15th International Conference and Workshops on Algorithms and Computation (WALCOM) – start-page: 166 year: 2019 end-page: 177 ident: br0040 article-title: Interactive physical zero-knowledge proof for Norinori publication-title: Proceedings of the 25th International Computing and Combinatorics Conference (COCOON) – start-page: 373 year: 2021 end-page: 384 ident: br0150 article-title: Interactive physical ZKP for connectivity: applications to nurikabe and hitori publication-title: Proceedings of the 17th Conference on Computability in Europe (CiE) – start-page: 215 year: 2015 end-page: 226 ident: br0100 article-title: Efficient card-based protocols for generating a hidden random permutation without fixed points publication-title: Proceedings of the 14th International Conference on Unconventional Computation and Natural Computation (UCNC) – start-page: 8:1 year: 2016 end-page: 8:20 ident: br0010 article-title: Physical zero-knowledge proofs for akari, takuzu, kakuro and KenKen publication-title: Proceedings of the 8th International Conference on Fun with Algorithms (FUN) – start-page: 20:1 year: 2020 end-page: 20:21 ident: br0120 article-title: Card-based ZKP protocols for Takuzu and Juosan publication-title: Proceedings of the 10th International Conference on Fun with Algorithms (FUN) – volume: 19 start-page: 445 year: 2020 end-page: 452 ident: br0240 article-title: Secure implementations of a random bisection cut publication-title: Int. J. Inf. Secur. – start-page: 235 year: 2020 end-page: 247 ident: br0160 article-title: Physical zero-knowledge proof for Suguru puzzle publication-title: Proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) – year: 2021 ident: br0200 article-title: Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems publication-title: Proceedings of the 19th International Conference on Unconventional Computation and Natural Computation – start-page: 252 year: 2016 end-page: 257 ident: br0090 article-title: Efficient card-based protocol for generating a random permutation without fixed points publication-title: Proceedings of the 3rd International Conference on Mathematics and Computers in Sciences and Industry (MCSI) – volume: E100.A start-page: 1900 year: 2017 end-page: 1909 ident: br0220 article-title: Card-based protocols using regular polygon cards publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. – volume: E102.A start-page: 1072 year: 2019 end-page: 1078 ident: br0130 article-title: Card-based physical zero-knowledge proof for Kakuro publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. – ident: br0140 article-title: Nikoli: Ripple effect – start-page: 111 year: 2018 end-page: 125 ident: br0020 article-title: Physical zero-knowledge proof for Makaro publication-title: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) – volume: 44 start-page: 245 year: 2009 end-page: 268 ident: br0070 article-title: Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles publication-title: Theory Comput. Syst. – year: 2021 ident: br0170 article-title: Two standard decks of playing cards are sufficient for a ZKP for Sudoku publication-title: Proceedings of the 27th International Computing and Combinatorics Conference – volume: 839 start-page: 135 year: 2020 end-page: 142 ident: br0210 article-title: Efficient card-based zero-knowledge proof for Sudoku publication-title: Theor. Comput. Sci. – start-page: 102 year: 2010 end-page: 112 ident: br0030 article-title: Cryptographic and physical zero-knowledge proof: from Sudoku to nonogram publication-title: Proceedings of the 5th International Conference on Fun with Algorithms (FUN) – volume: 216 start-page: 119 year: 2013 end-page: 127 ident: br0230 article-title: Shikaku and ripple effect are NP-complete publication-title: Congr. Numer. – volume: 101.A start-page: 1512 year: 2018 end-page: 1524 ident: br0080 article-title: Secure grouping protocol using a deck of cards publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. – volume: 39 start-page: 3 year: 2021 end-page: 17 ident: br0180 article-title: Physical zero-knowledge proof for Numberlink puzzle and publication-title: New Gener. Comput. – start-page: 135 year: 2019 end-page: 151 ident: br0110 article-title: A physical ZKP for slitherlink: how to perform physical topology-preserving computation publication-title: Proceedings of the 15th International Conference on Information Security Practice and Experience (ISPEC) – volume: 38 start-page: 691 year: 1991 end-page: 729 ident: br0050 article-title: Proofs that yield nothing but their validity and a methodology of cryptographic protocol design publication-title: J. ACM – year: 2021 ident: 10.1016/j.tcs.2021.09.034_br0170 article-title: Two standard decks of playing cards are sufficient for a ZKP for Sudoku – start-page: 215 year: 2015 ident: 10.1016/j.tcs.2021.09.034_br0100 article-title: Efficient card-based protocols for generating a hidden random permutation without fixed points – volume: 39 start-page: 3 issue: 1 year: 2021 ident: 10.1016/j.tcs.2021.09.034_br0180 article-title: Physical zero-knowledge proof for Numberlink puzzle and k vertex-disjoint paths problem publication-title: New Gener. Comput. doi: 10.1007/s00354-020-00114-y – year: 2021 ident: 10.1016/j.tcs.2021.09.034_br0200 article-title: Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems – volume: E102.A start-page: 1072 issue: 9 year: 2019 ident: 10.1016/j.tcs.2021.09.034_br0130 article-title: Card-based physical zero-knowledge proof for Kakuro publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. doi: 10.1587/transfun.E102.A.1072 – start-page: 111 year: 2018 ident: 10.1016/j.tcs.2021.09.034_br0020 article-title: Physical zero-knowledge proof for Makaro – start-page: 235 year: 2020 ident: 10.1016/j.tcs.2021.09.034_br0160 article-title: Physical zero-knowledge proof for Suguru puzzle – start-page: 252 year: 2016 ident: 10.1016/j.tcs.2021.09.034_br0090 article-title: Efficient card-based protocol for generating a random permutation without fixed points – start-page: 20:1 year: 2020 ident: 10.1016/j.tcs.2021.09.034_br0120 article-title: Card-based ZKP protocols for Takuzu and Juosan – start-page: 373 year: 2021 ident: 10.1016/j.tcs.2021.09.034_br0150 article-title: Interactive physical ZKP for connectivity: applications to nurikabe and hitori – start-page: 102 year: 2010 ident: 10.1016/j.tcs.2021.09.034_br0030 article-title: Cryptographic and physical zero-knowledge proof: from Sudoku to nonogram – start-page: 166 year: 2019 ident: 10.1016/j.tcs.2021.09.034_br0040 article-title: Interactive physical zero-knowledge proof for Norinori – volume: 44 start-page: 245 issue: 2 year: 2009 ident: 10.1016/j.tcs.2021.09.034_br0070 article-title: Cryptographic and physical zero-knowledge proof systems for solutions of Sudoku puzzles publication-title: Theory Comput. Syst. doi: 10.1007/s00224-008-9119-9 – start-page: 8:1 year: 2016 ident: 10.1016/j.tcs.2021.09.034_br0010 article-title: Physical zero-knowledge proofs for akari, takuzu, kakuro and KenKen – volume: 19 start-page: 445 issue: 4 year: 2020 ident: 10.1016/j.tcs.2021.09.034_br0240 article-title: Secure implementations of a random bisection cut publication-title: Int. J. Inf. Secur. doi: 10.1007/s10207-019-00463-w – volume: E100.A start-page: 1900 issue: 9 year: 2017 ident: 10.1016/j.tcs.2021.09.034_br0220 article-title: Card-based protocols using regular polygon cards publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. doi: 10.1587/transfun.E100.A.1900 – volume: 38 start-page: 691 issue: 3 year: 1991 ident: 10.1016/j.tcs.2021.09.034_br0050 article-title: Proofs that yield nothing but their validity and a methodology of cryptographic protocol design publication-title: J. ACM doi: 10.1145/116825.116852 – start-page: 135 year: 2019 ident: 10.1016/j.tcs.2021.09.034_br0110 article-title: A physical ZKP for slitherlink: how to perform physical topology-preserving computation – start-page: 296 year: 2021 ident: 10.1016/j.tcs.2021.09.034_br0190 article-title: Physical zero-knowledge proof for Ripple Effect – volume: 839 start-page: 135 year: 2020 ident: 10.1016/j.tcs.2021.09.034_br0210 article-title: Efficient card-based zero-knowledge proof for Sudoku publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2020.05.036 – volume: 18 start-page: 186 issue: 1 year: 1989 ident: 10.1016/j.tcs.2021.09.034_br0060 article-title: The knowledge complexity of interactive proof systems publication-title: SIAM J. Comput. doi: 10.1137/0218012 – volume: 101.A start-page: 1512 issue: 9 year: 2018 ident: 10.1016/j.tcs.2021.09.034_br0080 article-title: Secure grouping protocol using a deck of cards publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. doi: 10.1587/transfun.E101.A.1512 – volume: 216 start-page: 119 year: 2013 ident: 10.1016/j.tcs.2021.09.034_br0230 article-title: Shikaku and ripple effect are NP-complete publication-title: Congr. Numer. |
| SSID | ssj0000576 |
| Score | 2.515281 |
| Snippet | Ripple Effect is a logic puzzle where the player has to fill numbers into empty cells in a rectangular grid. The grid is divided into rooms, and each room must... |
| SourceID | unpaywall crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 115 |
| SubjectTerms | Card-based cryptography Puzzle Ripple effect Zero-knowledge proof |
| SummonAdditionalLinks | – databaseName: Unpaywall dbid: UNPAY link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA66HdSD06k4f5GDJyWzSZNuOQ5xiLAxxME8lSRNQR3d2DrE_fUmbVpUdOqxkLThvTzel74v3wPg3CMKC-xLZPMNoq0gQkL5HGHWDlox45RTe8G51w9uh_RuxEZOLNrehflUv894WKmyqtoE53KkdB1UA2ZgdwVUh_1B5zGvElBk8qqlK9rm2YgQTosK5nfv-CkHbSySqXh7FePxhxzTreXsrHkmTWipJS_NRSqbavlFuPFPy98B2w5pwk6-NXbBmk7qoFZ0cYAuqOtgq1cqt873wNXAOQ4u9WyCyl9u0CxqEkMDceH9k0GuGua6x_tg2L15uL5FrqkCUn6bpohF2vNEjBXHkYkQqZiOqdZ-ZJCQJ5kvhAEoVJBIYU103I4IFowIJU0gC4xj_wBUkkmiDwEUgmbHEyIDRbnm5ugT80gGViJHmtTYAF5h5lA5xXHb-GIcFtSy59CYJ7TmCT0eGvM0wEU5ZZrLbawaTAvfhQ4v5DggNG5YNe2y9PPvHzn61-hjsGmfMr4LPQGVdLbQpwa1pPLM7dd3LhvjCA priority: 102 providerName: Unpaywall |
| Title | Physical zero-knowledge proof for Ripple Effect |
| URI | https://dx.doi.org/10.1016/j.tcs.2021.09.034 https://doi.org/10.1016/j.tcs.2021.09.034 |
| UnpaywallVersion | publishedVersion |
| Volume | 895 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Baden-Württemberg Complete Freedom Collection (Elsevier) customDbUrl: eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 1879-2294 databaseCode: GBLVA dateStart: 20110101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Complete Freedom Collection [SCCMFC] customDbUrl: eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 1879-2294 databaseCode: ACRLP dateStart: 20211104 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect customDbUrl: eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 1879-2294 databaseCode: AIKHN dateStart: 20211104 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect (Elsevier) customDbUrl: eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 1879-2294 databaseCode: .~1 dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 1879-2294 databaseCode: AKRWK dateStart: 19750601 isFulltext: true providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFH-MeVAPfkzF-UUPnpS4pk269TiGYyobQx3MU0jTFCajG7ND9ODf7ku_1IMTPJWWhJT3kvd-yXv5PYBz21FUUjcgxt8Q1vRCIpXrE8pbXjPiPvOZueDcH3i9Ebsd83EFOsVdGJNWmdv-zKan1jr_0sil2ZhPJo0HE9RDb4r-xxBJcXOjnLGmqWJw9fGV5oF4JItXmggAti4im2mOV6IMY7dDM6pT9ptvWl_Gc_n2KqfTb76nuwNbOWi02tl_7UJFxzXYLgoyWPn6rMFmvyRhfdmDxjDXgfWuFzNSnp5ZaDRnkYVo1bqfIAjVVkZhvA-j7vVjp0fy-ghEuS2WEB5q25YRVT4NcbIHiuuIae2GCGrsgLtSItZg0gkV1Y6OWqFDJXekCnBNSkoj9wCq8SzWh2BJydKdhhN4ivnax11M5IeBZ9huAvRydbALyQiVk4ebGhZTUWSJPQsUpjDCFLYvUJh1uCi7zDPmjFWNWSFu8UP9Ai37qm6XpWr-HuTof4Mcw4Z5S3NY2AlUk8VSnyISSYKzdKqdwVr75q43wOdoMGw_fQIMutwa |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLZgHAYHHgPEePbACVTWtEm7HtHENGCbEGzSblGaptLQ1E2jE4IDvx2nL-DAkLi2iVLZif25dj4DnFu2JII4gan9jUk9NzSFdHyTsKbrRcynPtUXnHt9tzOkdyM2WoFWcRdGl1Xmtj-z6am1zp80cmk2ZuNx40kn9dCbov_RRFLMW4U1ymxPR2BXH191HghIsoSlTgHg8CK1mRZ5JVJTdtsk4zqlvzmn6iKeibdXMZl8cz7tbdjMUaNxnX3YDqyouAZbRUcGIz-gNdjolSysL7vQeMiVYLyr-dQsf58ZaDWnkYFw1XgcIwpVRsZhvAfD9s2g1THzBgmmdJo0MVmoLEtERPokxN0eSKYiqpQTIqqxAuYIgWCDCjuURNkqaoY2EcwWMsBDKQiJnH2oxNNYHYAhBE1DDTtwJfWVj2FM5IeBq-luAnRzdbAKyXCZs4frJhYTXpSJPXMUJtfC5JbPUZh1uCinzDLqjGWDaSFu_kP_HE37smmXpWr-XuTwf4ucQbUz6HV597Z_fwTr-k1a0EKPoZLMF-oEYUkSnKbb7hNj_tv_ |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA66HdSD06k4f5GDJyWzSZNuOQ5xiLAxxME8lSRNQR3d2DrE_fUmbVpUdOqxkLThvTzel74v3wPg3CMKC-xLZPMNoq0gQkL5HGHWDlox45RTe8G51w9uh_RuxEZOLNrehflUv894WKmyqtoE53KkdB1UA2ZgdwVUh_1B5zGvElBk8qqlK9rm2YgQTosK5nfv-CkHbSySqXh7FePxhxzTreXsrHkmTWipJS_NRSqbavlFuPFPy98B2w5pwk6-NXbBmk7qoFZ0cYAuqOtgq1cqt873wNXAOQ4u9WyCyl9u0CxqEkMDceH9k0GuGua6x_tg2L15uL5FrqkCUn6bpohF2vNEjBXHkYkQqZiOqdZ-ZJCQJ5kvhAEoVJBIYU103I4IFowIJU0gC4xj_wBUkkmiDwEUgmbHEyIDRbnm5ugT80gGViJHmtTYAF5h5lA5xXHb-GIcFtSy59CYJ7TmCT0eGvM0wEU5ZZrLbawaTAvfhQ4v5DggNG5YNe2y9PPvHzn61-hjsGmfMr4LPQGVdLbQpwa1pPLM7dd3LhvjCA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Physical+zero-knowledge+proof+for+Ripple+Effect&rft.jtitle=Theoretical+computer+science&rft.au=Ruangwises%2C+Suthee&rft.au=Itoh%2C+Toshiya&rft.date=2021-12-04&rft.issn=0304-3975&rft.volume=895&rft.spage=115&rft.epage=123&rft_id=info:doi/10.1016%2Fj.tcs.2021.09.034&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_tcs_2021_09_034 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |