特許
J-GLOBAL ID：201403032075864862
証明装置、出力装置、検証装置、入力装置、証明方法、検証方法およびプログラム
発明者：
,
,
出願人/特許権者：
代理人 (2件)：
酒井 宏明
, 宮田 英毅
公報種別：公開公報
出願番号（国際出願番号）：特願2013-098817
公開番号（公開出願番号）：特開2014-220661
出願日： 2013年05月08日
公開日（公表日）： 2014年11月20日
要約：
【課題】準同型暗号処理により平文を暗号化した対象暗号文が正当であることを、簡易に証明する。【解決手段】実施形態の証明装置は、コミットメント生成部と、レスポンス生成部と、を備える。コミットメント生成部は、ランダムに選択された検証値からコミットメント文を生成して、対象暗号文が正当であることを検証する検証装置へと送信する。レスポンス生成部は、取得したチャレンジ値と平文と検証値とを合成したレスポンス値を生成して、検証装置へと送信する。レスポンス生成部は、レスポンス値を用いた第一の演算の結果が、チャレンジ値と対象暗号文とコミットメント文とを第二の演算で処理した結果と同一となる第三の演算により、レスポンス値を生成する。【選択図】図2
請求項（抜粋）：
準同型暗号処理により平文を暗号化した対象暗号文が正当であることを証明する証明装置であって、
ランダムに選択された検証値からコミットメント文を生成して、前記対象暗号文が正当であることを検証する検証装置へと送信するコミットメント生成部と、
取得したチャレンジ値と前記平文と前記検証値とを合成したレスポンス値を生成して、前記検証装置へと送信するレスポンス生成部と、
を備え、
前記レスポンス生成部は、レスポンス値を用いた第一の演算の結果が、前記チャレンジ値と前記対象暗号文と前記コミットメント文とを第二の演算で処理した結果と同一となる第三の演算により、前記レスポンス値を生成する
証明装置。
IPC (2件)：
FI (2件)：
H04L9/00 675B
, G09C1/00 620A
5J104AA08
, 5J104AA32
, 5J104EA04
, 5J104EA08
, 5J104EA19
, 5J104FA00
, 5J104JA21
, 5J104LA03
, 5J104NA02
, 5J104NA37
, 5J104NA38
, 5J104PA14
