【密码专栏】动手计算双线性对（上）

趣链科技

于 2021-11-01 17:43:30 发布

阅读量2.5k

点赞数 9

分类专栏：区块链技术算法文章标签：区块链密码学零知识证明

本文链接：https://blog.csdn.net/Hyperchain/article/details/121084764

版权

本文介绍了双线性映射的基础知识，特别是其在零知识证明和区块链中的作用。通过模拟小有限域上的双线性映射，文章详细阐述了模运算（加减乘除）及其逆运算，特别是逆元的概念，并讨论了模7剩余类域。此外，还提到了开平方运算和二次剩余，以及域扩张的概念，为后续计算双线性对奠定基础。

摘要由CSDN通过智能技术生成

【导读】

零知识证明是重要的密码学技术之一，其中基于电路的通用零知识证明算法更是因为近年取得的长足发展和在区块链项目中的应用而备受关注。双线性映射，也叫双线性配对或双线性对，是通用零知识证明算法的重要组成部分，也是众多密码体制，如聚合签名、身份基加密、属性基加密等的关键构件。本文从零基础开始，通过完整的模拟双线性对的原理来实现一套在小有限域上的双线性映射，帮助读者加深对双线性映射的理解。

“动手计算双线性对”这个系列计划有上中下三篇内容，本文是上篇，介绍后面文章需要的一些基础知识。在中篇，我们将对一个名为curve101的曲线进行讨论，其有限域只涉及101个元素，用于配对的椭圆曲线子群只有17个点，不借助计算机也能方便的通过纯手算完成整个过程，十分适合零基础读者入手。下篇则会实际计算并讨论双线性对的实际例子，全部的中间计算过程我们都将列出，读者可以按步骤重现整个计算流程。

在之后介绍零知识证明算法的系列文章中我们还会用到这个curve101进行演示，届时读者可以更加明白双线性对的作用，而接下来我们就来一起从零基础开始演算这个双线性曲线。

【模运算相关知识-加减乘除】
众所周知，很多公钥密码体制都是建立在有限域上，特别是模素数的有限域（即模素数剩余类域）。作为零基础的系列，我们不去纠结数学概念“域”的严格定义，而是通过介绍带模运算相关的内容，来真实的展现一个有限域。

带模运算是在我们熟悉的加法和乘法的基础上增加一步计算余数的操作，例如，在以7为模数的系统中：

3 + 3 = 6，也就是（3 + 3）mod 7 = 6