[发明专利]验证装置

摘要

在整数分割处理S701中，整数分割部110输入有限群G的阶数p和整数e，根据所输入的阶数p和整数e，算出满足e1·e≡e2(mod p)的整数e1和整数e2。在验证值算出处理S702中，验证值算出部130输入有限群G的元s和加法群G的元h，根据所输入的元s和元h、以及通过整数分割处理S701由整数分割部110算出的整数e1和整数e2，算出有限群G的元a(＝e1·h-e2·s)。在验证判断处理S703中，验证判断部150根据验证值算出部130所算出的元a，判断元a是否为有限群G的单位元O。由此，高速地判断h＝e·s是否成立。

主权项

一种验证装置，具有：处理数据的处理装置、整数分割部、验证值算出部以及验证判断部，所述整数分割部使用所述处理装置，输入有限群G的阶数p和整数e，根据所输入的阶数p和整数e，算出满足e1·e≡e2(mod p)的整数e1和整数e2，所述验证值算出部使用所述处理装置，输入所述有限群G的元s和所述有限群G的元h，根据所输入的元s和元h、以及所述整数分割部所算出的整数e1和整数e2，算出所述有限群G的元a(＝e1·h e2·s)，所述验证判断部使用所述处理装置，根据所述验证值算出部所算出的元a，在所述元a为所述有限群G的单位元的情况下，判断为验证成功。