Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards

Raimu Isuzugawa, Daiki Miyahara, Takaaki Mizuki

研究成果: Conference contribution

抄録

Cryptarithmetic, also known as Verbal Arithmetic or Word Addition, is a popular pencil puzzle in which the aim is to deduce which letter corresponds to which numeral, given a mathematical equation in which each numeral (from 0 to 9) has been replaced with a unique letter. The most famous instance of this puzzle is probably “SEND + MORE = MONEY", whose solution is “9567 + 1085 = 10652", i.e., S = 9, E = 5, N = 6, D = 7, M = 1, O = 0, R = 8, and Y = 2. In this study, we construct a physical zero-knowledge proof protocol for a Cryptarithmetic puzzle: That is, our protocol enables a prover who knows a solution to the puzzle to convince a verifier that he/she knows the solution without revealing any information about it. The proposed protocol uses a physical deck of “dihedral cards,” which were developed by Shinagawa in 2019.

本文言語English
ホスト出版物のタイトルUnconventional Computation and Natural Computation - 19th International Conference, UCNC 2021, Proceedings
編集者Irina Kostitsyna, Pekka Orponen
出版社Springer Science and Business Media Deutschland GmbH
ページ51-67
ページ数17
ISBN(印刷版)9783030879921
DOI
出版ステータスPublished - 2021
イベント19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021 - Espoo, Finland
継続期間: 2021 10 182021 10 22

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12984 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Conference

Conference19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021
国/地域Finland
CityEspoo
Period21/10/1821/10/22

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル