设 G 1 为加法循环群, G 2 为乘法循环群,阶均为 p , g 为群 G 1 的生成元。如果一个二元函数 e : G 1 × G 1 → G 2 满足如下性质。
(1)双线性。对∀ P 1 , P 2 ∈ G 1 和 ,有 e ( aP 1 , aP 2 )= e ( P 1 , P 2 ) ab 。
(2)非退化性。∃ P 1 , P 2 ∈ G 1 ,使 e ( P 1 , P 2 )≠1。
(3)可计算性。对∀ P 1 , P 2 ∈ G 1 ,存在有效的算法计算出 e ( P 1 , P 2 )。则称 e : G 1 × G 1 → G 2 为双线性对。