双线性对映射 概念理解

双线性映射定义了三个素数p阶群乘法循环群$G_1,G_2,G_T$，并且定义在这三个群上的映射关系$e:G_1\times G_2\to G_T$，并且满足以下性质：

Tips:

• 什么是阶？
  群的阶：群的元素个数，和群的基数是一个意思。
  群中元素的阶：$a$为群$G$中的一个元素，规定$a^0=e单位元$，使$a^n=e$的最小正整数$n$叫做元素$a$的阶$|a|$，如果这样的$n$不存在，则$a$的阶为无限或称为0。

• 什么是群？
  设$G$是一个非空集合，“*”是$G$上的一个代数运算，即对所有的该集合中的任意两个元素$a,b$，有$a\ast b\in G$，如果满足以下三个条件：（1）结合律，对所有的$a,b,c\in G$有$(a\ast b)\ast c=a\ast (b\ast c)$ （2）$G$中存在元素$e$，使得对于每一个$G$中的元素$a$都有$e\ast a=a\ast e$。(3）对$G$ 中的每个元素 $a$，存在另一个元素$b$使得 $a\ast b=b\ast a=e$，则称$G$关于运算 “*” 构成一个群，记为$(G,\ast )$。其中称e为单位元，一个群的单位元是唯一的。称b为元素a的逆元，对各个元素来说，也是唯一的。

1. 双线性：对于任意$G_1,G_2中的元素g_1,g_2$以及属于$Z_p$的整数，$e(g_1^a,g_2^b)=e(g_1.g_2{)}^{ab}$成立。
2. 非退化性：$G_1$和$G_2$中存在$g_1,g_2$满足$e(g_1,g_2)̸=1$
3. 可计算性：存在有效的算法使得对所有的$G_1,G_2$中的元素均可计算$e(g_1,g_2)$

如果$G_1=G_2$则上述双线性对是对称的，否则是非对称的。

reference

https://www.zhihu.com/question/39641890