[发明专利]信息处理装置、运算验证方法和程序

权利要求书

1.一种信息处理装置，包括：

标量乘法运算单元，所述标量乘法运算单元基于在预定的定义域上定义的椭圆曲线E上的点P而通过对所述点P进行标量乘法来计算点Q＝s·P；以及

运算验证单元，所述运算验证单元通过使用所述椭圆曲线E上的点P、所述标量乘法运算单元计算的所述点Q＝s·P以及所述椭圆曲线E上的任意点G来验证下面的方程式(1)是否成立：

(P+Q)+G＝P+(Q+G)    ...(1)。

2.根据权利要求1所述的信息处理装置，其中所述椭圆曲线E是在有限域F_q(q＝p^m，m∈N，p＞3)上定义的椭圆曲线E_A：y²＝x³+ax+b(a，b∈F_q)，或者是在特征数为2的有限域F_2^m(m∈N)上定义的椭圆曲线E_B：y²+xy＝x³+a₂x²+a₆(a₂，a₆∈F_2^m)。

3.根据权利要求2所述的信息处理装置，其中当权利要求1中的方程式(1)不成立时，所述运算验证单元确定所述点P不具有适当的值或者所述点Q已被篡改。

4.根据权利要求1所述的信息处理装置，还包括：存储单元，所述存储单元存储要被所述信息处理装置隐藏的隐藏信息，其中所述椭圆曲线E上的任意点G被作为所述隐藏信息而存储在所述存储单元中。

5.根据权利要求1所述的信息处理装置，其中：

所述存储单元存储由所述信息处理装置保持的密钥d；以及

所述标量乘法运算单元使用所述密钥d作为用于标量乘法运算的系数s。

6.根据权利要求1所述的信息处理装置，其中所述运算验证单元通过使用由所述信息处理装置保持的公钥或由另一可靠的信息处理装置保持的公钥代替所述点P或者所述点Q来验证权利要求1中的方程式(1)是否成立。

7.一种运算验证方法，包括以下步骤：

基于在预定的定义域上定义的椭圆曲线E上的点P而通过对所述点P进行标量乘法来计算点Q＝s·P；以及

通过使用所述椭圆曲线E上的点P、所计算的所述点Q＝s·P和所述椭圆曲线E上的任意点G来验证权利要求1中的方程式(1)是否成立。

8.一种程序，所述程序使得计算机执行：

基于在预定的定义域上定义的椭圆曲线E上的点P而通过对所述点P进行标量乘法来计算点Q＝s·P的功能；以及

通过使用所述椭圆曲线E上的点P、所述标量乘法运算功能计算的所述点Q＝s·P和所述椭圆曲线E上的任意点G来验证权利要求1中的方程式(1)是否成立的功能。