双线性对在零知识证明中的运算

这几天研究的PLONK里验证的最后一步是关于双线性对的运算，所以找了一些相关公式，但是网上博客里的太官方了，大段大段的介绍背景，所以在这里我就不多说废话了，直接用在零知识证明里的推导过程总结一下。

本质上其实就是指数运算，[x]其实就是g^x,乘就是指数加，除就是减。