双线性的定义以及他的性质
G1和G2是q阶循环群，q为一个大素数，G1中的运算为加法，G2中的运算为乘法。 双线性配对: 如果存在满足下列条件的ê: G1×G1→G2 1．双线性: 对所有的P,QG1，a,bZ p ，有ê(aQ, bR) = ê(Q,R)ab； 2．非退化性: 存在Q,RG1使得ê (Q,R) 不等于1； 3．可计算的: 对任意的Q,RG1，存在一个高效的算法来计算ê(Q,R) 称ê为双线性映射。 注意,ê也是对称的, 因为ê是双线性的和G1是一个循环群，所以对于所有的Q,R∈
