前言
上一篇分享了“模运算”相关的知识,并且计算了一些有限域的例子,这一篇我们讨论在通用零知识证明中经常提到的椭圆曲线和双线性配对。椭圆曲线作为双线性对的基础和前置知识,我们首先介绍一下其在实数域上的表现形式,然后通过计算的方法列出 ” F_101 ” 和其扩域 “ F_101^2” 上的全部元素的列表。
椭圆曲线相关知识—曲线方程
椭圆曲线的一般形式的方程其实比较复杂,称为Weierstrass方程,形如下面的形式:
我们先将 a,b,c,d,e 随意的取值为1,2,3,4,5,并通过画图来查看曲线在直角坐标系上的表现形式。根据二次方程求根公式(假设求根公式可用),我们将其变换为x关于y的函数:
根据方程作图如下:
根据上面的方程(1)和作图过程了解道,曲线由上下两个半支组成,关于y=0.5对称。
对称的总是美的,但是这个曲线却有一点瑕疵,他的对称轴并不是 x 轴而是 y=0.5。考虑到Weierstrass太过复杂,人们更经常使用的是在Weierstrass方