文章详细介绍了BLS12-381椭圆曲线的参数化和实例化过程，包括如何计算其基础域模数和子群，以及构造效率的双线性配对函数的步骤。尤其关注了适合zk-SNARK使用的结构和性能要求，提供了具体的生成器和序列化形式的实现细节。
zcash_