【手続補正書】
【提出日】平成18年11月20日(2006.11.20)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓの知識を、前記秘密数の知識を有しない検証者装置によって検証する方法。
【請求項２】
前記ゼロ知識プロトコルが、Ｆｉａｔ−Ｓｈａｍｉｒプロトコルである、請求項１に記載の方法。
【請求項３】
前記ゼロ知識プロトコルが、Ｇｕｉｌｌｏｕ−Ｑｕｉｓｑｕａｔｅｒプロトコルである、請求項１に記載の方法。
【請求項４】
（ｉ）それ自体による前記秘密数ｓのＭｏｎｔｇｏｍｅｒｙ乗算である値ｖ＝ｓ２を前記検証者装置に供給するステップと、
（ｉｉ）ｒが乱数であり、前記証明者装置によって値ｘ＝ｒ×ｍｒを計算し、ｘの値を前記検証者装置に送るステップと、
（ｉｉｉ）前記検証者装置によって、集合｛０，１｝からｅのチャレンジ値を選択し、前記チャレンジ値を前記証明者装置に送るステップと、
（ｉｖ）前記証明者装置によって、値ｙ＝ｒ×ｍｓｅを計算し、前記値ｙを前記検証者装置に送るステップと、
（ｖ）前記検証者装置が、前に受け取られたｘ、ｙ、およびｖの前記値に従い、前記チャレンジ値ｅに従って、前記証明者の応答の真正性を検査するステップと
を含む、請求項２に記載の方法。
【請求項５】
前記証明者の応答の前記真正性を検査する前記ステップが、
ｅ＝１のチャレンジ値について、ｙ×ｍｙの値およびｖ×ｍｘの値を計算し、これらが同一であることを検査するステップと、
ｅ＝０のチャレンジ値について、ｙ×ｍｙの値を計算し、これが前に受け取ったｘの値と同一であることを検査するステップと
を含む、請求項４に記載の方法。
【請求項６】
前記証明者装置の前記真正性を確認するために複数の連続するラウンドについてステップ（ｉｉ）から（ｖ）を繰り返すステップをさらに含む、請求項４または５に記載の方法。
【請求項７】
前記秘密数ｓが、前記証明者装置で既知であるが前記検証者装置領域で既知でない別の数ｓ’のＭｏｎｔｇｏｍｅｒｙ表現であり、前記証明者装置によって、ｓ＝ｓ’Ｒ  ｍｏｄ  ｎに従ってｓ’からｓの前記値を計算するステップをさらに含み、Ｒ＞ｎであり、ｎおよびｒの値が、前記証明者装置および前記検証者装置の両方によって使用される、請求項４または５に記載の方法。
【請求項８】
ｓ×ｍｓ、ｒ×ｍｒ、およびｒ×ｍｓｅのＭｏｎｔｇｏｍｅｒｙ乗算が、式ａ×ｍｂ＝ａｂＲ−１  ｍｏｄ  ｎに従って実行され、Ｒ＞ｎであり、ｎおよびＲの値が、前記証明者装置および前記検証者装置の両方によって使用される、請求項４に記載の方法。
【請求項９】
ｙ×ｍｙおよびｓ２×ｍｘのＭｏｎｔｇｏｍｅｒｙ乗算が、式ａ×ｍｂ＝ａｂＲ−１  ｍｏｄ  ｎに従って実行され、Ｒ＞ｎであり、ｎおよびＲの値が、前記証明者装置および前記検証者装置の両方によって使用される、請求項５に記載の方法。
【請求項１０】
前記ゼロ知識プロトコルでのすべての計算が、数のＭｏｎｔｇｏｍｅｒｙ表現を使用し、Ｍｏｎｔｇｏｍｅｒｙ乗算演算を使用して実行される、請求項１に記載の方法。
【請求項１１】
（ｉ）前記秘密数ｓのＭｏｎｔｇｏｍｅｒｙ  ｅ乗である値ｓｅを前記検証者装置に提供するステップと、
（ｉｉ）ｒが乱数であり、前記証明者装置によって、ｒのＭｏｎｔｇｏｍｅｒｙ  ｅ乗である値ｘ＝ｒｅを計算し、ｘの前記値を前記検証者装置に送るステップと、
（ｉｉｉ）前記検証者装置によって、集合｛０，１，…ｅ−１｝からｃのチャレンジ値を選択し、前記チャレンジ値を前記証明者装置に送るステップと、
（ｉｖ）前記証明者装置によって、値ｙ＝ｒ×ｍｓｃを計算し、前記値ｙを前記検証者装置に送るステップと、
（ｖ）前記検証者装置が、前記チャレンジ値ｃに従って前に受け取られたｘ、ｙ、およびｓｅの前記値に従って前記証明者の応答の真正性を検査するステップと
を含む、請求項３に記載の方法。
【請求項１２】
前記証明者の応答の前記真正性を検査する前記ステップが、
ｙｅの値およびｘ×ｍｓｅｃの値を計算し、これらが同一であることを検査するステップ
を含む、請求項１１に記載の方法。
【請求項１３】
前記証明者装置の前記真正性を確認するために複数の連続するラウンドについてステップ（ｉｉ）から（ｖ）を繰り返すステップをさらに含む、請求項１１または１２に記載の方法。
【請求項１４】
Ｍｏｎｔｇｏｍｅｒｙ表現の秘密数ｓを含む証明者装置であって、その証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、前記秘密数自体の知識を伝えることなく、検証者装置に対して前記秘密鍵ｓの知識を証明するように適合された証明者装置。
【請求項１５】
乱数ｒを選択する手段と、
ｘを得るためにｒのＭｏｎｔｇｏｍｅｒｙ二乗を計算する手段と、
ｘを検証者装置に送る手段と、
チャレンジ値ｅを受け取る手段と、
ｙ＝ｒ×ｍｓのＭｏｎｔｇｏｍｅｒｙ積を計算する手段と、
ｙを検証者装置に送る手段と
をさらに含む、請求項１４に記載の証明者装置。
【請求項１６】
乱数ｒを選択する手段と、
ｘを得るためにｒのＭｏｎｔｇｏｍｅｒｙ  ｅ乗を計算する手段と、
ｘを検証者装置に送る手段と、
チャレンジ値ｃを受け取る手段と、
ｙ＝ｒ×ｍｓのＭｏｎｔｇｏｍｅｒｙ積を計算する手段と、
ｙを検証者装置に送る手段と
をさらに含む、請求項１４に記載の証明者装置。
【請求項１７】
証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓ自体の知識なしで、前記秘密数の知識を検証する検証者装置。
【請求項１８】
前記秘密数ｓのＭｏｎｔｇｏｍｅｒｙ二乗ｖを受け取る手段と、
乱数ｒのＭｏｎｔｇｏｍｅｒｙ二乗ｘを受け取る手段と、
チャレンジ値ｅを前記証明者装置に送る手段と、
前記チャレンジ値ｅに従って、前記証明者装置から受け取った値ｘおよび／またはｖに対して検証される前記証明者の応答ｙのＭｏｎｔｇｏｍｅｒｙ二乗に従って、ｙの真正性を検査する手段と
をさらに含む、請求項１７に記載の検証者装置。
【請求項１９】
前記秘密数ｓのＭｏｎｔｇｏｍｅｒｙ  ｅ乗ｓｅを受け取る手段と、
乱数ｒのＭｏｎｔｇｏｍｅｒｙ  ｅ乗ｘを受け取る手段と、
チャレンジ値ｃを前記証明者装置に送る手段と、
前記チャレンジ値ｃに従って、前記証明者装置から受け取った値ｘ×ｍｓｅｃに対して検証される前記証明者の応答ｙのＭｏｎｔｇｏｍｅｒｙ  ｅ乗に従って、ｙの真正性を検査する手段と
をさらに含む、請求項１７に記載の検証者装置。
【請求項２０】
証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓの知識を有することなく、前記秘密数の知識を検証者装置に証明する方法であって、
乱数ｒを選択するステップと、
ｘを得るためにＭｏｎｔｇｏｍｅｒｙ  ｅ乗を計算するステップと、
ｘを検証者装置に送るステップと、
チャレンジ値ｃを受け取るステップと、
ｙ＝ｒ×ｍｓｃのＭｏｎｔｇｏｍｅｒｙ積を計算するステップと、
ｙを検証者装置に送るステップと
を含む方法。
【請求項２１】
証明装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓの知識を有することなく、前記秘密数の知識を検証者装置によって検証する方法であって、
前記秘密数ｓのＭｏｎｔｇｏｍｅｒｙ二乗ｖを受け取るステップと、
乱数ｒのＭｏｎｔｇｏｍｅｒｙ二乗ｘを受け取るステップと、
チャレンジ値ｅを前記証明者装置に送るステップと、
チャレンジ値ｅに従って前記証明者装置から受け取ったｘおよび／またはｖの値に対して検証される前記証明者の応答ｙのＭｏｎｔｇｏｍｅｒｙ二乗に従ってｙの真正性を検査するステップと
を含む方法。
【請求項２２】
証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓの知識を有することなく、前記秘密数の知識を検証者装置によって検証する方法であって、
前記秘密数ｓのＭｏｎｔｇｏｍｅｒｙ  ｅ乗を受け取るステップと、
乱数ｒのＭｏｎｔｇｏｍｅｒｙ  ｅ乗ｘを受け取るステップと、
チャレンジ値ｃを前記証明者装置に送るステップと、
チャレンジ値ｃに従って前記証明者装置から受け取ったｘ×ｍｓｅｃの値に対して検証される前記証明者の応答ｙのＭｏｎｔｇｏｍｅｒｙ  ｅ乗に従ってｙの真正性を検査するステップと
を含む方法。
【請求項２３】
コンピュータにロードされた時に、証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓの知識を、前記秘密数の知識を有しない検証者装置によって検証するように適合されたコンピュータ・プログラム・コード手段を有するコンピュータ可読媒体を含むコンピュータ・プログラム製品。
【請求項２４】
コンピュータにロードされた時に、証明者装置内で数のＭｏｎｔｇｏｍｅｒｙ表現およびＭｏｎｔｇｏｍｅｒｙ乗算演算を使用するゼロ知識プロトコルを用いて、証明者装置内の秘密数ｓの知識を、前記秘密数の知識を有しない検証者装置によって検証するように適合されたコンピュータ・プログラム・コード手段を含む、電子データ伝送によって配布可能なコンピュータ・プログラム。