S∈G1、Q∈G2、所定の整数変数をκ、マルチペアリングに対するミラーのアルゴリズム(MMA)を用いて計算される有理関数をFとして、ペアリングe(S,Q)を演算するCPUを備えたぺアリング演算装置であって、位数rと、フロベニウス自己準同形写像φpのトレースtを、前記埋め込み次数kに応じて前記整数変数κを用いて特定しておき、前記CPUは、記整数変数κと、前記有理点Sと、前記有理点Qをそれぞれ所定のレジスタに入カする入力手段と、Fを演算する演算手段と、所定の有理点を通る直線の有理点Q(xQ,yQ)における値を演算する演算手段と、前記Fと前記値を用いてf'κ,s(Q)を演算する演算手段と、前記f'κ,s(Q)を用いて前記ペアリングe(S,Q)を[数83]として演算する演算手段とによって演算を行う。
L'unité centrale effectue l'opération arithmétique au moyen d'un dispositif d'entrée qui introduit la variable entière précitée κ, le point rationnel S et le point rationnel Q dans leurs registres prédéterminés respectifs; un dispositif de calcul qui calcule F; un dispositif de calcul qui calcule des valeurs au niveau d'un point rationnel Q(xQ,yQ) sur une ligne droite qui traverse des points rationnels prédéterminés; un dispositif de calcul qui calcule f'κ,s(Q) à l'aide de F et de la valeur précitée; et un dispositif de calcul qui utilise f'κ,s(Q) pour calculer l'appariement e(S,Q) tel qu'un [83].patents-wipo patents-wipo