講演名 2018-09-07
ZKBooプロトコルのAND/OR合成について
穴田 啓晃(長崎県立大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) ZKBooプロトコルはシグマプロトコルの一種であり,USENIX Security '16で発表された.発表以来,耐量子非対話ゼロ知識argumentシステムの構成要素としての可能性から注目されており,後続する研究がACM CCS 2017などの国際会議で発表されている.本技報ではそのプロトコルのAND/OR合成について検討した.
抄録(英) The ZKBoo protocol, which was presented at USENIX Security '16, is a kind of sigma-protocol. Since the presentation it is gathering attention because of its possibility as a building block of post-quantum non-interactive argument systems, and subsequent research results have been presented in international conferences such as ACM CCS 2017. In this technical report, we try to study the AND/OR composition of the ZKBoo protocols.
キーワード(和) シグマプロトコル / 対話証明 / 合成 / 耐量子
キーワード(英) sigma-protocol / interactive proof / composition / post-quantum
資料番号 ISEC2018-53
発行日 2018-08-31 (ISEC)

研究会情報
研究会 ISEC
開催期間 2018/9/7(から1日開催)
開催地(和) 機械振興会館
開催地(英) Kikai-Shinko-Kaikan Bldg.
テーマ(和) 一般
テーマ(英)
委員長氏名(和) 藤岡 淳(神奈川大)
委員長氏名(英) Atsushi Fujioka(Kanagawa Univ.)
副委員長氏名(和) 盛合 志帆(NICT) / 廣瀬 勝一(福井大)
副委員長氏名(英) Shiho Moriai(NICT) / Shoichi Hirose(Univerisity of Fukui)
幹事氏名(和) 大東 俊博(東海大) / 江村 恵太(NICT)
幹事氏名(英) Toshihiro Ohigashi(Tokai Univ.) / Keita Emura(NICT)
幹事補佐氏名(和) 面 和成(筑波大) / 須賀 祐治(インターネットイニシアティブ)
幹事補佐氏名(英) Kazumasa Omote(University of Tsukuba) / Yuuji Suga(IIJ)

講演論文情報詳細
申込み研究会 Technical Committee on Information Security
本文の言語 JPN
タイトル(和) ZKBooプロトコルのAND/OR合成について
サブタイトル(和)
タイトル(英) On AND/OR Composition of the ZKBoo Protocols
サブタイトル(和)
キーワード(1)(和/英) シグマプロトコル / sigma-protocol
キーワード(2)(和/英) 対話証明 / interactive proof
キーワード(3)(和/英) 合成 / composition
キーワード(4)(和/英) 耐量子 / post-quantum
第 1 著者 氏名(和/英) 穴田 啓晃 / Hiroaki Anada
第 1 著者 所属(和/英) 長崎県立大学(略称:長崎県立大)
University of Nagasaki(略称:U. Nagasaki)
発表年月日 2018-09-07
資料番号 ISEC2018-53
巻番号(vol) vol.118
号番号(no) ISEC-212
ページ範囲 pp.23-24(ISEC),
ページ数 2
発行日 2018-08-31 (ISEC)