| 摘要 |
PROBLEM TO BE SOLVED: To efficiently certificate a certification expression represented by a general paring product as an object to be certified.SOLUTION: A certification device generates a set of conversion expressions corresponding to each aggregate of certification expressions by generating a conversion expression in which constants of a certification expression and all of pairing of constants are converted into pairing of constants and variables. e(W,W/g)=1 is defined as a switcher expression. For one aggregate of conversion expressions, a conversion variable expression is generated such as e(B,W)=e(Y,g) for each variable Yconverted from a constant B; for the other aggregate of conversion expressions, a conversion variable expression is generated such as e(B,g/W)=e(Y,g) for each variable Yconverted from a constant B. The evidence and an original constant are assigned to a variable on the aggregate side having evidence, and a value for which the result of pairing becomes 1 is assigned to a variable on the aggregate side not having evidence, whereby GS certification is performed. The verification device verifies the result of this certification. |
