什么是双线性配对（Billinear Pairing）？

最近在写关于轻量级属性加密（ABE）的毕业论文，ABE中的两种形式KP-ABE和CP-ABE，导师说其实本质上就是不停的Pairing。双线性配对是近世代数中的内容，看了很多论文，有些还看了好几遍，依旧弄不明白，所以我觉得应该把最基础的数学知识弄清楚。下面我们来看究竟什么是双线性配对，为什么根据这个原理可以完成基于属性的加密。
首先，双线性配对的数学定义是：

这里一一来解释下
循环群的意思是，群G中的每一个元都是G中某一个固定元a的乘方，例如G={a¹,a²,a³,…}
映射的意思是，设A和B是两个非空集合，若存在一个A到B的对应关系f，使得A中的每一个元素x，都有B中唯一确定一个元素y与之对应，则成f是A到B中的一个映射，记做y=f(x)。用我的理解说一下就是，A中的一个元素x可以根据某种计算得到B中的元素y，有点类似函数的意思。
（1）双线性
首先介绍Zp，Zp指的是素数p 阶循环群，群中元素的个数称为群的阶
关于性质的解释和如何在ABE中应用，待续…