講演名 | 2018-05-16 カックロに対する物理的ゼロ知識証明の効率化 宮原 大輝(東北大), 佐々木 達也(東北大), 水木 敬明(東北大), 曽根 秀昭(東北大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | カックロは,空きマスを1 から9 までの数字で埋めていく論理パズルの一種である.ただし,横(縦)に連続する数字の和は斜めに仕切られたマスに書かれている数字に一致させる必要があり,連続する空きマスに同じ数字を埋めてはならない.このカックロに対する物理的ゼロ知識証明が2016 年にBultel, Dreier, Dumas, Lafourcade によって初めて提案されたが,彼らのプロトコルは健全性エラーが発生するため,それが無視できる確率となるまでプロトコルを繰り返す必要があった.本稿では,健全性エラーが発生しないカックロに対するカードベースのゼロ知識証明プロトコルを提案する. |
抄録(英) | |
キーワード(和) | カードベースプロトコル / 物理的ゼロ知識証明 / カックロ |
キーワード(英) | |
資料番号 | ISEC2018-3 |
発行日 | 2018-05-09 (ISEC) |
研究会情報 | |
研究会 | ISEC |
---|---|
開催期間 | 2018/5/16(から1日開催) |
開催地(和) | 東京工業大学 大岡山キャンパス |
開催地(英) | Ookayama Campus, Tokyo Institute of Technology |
テーマ(和) | 一般 |
テーマ(英) | |
委員長氏名(和) | 小川 一人(NHK) |
委員長氏名(英) | Kazuto Ogawa(NHK) |
副委員長氏名(和) | 藤岡 淳(神奈川大) / 盛合 志帆(NICT) |
副委員長氏名(英) | Atsushi Fujioka(Kanagawa Univ.) / Shiho Moriai(NICT) |
幹事氏名(和) | 水木 敬明(東北大) / 大東 俊博(東海大) |
幹事氏名(英) | Takaaki Mizuki(Tohoku Univ.) / Toshihiro Ohigashi(Tokai Univ.) |
幹事補佐氏名(和) | 江村 恵太(NICT) / 駒野 雄一(東芝) / 須賀 祐治(インターネットイニシアティブ) |
幹事補佐氏名(英) | Keita Emura(NICT) / Yuichi Komano(TOSHIBA) / Yuuji Suga(IIJ) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Information Security |
---|---|
本文の言語 | JPN |
タイトル(和) | カックロに対する物理的ゼロ知識証明の効率化 |
サブタイトル(和) | |
タイトル(英) | Improvements on Physical Zero-knowledge Proof for Kakuro |
サブタイトル(和) | |
キーワード(1)(和/英) | カードベースプロトコル |
キーワード(2)(和/英) | 物理的ゼロ知識証明 |
キーワード(3)(和/英) | カックロ |
第 1 著者 氏名(和/英) | 宮原 大輝 / Daiki Miyahara |
第 1 著者 所属(和/英) | 東北大学(略称:東北大) Tohoku University(略称:Tohoku Univ.) |
第 2 著者 氏名(和/英) | 佐々木 達也 / Tatsuya Sasaki |
第 2 著者 所属(和/英) | 東北大学(略称:東北大) Tohoku University(略称:Tohoku Univ.) |
第 3 著者 氏名(和/英) | 水木 敬明 / Takaaki Mizuki |
第 3 著者 所属(和/英) | 東北大学(略称:東北大) Tohoku University(略称:Tohoku Univ.) |
第 4 著者 氏名(和/英) | 曽根 秀昭 / Hideaki Sone |
第 4 著者 所属(和/英) | 東北大学(略称:東北大) Tohoku University(略称:Tohoku Univ.) |
発表年月日 | 2018-05-16 |
資料番号 | ISEC2018-3 |
巻番号(vol) | vol.118 |
号番号(no) | ISEC-30 |
ページ範囲 | pp.17-23(ISEC), |
ページ数 | 7 |
発行日 | 2018-05-09 (ISEC) |