区块链:密码学研究 | 动手计算双线性对(上)

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

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

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

海南大学密码学院获批国家重点研发计划“区块链”重点专项项目:金色财经报道,近日,海南大学密码学院教授曹春杰牵头,联合中科院信息工程研究所、西安电子科技大学、中国电子科技集团有限公司、国家信息中心等单位科研团队申报的国家重点研发计划“区块链”重点专项项目获得立项批复。

该项目在海南落地实施,并开展区块链技术在金融科技、政务民生、社会治理等场景下的示范应用,将有利于推动海南自贸港开放环境下区块链应用生态的健康发展,为我国区块链监管技术的创新发展探索路径、积累经验、提供示范。(南海网海南新闻)[2022/3/21 14:08:26]

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

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

3+3=6,也就是mod7=6

3+6=2,也就是mod7=2

密码学家发现MetaMask存在可致用户IP地址泄露的漏洞:金色财经报道,OMNIA协议的联合创始人、安全分析师和密码学家Alexandru Lupascu称MetaMask钱包存在漏洞风险,恶意攻击者可以简单地创建一个NFT,并通过转移该NFT的免费所有权来获取用户的IP地址,黑客只需花费50美元就能攻击他人的隐私。

Lupascu表示,他在2021年12月14日发现了这个安全漏洞,并向MetaMask团队提出了解决方案,但他们忽视了这个问题,并表示将在2022年第二季度之前解决。

在这项研究向公众展示之后,MetaMask的创始人Daniel Finlay承认了这一事件:“我认为这个问题已经被大众广泛知晓很久了,所以我认为披露期并不适用。”Finlay补充说:“Lupascu说我们没有尽早解决这个问题,他说得没错。我们现在就开始着手解决这一问题。谢谢你的提醒。”(BeInCrypto)[2022/1/23 9:07:16]

4×2=1,也就是mod7=1

所谓模素数就是说取模操作针对的是某个素数p,例如上述的7,或者curve101中的101。p是素数这个细节是关键的,在下文介绍带模乘法的逆运算时你将会对这一点的必要性有更深的体会。

声音 | 法国密码学专家:将用于莫斯科市政选举的区块链投票系统并不安全:一位法国密码学专家的研究报告显示,被用于莫斯科秋季市政选举的一个区块链投票系统很容易遭到黑客攻击。法国政府科研机构CNRS的研究员Pierrick Gaudry在其论文中研究了这一基于以太坊的电子投票平台的公共代码。 Gaudry总结称,部分代码使用的加密方案“完全不安全”。(Coindesk)[2019/8/16]

有了模加法,我们可以定义其逆运算是模减法,例如:

6-3=3,也就是mod7=6

2-6=3,也就是mod7=3

同理,有了模乘法,自然而然会想到去定义其逆运算“模除法”。但是加、减、乘我们可以直接正向计算得到,“模除法”就比较困难。例如为了求3/2等于几必须思考哪个数乘以2等于3,而这个思考过程并不是特别直接。好在我们模7的例子中涉及到的元素并不多,因此通过穷举就能找到答案:因为2×5=3,所以3/2等于5。

需要注意到3/2其实可以转化为3×(1/2),而因为刚才我们计算过4×2=1,所以1/2的值我们其实是知道的。因此3/2=5可以通3×4=5计算出来。这启发我们可以枚举全部形如1/n的数得到一个“倒数表”,然后借助“倒数表”将除法转化为乘法进行。

金色财经现场报道 现代密码学之父:近几年是密码学的又一次复兴:金色财经现场报道,今日在Coindesk 2018共识会议上,现代密码学之父,图灵奖得主,Cryptic Labs首席科学家Whitfield Diffie表示,最近几年是密码学的又一次复兴,区块链是密码学方面的重新对焦。他表示喜欢“引入市场力量”的说法, 从市场力量的角度看待密码学的发展可能是最好的。Diffie还称赞了比特币创始人Satoshi,他说:“多年来密码学领域的许多人都想到如何发展金钱技术,在Satoshi之前没有人取得成功。”[2018/5/15]

模7逆元表

按习惯,我们一般不用1/n的写法,也不用“倒数”这个称呼。而是将1/n写做?n-1,并将其称为n的逆元。下文我们将遵从习惯,使用逆元这个叫法。显而易见的是,在不同的模系统中,同一个数的逆元是不同的。比如模7系统中,3的逆元是5;而模11系统中3的逆元是4。因此除非有明确的语境和上下文,否则为了避免歧义,还要说明逆元是模几的逆元才有意义,比如一个完整的说法是:3的模7逆元是5。

美国国家标准和技术研究所的研究人员宣布 密码学中随机数的方面出现突破:美国国家标准和技术研究所的研究人员最近宣布,在密码学最重要的一个“随机数的产生”方面取得了突破。这种实验性的新技术可能会对网络安全产生巨大影响。在以电子方式运行现代世界的“1”和“0”的数字面纱后面,随机数字每天都要在加密过程中进行数千亿次的排序,这些过程通过不断扩大的互联网为全球提供数据。[2018/4/19]

在模7的系统中,我们为每个元素都找到了逆元,在模17和模101的系统中也可以完成这样的操作。那么我们自然而然会想:是否在任何模的情况下都能为每个元素找到逆元呢?答案是否定的,例如在模8的系统中,找不到任何一个数乘以2等于1,也就是说在模8的系统中计算1/2这个“除法”是没有意义的。实际上,只有在模为素数的情况下才能为每个元素都找到逆元,也就是说在模素数的情况下我们才可以给任意两个元素计算“除法”。在这样的模素数系统中,任意两个元素都能完成加减乘除四则运算,我们称模7加法、模7乘法和集合{0,1,2,3,4,5,6}组成一个有限域:模7剩余类域。

所谓“有限”的意思就是集合的元素是有限的,比如这里的7个元素。虽然在本篇科普性质的文章对待数学概念都并非十分严格和谨慎,但是这里仍然能够揭示域的一些关键性质。比如我们发现仅利用集合中的元素就能够计算四则运算。模7剩余类域是这样,有理数域、复数域等也都是这样,意识到这一点就已经足够完成后面文章的阅读了。我们后面用Fp代指模p剩余类域,例如F7,F101等。

讨论完了加减乘除四则运算,按照我们曾经学习有理数的思路,我们来考虑开平方运算。例如3×3mod7=2,所以3是2的“平方根”。如果某个非零元素是可以开平方根的,我们称这样的元素为模7的二次剩余,否则就叫模7的二次非剩余。这样我们可以列出下面一张表:

可以注意到,二次剩余的个数和二次非剩余的个数是相等的,二次剩余的逆元仍然是二次剩余,二次非剩余的逆元也仍然是二次非剩余;而且我们还注意到,每个二次剩余都有两个根并且他们的和为0,这一点性质像极了正实数:正实数的平方根总有两个,他们互为相反数。

如何判定一个数是否为二次剩余和如何求二次剩余都是有趣和实用的问题。比如在动手计算双线性对会谈到的椭圆曲线中,已知x坐标和椭圆曲线方程求y的过程就需要考虑计算二次剩余的问题。相关的方法一般会涉及到勒让德符号等。而在我们的讨论的例子中因为元素的数量很少,我们一般采用穷举的方法就能解决。

经过上面的演算,我们发现3在F7中没有“平方根”,也就是不存在某个数其平方模7为3。类比复数域对实数域的扩展,我们假设3的一个平方根为j,即j*jmod7=3。现在我们把j加入到{0,1,2,3,4,5,6}集合中,然后尝试再加入一些其他元素使得新的集合仍然构成一个域。

首先为了能够计算加法和减法,至少还要加入j、1+j、2+j、3+j、4+j、5+j、6+j,为了能够计算乘法我们至少还要加入j、2j、3j、4j、6j、6j,最终我们发现一个新的能够计算四则运算的集合至少要有下面49个元素:

例如6j+j=0;(3+j)(5+2j)=4j;(4+4j)-1=6-6j

那么仅用这49个元素能够完成四则运算吗?答案是肯定的,虽然本文不去严格证明这一点,但是可以简单揭示一些其中的原因:

对于加法和减法,我们很容易验证任意两个元素的和、差都在还在集合中;对于乘法,因为j×j=3这条规则,简单验证后我们就能发现任何两个元素的积还是在集合中;唯一需要仔细考虑一下的是除法;对于除法,我们总可以通过如下方式计算a+bj的逆元:

因为a和b是F7中的元素,因此a2-3b2?也是F7中的元素,因此可以判定a2-3b2?的逆元仍然是{0,1,2,3,4,5,6}中的元素。所以最后可以发现a+bj的逆元是(a-bj)(a2-3b2)-1,它仍然落在49个元素之中。所以新的49个元素组成的集合不但包含{0,1,2,3,4,5,6,j},而且能够计算四则运算。这个新的集合其实也是一个有限域,我们称其为F7的二次扩域,记为F72,之所以是“二次”,我们可以这样粗暴的理解:每个F72中的元素需要两个F7的元素通过组合的方式来表示。

本篇介完了关于模运算和模p剩余类域的一些基础知识,下一篇“动手计算双线性对”,我们会介绍关于有限域上椭圆曲线的一些例子和知识,届时会使用到本篇中的内容,敬请期待。

作者简介

乔沛杨趣链科技基础平台部区块链底层密码学小组

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-1:606ms