WEKO3
アイテム
ドッスンフワリに対する物理的カードを用いたゼロ知識証明プロトコル
https://ipsj.ixsq.nii.ac.jp/records/241015
https://ipsj.ixsq.nii.ac.jp/records/241015b69fbc29-7ee4-469e-8814-59412aa2ef8b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-CSS2024269.pdf (841.4 kB)
2026年10月15日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, CSEC:会員：¥0, SPT:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-10-15 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | ドッスンフワリに対する物理的カードを用いたゼロ知識証明プロトコル | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Card-based zero-knowledge proof protocols for Dosun-Fuwari | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ゼロ知識証明，カードベース暗号，ペンシルパズル，ドッスンフワリ | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 工学院大学 | ||||||||||
| 著者所属 | ||||||||||
| 工学院大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Kogakuin University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Kogakuin University | ||||||||||
| 著者名 |
佐山, 良博
× 佐山, 良博
× 真鍋, 義文
|
|||||||||
| 著者名(英) |
Yoshihiro, Sayama
× Yoshihiro, Sayama
× Yoshihumi, Manabe
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | ゼロ知識証明プロトコルは参加者が秘密に関する情報を一切明かすことなく，ある秘密の知識を証明することを可能にする．このようなプロトコルは通常コンピュータによって実行されるが，ゼロ知識証明プロトコルの物理的なインスタンスを提案する研究も存在する．現在までに数独のような紙と鉛筆で解くパズルの解に関する情報を与えることなく解を知っていることを証明する物理的カードを用いたゼロ知識証明プロトコルが数多く設計されている．本論文では，ニコリによるパズルの1つであるドッスンフワリに対する物理的カードを用いたゼロ知識証明プロトコルを2種類提案し，その効率を比較する．ドッスンフワリではいくつかのルールを守りながら白マスに風船と鉄球を配置しなければならない．このパズルのルールの1つは，風船は黒マスか風船のすぐ下のマスか盤面の一番上にしか入れられず，鉄球は黒マスか鉄球のすぐ上のマスか盤面の一番下にしか入れられないというものである． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Zero-knowledge proof protocols allow participants to prove knowledge of some secrets without revealing any information about those secrets. Such protocols are usually executed by computers, but some research proposes instances of zero-knowledge proof protocols using physical cards. To date, several zero-knowledge proof protocols have been designed that use physical cards to prove knowledge of the solution to a paper-and-pencil puzzle such as Sudoku without revealing any information about the solution. In this thesis, we propose two zero-knowledge proof protocols using physical cards for Dosun-Fuwari, one of Nikoli's puzzles, and compare their efficiency. Dosun-Fuwari is a puzzle in which the player must place balloons and iron balls in white squares while following several rules. One of the rules of this puzzle is that balloons can only be placed in the square immediately below the black square or balloon, or at the top of the board, and iron balls can only be placed in the square immediately above the black square or iron balls, or at the bottom of the board. | |||||||||
| 書誌情報 |
コンピュータセキュリティシンポジウム2024論文集 p. 2011-2017, 発行日 2024-10-15 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
