Bilinear Pairing双线性配对的解释

论文中的定义

解释

双线性映射定义了两个素数p阶群乘法循环群g₁，g₂，循环群的意思是，群g中的每一个元素都是g中某一个固定元素q的乘方，例如 g={q¹,q²,q³,…}。g₁ ×g₁→g₂表示分别从循环群g₁中提取元素，并进行某种运算可以得到g₂中的元素。这里的e就是映射算法。

a)双线性：先解释下 Z^*_p 的含义，它是[1,p-1]之间所有与p互质的数的集合，这里表示的就是映射e所满足的双线性关系。
b)非退化性：存在g₁中的元素可以映射出g₂中的元素。
c)可计算性：可找到有效的算法实现该映射算法。