定义1 定义三个素数p阶乘法循环群G1,G2${}_{}{{{}_{}}_{{}_{}}}_{}$

• 可计算性：存在有效的算法对于?g1∈G1,g2∈G2${}_{}{}_{}{}_{}{{}_{}}_{{}_{}}$

则称这个映射是双线性映射(双线性配对)。如果G1=G2${}_{}{}_{}$称这个双线性配对是对称的否则是非对稱的。