Elliptic Curve Cryptography: a gentle introduction (1)

众所周知的公钥加密算法包括,ECC,ECDH或者是ECDSA。其中ECCElliptic Curve Cryptography (椭圆曲线公钥加密)的缩写,而其它的算法都是在其基础上开发的。

现在我们可以在TLS,PGP,SSH等应用中看到椭圆曲线加密系统的踪影,这三个应用几乎构建起了现代web应用和信息技术世界的基石,更不要说Bitcoin以及其他的加密货币。

在ECC流行之前,几乎所有的公钥算法都是基于RSA,DSA以及DH,这些算法都是基于同余理论构建的。RSA以及其同类算法现在还是很流行,往往配合ECC一同使用,相对于RSA这种原理很容易被人理解,也很容易实现的算法而言,ECC的内部机理对大多数人而言似乎是一种未解之谜。

我将会用这一系列的文章带领大家进入椭圆曲线加密的全新世界,我的目标不是详细地说明ECC的全部细节(这些在网上随手都能搜索到),而是要提供一个简单易懂的教程说明什么是ECC,以及为什么它是安全的,当然我也不想花费大量的时间去进行数学证明。我将会提供一些有用的样例然后用一些生动的动态交互工具和脚本去展现它们。

特别地,这里有些点事我将要提及的:

为了理解这里都在说些什么,你需要预先理解一些理论:几何和现代代数,并且需要了解对称加密和非对称加密算法,最后你需要对什么是easy的问题,什么是hard的问题有一个清晰的认识。

准备好了吗?让我们开始吧!

椭圆曲线 (Elliptic Curves)

首先,从什么是椭圆曲线(Elliptic Curver)开始,Wolfram MathWorld给了一个完整定义: 但是我们不玩这个,简单来说,椭圆曲线就是一个可以通过等式:

    \[y^2 = x^3 + ax + b\]

描述的点集。

其中

    \[4a^3 + 27b^2 \ne 0\]

因为需要排除掉 singular curves 也称奇异曲线。

上述的等式叫做椭圆曲线_Weierstrass normal form_

curve1

上图是不同椭圆曲线的形状( b=1, a从2变化到-3 )

singularities

singularities 曲线:

左边, a curve with a cusp(尖点):

    \[y^2=x^3\]

右边, a curve with a self-intersection(自交)

    \[y^2=x^3 - 3x+2\]

上述两者均为不合法的椭圆曲线

根据不同的a和b,椭圆曲线可能在平面上展现出不同的形状,很明显,椭圆曲线是关于x轴对称的。

在我们的设计当中,我们还需要一个_无穷点_ Point at infinity(或者称为理想点),现在我们用``作为我们的无穷点。

我们将上面的椭圆曲线的定义再明确一下,并加入刚刚的无穷点,我们可以得到如下的公式:

<p class="ql-center-displayed-equation" style="line-height: 22px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-0bd45224c06e67ba0c69ce1bc941a272_l3.png" height="22" width="422" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#92;&#123;&#92;&#44;&#40;&#120;&#44;&#121;&#41;&#32;&#92;&#105;&#110;&#32;&#92;&#109;&#97;&#116;&#104;&#98;&#98;&#123;&#82;&#125;&#94;&#50;&#32;&#92;&#109;&#105;&#100;&#32;&#121;&#94;&#50;&#61;&#120;&#94;&#51;&#43;&#97;&#120;&#43;&#98;&#44;&#32;&#52;&#97;&#94;&#51;&#43;&#50;&#55;&#98;&#94;&#50;&#32;&#92;&#110;&#101;&#113;&#32;&#48;&#32;&#92;&#44;&#92;&#125;&#32;&#92;&#99;&#117;&#112;&#32;&#92;&#123;&#92;&#44;&#48;&#92;&#44;&#92;&#125;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

群(Group)

群(Goup)在数学上的定义是能够进行所谓“加法”的二元运算的一种集合,通常我们将这种运算用符号+来表示。如果集合<img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-19526afe286847a7c8f0dbb15f5de361_l3.png" class="ql-img-inline-formula quicklatex-auto-format" alt="&#92;&#109;&#97;&#116;&#104;&#98;&#98;&#123;&#71;&#125;" title="Rendered by QuickLaTeX.com" height="12" width="14" style="vertical-align: 0px;"/>想要成为一个”群”,它必须有以下四个属性:

  1. 闭包(closure)律:如果ab都是集合<img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-19526afe286847a7c8f0dbb15f5de361_l3.png" class="ql-img-inline-formula quicklatex-auto-format" alt="&#92;&#109;&#97;&#116;&#104;&#98;&#98;&#123;&#71;&#125;" title="Rendered by QuickLaTeX.com" height="12" width="14" style="vertical-align: 0px;"/>的成员,那么a+b也是集合<img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-19526afe286847a7c8f0dbb15f5de361_l3.png" class="ql-img-inline-formula quicklatex-auto-format" alt="&#92;&#109;&#97;&#116;&#104;&#98;&#98;&#123;&#71;&#125;" title="Rendered by QuickLaTeX.com" height="12" width="14" style="vertical-align: 0px;"/>的成员;

  2. 结合律(associativity( a + b ) + c = a + ( b + c )

  3. 需要存在一个孤立点(identity element)`` 满足a + 0 = 0 + a = a ;

  4. 每个元素都有一个相反数,例如所有的元素a都存在这样的元素b使得a + b = 0。 如果这个群还满足:

  5. 交换律(commutativity):a + b = b + a 这个群就被称为_abelian group_ 。

按照我们对加法的传统理解,我们可以得出以下结论:整数集合\math{Z}是一个群(而且是一个阿贝尔群(abelian group)),但是自然数集合ℕ不是一个群,它不满足第四条属性。

群可以说是非常的nice,因为如果我们证明了上述四条属性的正确性,那么我们可以免费得到一堆有用的属性,例如如果一个独立元素是唯一的那么其一定有一个相反元素也是唯一的,换句话说,对任意的元素a都存在唯一的元素b使得a+b=0当然我们也可以写作b=-a,不管是直接的还是间接的,这些定理都将在后面的内容中起到非常重要的作用。

椭圆曲线的群律(The group law for elliptic curves)

我们可以在椭圆曲线上找到一个群,这个可以描述为:

  • 群中的所有元素都是椭圆曲线上的点。
  • 孤立点是无穷``。
  • 其中点P的相反数是另一个相对于X轴对称的点。
  • 加法遵从以下规则:给出三个在一条直线上的非零点P,Q,R,三个点之和P+Q+R=0

three-aligned-points

三个点之和为0

需要注意的是最后一条规则,我们仅仅需要三个点,这三个点需要在一条直线上,但是不需要关心他们的顺序,也就是说,如果P,QR在一条直线上,那么:

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-8af014ebfa23a74d5f43298721c70560_l3.png" height="19" width="746" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#80;&#43;&#40;&#81;&#43;&#82;&#41;&#61;&#81;&#43;&#40;&#80;&#43;&#82;&#41;&#61;&#82;&#43;&#40;&#80;&#43;&#81;&#41;&#61;&#92;&#99;&#100;&#111;&#116;&#115;&#32;&#61;&#48;&#80;&#43;&#40;&#81;&#43;&#82;&#41;&#61;&#81;&#43;&#40;&#80;&#43;&#82;&#41;&#61;&#82;&#43;&#40;&#80;&#43;&#81;&#41;&#61;&#92;&#99;&#100;&#111;&#116;&#115;&#32;&#61;&#48;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

显然,我们的 + 运算符同时满足结合律(associative)和交换律(commutative),这其实是个阿贝尔群。

到此为止,一切都很棒!但是,我们到底应该怎么去计算两个任意点的和呢?

几何加法

多亏了阿贝尔群的定理,我们可以得到下列的结果:P + Q + R = 0 => P+Q = -R。利用这个等式,我们可以利用几何方法去计算PQ两个点的和:如果我们画一条穿过P点和Q点的直线,这条直线将会和椭圆曲线相交于第三个点R(这其实隐含在P,Q,R在一条直线上这个前提中).如果我们取R的相反数-R,这个就是我们要的 P+Q的结果。

point-addition

画一条穿过P点和Q点的线,这条线将会穿过点R,而R的对称点-R就是P+Q的结果。

这个几何方法是行得通的,但是我们还是需要细化一下,尤其是我们需要回答几个问题:

  • 如果P=0或者Q=0?显然我们没有办法画出一条线(因为0不在xy平面上),但是我们的定义是0是我们的孤立点,P+0=P以及Q+0=Q,这个对任意的PQ都成立。

  • 如果P = -Q?在这种情况下,穿过两点的直线是垂直的,而且不会与椭圆曲线相交于第三个点,但是因为P是Q的相反元素,我们有P+Q = P+(-P) =0这条定理。

  • 如果P = Q?在这种情况下,可以画出无数条穿过两点的现,这样让事情变得有点复杂,所以我们考虑一种简化情况,Q′\neq P,如果Q'无限接近P,将会发生什么?

animation-point-doubling

随着两个点越来越接近,这条线渐渐变为了椭圆曲线的切线

随着Q'无限趋近于P,穿过pQ'的线渐渐变成了曲线的切线,换句话说,我们可以说p + p = -R,其中R是曲线和曲线在P点的切线的交点。

  • 如果P≠Q但是恰好又没有第三个点R怎么办?这种情况其实很像上面的那种情况,实际上这种情况其实就是经过P,Q两点的直线恰好是曲线的切线。 animation-tangent-line

    如果我们的直线交于两点,换句话说,这条直线是曲线的切线,显然,最终结果是两点中的某一点的对称点。

    我们假设P是切点,在上面的情况中,我们可以得到P+P=-Q,可以转变为:P+Q=-P,如果,在另一种情况下,Q是切点,正确的等式将会变为P+Q=-Q

代数加法(Algebraic addition)

如果我们让计算机做上述的点加运算,我们需要将上述的几何加法转变为算术加法,将上面的规则转换为用一组公式来描述看上去非常简单,实际上确是非常乏味的,因为它要求解三次方程。所以我们跳过无聊的部分,直接给出结果。

首先我们先排除烦人的特殊情况。我们已经知道P+(-P)=0,而且我们也知道P+0=0+P=P,所以在我们的公式中,我们仅仅考虑非零,非对称的两个点,P=(x_P,y_P)Q=(x_Q,y_Q)

如果PQ是不同的(x_P≠x_Q),那么穿过这两点的线的斜率是:

<p class="ql-center-displayed-equation" style="line-height: 38px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-92570925595236d0ca3058e8d28215ca_l3.png" height="38" width="85" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#109;&#61;&#92;&#102;&#114;&#97;&#99;&#123;&#121;&#95;&#80;&#8722;&#121;&#95;&#81;&#125;&#123;&#120;&#95;&#80;&#8722;&#120;&#95;&#81;&#125;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

这条直线和椭圆曲线的交点是第三点R(x_R,y_R)

<p class="ql-center-displayed-equation" style="line-height: 22px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-cf77ec6f2093ce3cd452c5d3ccb1c3a4_l3.png" height="22" width="111" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#120;&#95;&#82;&#61;&#109;&#94;&#50;&#8722;&#120;&#95;&#80;&#8722;&#120;&#95;&#81;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-61c5da1d1970faec8f5c478a33e78b89_l3.png" height="19" width="179" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#95;&#82;&#32;&#61;&#32;&#121;&#95;&#80;&#32;&#43;&#32;&#109;&#40;&#120;&#95;&#82;&#32;&#45;&#32;&#120;&#95;&#80;&#41;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

或者,相等地:

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-2fcb5d7003fdff68c4e6e3d2c0add395_l3.png" height="19" width="157" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#95;&#82;&#61;&#121;&#95;&#81;&#43;&#109;&#40;&#120;&#95;&#82;&#8722;&#120;&#95;&#81;&#41;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

因此,(x_P,y_P)+(x_Q,y_Q)=(x_R,−y_R) (请注意符号并谨记 P+Q=-R)

如果我们想要检查这个结果是否是正确的,我们需要检查R是否在曲线上,以及P,Q,R是否在一条直线上。检查三个点是否在一条直线上比较琐碎。但是检查R是否在曲线上还是比较简单的,我们需要解三次方程,当然还是很无趣。

所以我们换种方式,我们用例子来验证一下,根据我们的visual tool,给出P = (1,2)和Q = (3,4),这两个点都是在曲线:

<p class="ql-center-displayed-equation" style="line-height: 21px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-5cf7f7a3cd6e47eb752d0c567c390893_l3.png" height="21" width="138" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#94;&#50;&#32;&#61;&#32;&#120;&#94;&#51;&#32;&#45;&#55;&#120;&#32;&#43;&#49;&#48;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

上的,这两点的和是P+Q=-R=(-3,2),让我们看看等式是否成立:

<p class="ql-center-displayed-equation" style="line-height: 42px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-ef11dc8fdb4a73f96c760a1fc09b99bb_l3.png" height="42" width="207" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#109;&#32;&#61;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#121;&#95;&#80;&#45;&#121;&#95;&#81;&#125;&#123;&#120;&#95;&#80;&#45;&#120;&#95;&#81;&#125;&#61;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#50;&#45;&#52;&#125;&#123;&#49;&#45;&#51;&#125;&#32;&#61;&#32;&#49;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>


<p class="ql-center-displayed-equation" style="line-height: 22px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-1efd80ce20d6d4d42751fa583fe8c88f_l3.png" height="22" width="302" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#120;&#95;&#82;&#32;&#61;&#32;&#109;&#94;&#50;&#32;&#45;&#120;&#95;&#80;&#45;&#120;&#95;&#81;&#32;&#61;&#32;&#49;&#94;&#50;&#32;&#45;&#49;&#45;&#51;&#32;&#61;&#32;&#45;&#51;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-4fff453d2e84ee5253bcc65841b8e187_l3.png" height="19" width="658" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#95;&#82;&#32;&#61;&#32;&#121;&#95;&#80;&#32;&#43;&#32;&#109;&#40;&#120;&#95;&#82;&#45;&#120;&#95;&#80;&#41;&#61;&#50;&#43;&#49;&middot;&#40;&#45;&#51;&#45;&#49;&#41;&#61;&#45;&#50; &#32;&#32;&#61;&#121;&#95;&#81;&#43;&#109;&#40;&#120;&#95;&#82;&#45;&#120;&#95;&#81;&#41;&#61;&#52;&#43;&#49;&middot;&#40;&#45;&#51;&#45;&#51;&#41;&#61;&#45;&#50;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

确实是正确的。

我们注意到,这些等式在P点或是Q点是切点的时候也是work的。

让我们试试P=(-1,4)Q=(1,2)

<p class="ql-center-displayed-equation" style="line-height: 42px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-df53240a197704ceb18f66d0319a93e0_l3.png" height="42" width="235" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#109;&#32;&#61;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#121;&#95;&#80;&#45;&#121;&#95;&#81;&#125;&#123;&#120;&#95;&#80;&#45;&#120;&#95;&#81;&#125;&#61;&#92;&#102;&#114;&#97;&#99;&#123;&#52;&#45;&#50;&#125;&#123;&#45;&#49;&#45;&#49;&#125;&#61;&#45;&#49;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

<p class="ql-center-displayed-equation" style="line-height: 22px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-3c967e2ae1585a263589d83e1a63b6ca_l3.png" height="22" width="343" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#120;&#95;&#82;&#32;&#61;&#32;&#109;&#94;&#50;&#32;&#45;&#120;&#95;&#80;&#45;&#120;&#95;&#81;&#32;&#61;&#32;&#40;&#45;&#49;&#41;&#94;&#50;&#32;&#45;&#32;&#40;&#45;&#49;&#41;&#45;&#49;&#32;&#61;&#32;&#49;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-f83aa9034f282cf383d5cfe7af5e3315_l3.png" height="19" width="383" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#95;&#82;&#32;&#61;&#32;&#121;&#95;&#80;&#32;&#43;&#32;&#109;&#40;&#120;&#95;&#82;&#45;&#120;&#95;&#80;&#41;&#61;&#52;&#43;&#45;&#49;&middot;&#40;&#49;&#45;&#40;&#45;&#49;&#41;&#41;&#61;&#50;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

我们通过可视化工具visual tool也可以得到同样的结果。

P=Q的情况需要稍稍特殊对待:求x_R和y_R的方程和上面是一样的,但是对于x_P=x_Q这种情况,我们需要换一个求斜率的公式:

<p class="ql-center-displayed-equation" style="line-height: 45px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-4f7acbbfe7f489c3c5a95b2a41f052f9_l3.png" height="45" width="100" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#109;&#32;&#61;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#51;&#120;&#94;&#50;&#43;&#97;&#125;&#123;&#50;&#121;&#95;&#112;&#125;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

注意到,就像我们所期待的,这个用来计算m的表达式是由以下公式派生的第一个式子:

<p class="ql-center-displayed-equation" style="line-height: 32px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-441c19b3d9bd11151193f3e49abdfd1a_l3.png" height="32" width="162" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#95;&#112;&#32;&#61;&#32;&plusmn;&#92;&#115;&#113;&#114;&#116;&#123;&#120;&#95;&#80;&#94;&#51;&#43;&#97;&#120;&#95;&#80;&#43;&#98;&#125;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

为了证明这个结果的有效性,只需要证明R是否是曲线上的点,以及经过PR两点的是否与曲线有且仅有两个焦点。但是我们不去证明这点,我们还是通过一个例子来说明,降低难度:

P=Q=(1,2)

<p class="ql-center-displayed-equation" style="line-height: 43px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-7a3688efcd750253fb87f627bac41c5d_l3.png" height="43" width="249" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#109;&#32;&#61;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#51;&#120;&#95;&#80;&#94;&#51;&#32;&#43;&#97;&#125;&#123;&#50;&#121;&#95;&#80;&#125;&#32;&#61;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#51;&middot;&#32;&#49;&#94;&#50;&#45;&#55;&#125;&#123;&#50;&middot;&#50;&#125;&#61;&#45;&#49;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

<p class="ql-center-displayed-equation" style="line-height: 22px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-0bf1e1d8facb54bf197a5ca412ce7ef5_l3.png" height="22" width="329" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#120;&#95;&#82;&#32;&#61;&#32;&#109;&#94;&#50;&#32;&#45;&#120;&#95;&#80;&#32;&#45;&#120;&#95;&#81;&#32;&#61;&#32;&#40;&#45;&#49;&#41;&#94;&#50;&#32;&#45;&#49;&#45;&#49;&#61;&#45;&#49;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-99317e6412e18b7deae928d30d4707d2_l3.png" height="19" width="380" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#121;&#95;&#82;&#32;&#61;&#32;&#121;&#95;&#82;&#32;&#43;&#109;&#40;&#120;&#95;&#114;&#32;&#45;&#32;&#120;&#95;&#80;&#41;&#32;&#61;&#32;&#50;&#43;&#40;&#45;&#49;&#41;&#32;&middot;&#40;&#45;&#49;&#45;&#49;&#41;&#32;&#61;&#32;&#52;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

我们已经知道答案的情况下(P+P=-R= (-1,-4)),这是正确的(就不要纠结是怎么预先得到答案的,原作者为了降低难度,简单示例了一下,想要了解更多,点击链接即可,ChenQuan注)

标量乘法(Scalar multiplication)

在加法的基础上,我们可以定义一个新的操作:标量乘法(scalar multiplication),可以表示为:

<p class="ql-center-displayed-equation" style="line-height: 25px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-b0122286bf30ff28aed7f2aa24c22f9f_l3.png" height="25" width="220" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#110;&#80;&#61;&#92;&#115;&#117;&#109;&#123;&#80;&#95;&#49;&#43;&#80;&#95;&#50;&#43;&#92;&#99;&#100;&#111;&#116;&#115;&#32;&#43;&#80;&#95;&#110;&#125;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

其中n是自然数,我也写了一个可视化工具用来演示标量乘法,你当然也可以试试。

就从公式上看,看上去计算nP需要n次加法运算,假设n拥有k个二进制数字,我们的算法复杂度将会是O(2^k),当然这有点不太ok,但是实际上还有更加高效的算法。

其中有一种算法叫做 double and add算法,这种算法的理论可以通过例子更好地进行解释。假设我们有一个数字n = 151,它的二进制值是:10010111。那么这个二进制值可以通过2的幂次和进行计算:

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-dd068fd80b6dcb4466bdc518cdebed22_l3.png" height="19" width="582" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#49;&#53;&#49;&#32;&#61;&#32;&#49;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#55;&#32;&#43;&#48;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#54;&#32;&#43;&#48;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#53;&#43;&#49;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#52;&#43;&#48;&middot;&#50;&#94;&#51;&#32;&#43;&#49;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#50;&#43;&#49;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#49;&#43;&#49;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#94;&#48;&#61;&#50;&#94;&#55;&#43;&#50;&#94;&#52;&#43;&#50;&#94;&#49;&#43;&#50;&#94;&#48;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

(我们通过将n的每一位二进制数n乘以一个2的幂次)将n表示出来:

也就是说,我们可以得到:

<p class="ql-center-displayed-equation" style="line-height: 19px;"><span class="ql-right-eqno"> &nbsp; </span><span class="ql-left-eqno"> &nbsp; </span><img loading="lazy" src="https://www.chenquan.me/wp-content/ql-cache/quicklatex.com-573ac485a430cfc095b5237040270e5f_l3.png" height="19" width="376" class="ql-img-displayed-equation quicklatex-auto-format" alt="&#92;&#91;&#49;&#53;&#49;&#92;&#100;&#111;&#116;&#32;&#80;&#32;&#61;&#32;&#50;&#94;&#55;&middot;&#80;&#32;&#43;&#50;&#94;&#52;&middot;&#80;&#43;&#50;&#94;&#50;&middot;&#80;&#43;&#50;&#94;&#49;&middot;&#80;&#43;&#50;&#94;&#48;&middot;&#80;&#92;&#93;" title="Rendered by QuickLaTeX.com"/></p>

double and add 算法主要步骤如下:

  • 得到一个P
  • 将P乘以2所以我们得到2P
  • 将2P+P(为了得到2^1P+2^0P
  • 再将2P乘以2得到2^2P
  • 将其相加得到2^2P + 2^1P+2^0P
  • 将2^2P乘以2得到2^3P
  • 不要将2^3执行相加步骤
  • 将2^3P乘以2得到2^4P
  • 将其加上我们的结果(所以我们得到了2^4P+2^2P+2^1P+2^0P)

最后,我们可以通过_double and add_算法计算出151·P的结果

如果这还不够清楚,那么这里有一个python脚本实现了这个算法:

def bits(n):
    """
    Generates the binary digits of n, starting
    from the least significant bit.

    bits(151) -> 1, 1, 1, 0, 1, 0, 0, 1
    """
    while n:
        yield n & 1
        n >>= 1

def double_and_add(n, x):
    """
    Returns the result of n * x, computed using
    the double and add algorithm.
    """
    result = 0
    addend = x

    for bit in bits(n):
        if bit == 1:
            result += addend
        addend *= 2

    return result

如果doubleadd的复杂度均为_O(1)_那么这个算法的复杂度为_O(log n)_或者为_O(k)_如果这个bit的长度是确定的),这非常棒。这比原来的_O(n)_算法好多了

对数(Logarithm)

给定的_n_和P,我们至少能够在一个多项式时间内将_Q = nP_计算出来,但是如果反过来呢?如果我们预先知道Q和P然后需要算出n?这个问题就是典型的对数问题,我们将之称为”对数“而不是”除法“是为了整合其他的加密系统(同样的我们也用幂来取代乘法)。

我并不知道任何用来解对数问题的”easy“算法,然而playing with multiplication 展现了一些简单的模式。举例而言:现在有一个曲线y^2 = x^3-3x+1 以及其上的点P=(0,1) 。我们可以快速地验证是否正确。如果_n_是奇数,_nP_就在曲线的左半平面;如果n是偶数那么_nP_就在右半平面。如果我们做一些更加深入的实验,我们可能会找到更多的套路,最终能够带领我们写出一种能够在曲线上高效计算对数的算法。

但是这里仍然存在很多对数问题:离散问题(the discrete logarithm)。如果我们减小我们椭圆曲线的域,那么纯量相乘仍然是”easy”的,而离散对数却是”hard”问题,这个对偶关系这正是椭圆曲线加密系统最重要的一块砖瓦。

待续

接下来我们将会讨论有限域(finite fields)以及离散对数问题,敬请期待。

参考文献:
http://andrea.corbellini.name/2015/05/17/elliptic-curve-cryptography-a-gentle-introduction/