前言
上一篇分享了“模运算”相关的知识,并且计算了一些有限域的例子,这一篇我们讨论在通用零知识证明中经常提到的椭圆曲线和双线性配对。椭圆曲线作为双线性对的基础和前置知识,我们首先介绍一下其在实数域上的表现形式,然后通过计算的方法列出”F_101”和其扩域“F_101^2”上的全部元素的列表。
椭圆曲线相关知识---曲线方程
椭圆曲线的一般形式的方程其实比较复杂,称为Weierstrass方程,形如下面的形式:
我们先将a,b,c,d,e随意的取值为1,2,3,4,5,并通过画图来查看曲线在直角坐标系上的表现形式。根据二次方程求根公式,我们将其变换为x关于y的函数
徐明星新书《趣说金融史》正式发布 科普金融发展之道:金色财经现场报道,9月23日,欧科云链创始人徐明星携手著名财经作家李霁月、行业观察者顾泽辉力作《趣说金融史》一书,跨越5000年金融历史,重读金钱故事,并预测新的金融时代。该书由中信出版社出版,将于近期正式发售。据了解,本书可以更好地呈现金融的起源与发展,帮助人们理解货币、金融与未来经济。作为区块链行业领军企业——欧科云链的创始人,徐明星深知技术探索对经济社会的重要推动作用,他曾先后出版过《图说区块链》、《区块链:重塑经济与世界》、《通证经济》、《链与未来》等行业权威著作,解读区块链等新型技术的推动下,金融与社会的升级之道,对经济社会发展做出了重大贡献。其中,《区块链:重塑经济与世界》曾作为新中国70周年重点推荐图书之一被相关书店推荐。[2021/9/23 17:00:57]
欧科云链集团正式启动区块链科普行动“星途计划”:欧科云链集团于4月26日,正式宣布启动了区块链科普行动——“星途计划”,行动包括将在全国范围展开系列沙龙,加大力度推进区块链科普进机关、进国企、进校园等,联合政府部门、行业协会等共同构建起更加完善和有效的区块链科普教育生态,与此同时,直击区块链科普现存痛点,推出简单易懂的“秒懂区块链”公益短视频课。
该计划旨在全维度推动社会建立对产业更清晰的认知,与“鲲鹏计划”一道助力数字经济及区块链产业本身健康发展夯实“人才”和“产业认知”两大基础。[2021/4/26 20:59:37]
根据方程作图如下:
根据上面的方程和作图过程了解道,曲线由上下两个半支组成,关于y=0.5对称。
对称的总是美的,但是这个曲线却有一点瑕疵,他的对称轴并不是x轴而是y=0.5。考虑到Weierstrass太过复杂,人们更经常使用的是在Weierstrass方程的基础上进行一些坐标变换和参数化简后的形式。新的形式关于x轴对称。
欧易OKEx将于3月18日推出DeFi系列科普视频:据欧易OKEx官方消息显示,欧易OKEx将正式推出DeFi系列科普视频《欧易DeFi20讲》,本系列节目由欧易OKEx亚太区CEO马克金主讲。该视频首期将于3月18日11:00(HKT)推出,用户可以在欧易OKEx官方学院、金色财经观看。
《欧易DeFi20讲》主要包含DeFi入门指南、全景解读DeFi生态及如何参与DeFi三个篇章,可以轻松使用户了解DeFi原理,洞察DeFi价值,掌握DeFi热点,更多详情请关注欧易OKEx官方学院。[2021/3/18 18:55:59]
当取a=0,b=3时,画出曲线如下图,容易验证是曲线上一点,对称的也是。
声音 | ETC Labs主管:科普教育是未来几年公链面临的巨大挑战:ETCLabs主管Darin Kotalik认为,科普教育是未来几年公链面临的巨大挑战,人们必须要对区块链有基本的认识,分清楚公链和私链的区别。[2019/8/25]
通过方程我们画出了曲线y^2=x^3+3的图像,但是说这就是椭圆曲线的图像其实并不准确。准确地说,我们画的是在实数域上这个方程的图像。在复数域上当然有更多的点也满足曲线方程但是我们的图像中并没有体现,例如。如果把曲线看作点的集合,那数域的扩张直接影响到我们要讨论的这个集合的大小,这在本文后半部分我们还会看到。
另外为了让其拥有更多的性质,我们认为椭圆曲线其实还包括一个“无穷远”点。这个点在图中并不能体现出来,我们也不能以直角坐标的形式写出这个点的坐标,但是当我们说椭圆曲线时默认其点的集合中包含这个点。“无穷远点”一般用"O?"表示。
椭圆曲线相关知识---点的运算
动态 | 浙江卫视节目科普支付宝区块链防伪溯源产品:昨日,在浙江卫视播出的科普综艺栏目《智造将来》现场,支付宝首次展示了支付宝区块链防伪溯源产品,以接地气的方式公开向大众展示区块链在生活中的应用。[2019/3/4]
就像讨论“F_7”时那样,有了元素的集合还需要有在集合上的运算。这条曲线就是椭圆曲线点的集合,但是为了构建密码算法还需要定义点的运算。不同于域中需要两种基本运算,这里我们只需要定义一种特殊的基本运算就可以,不妨将这种运算称作加法,用“+”表示。
通过几何意义可以清楚的理解这种运算的定义,例如我们选取了曲线上的两个点A和B计算加法,把A+B的结果记为C,过程如下:
1)过AB做直线,交曲线于T;
2)过T做x轴垂线,交曲线于C点,C即为所求;
需要说明的是,当两个“加数”位置的点为同一个点时,步骤一中所做的其实是过该点的切线。另外,当AB的连线本身就垂直于x轴时,我们规定AB和曲线的第三个交点是无穷远点“O”。
在这样的规则下容易发现,任何点P都有一个对应的P’,使得P+P’=O;并且任何点A和O的运算的结果都是A本身。而且因为连线AB和连线BA其实是同一条直线,因此我们也能够得知这里定义的点的加法是满足交换率的。
根据定义再结合一些解析几何的知识,就可以求出点加法的坐标计算公式。例如假设A和B的坐标分别为(Xa,Yb)和(Xa,Yb),那么C点坐标如下:
其中"λ"是直线AB连线的斜率,或者当A、B重合时是A点的切线斜率。
现在我们将转而讨论有限域上的椭圆曲线,其上的椭圆曲线表现为一些散布的点。在有限域上A+B虽然已经没有明确的几何意义,但是有同样的计算公式。我们已经验证过是椭圆曲线上的点,那么我们就把该点记为G,并且从该点开始,计算G,G+G,G+G+G...看看会有怎样的规律。
以G+G为例,我们进行演算,首先计算λ,也就是G点的斜率:
然后计算C点坐标:
因此G+G的坐标为。而G+2G稍稍有不同,主要是λ需要从切线斜率修改为过AB的直线斜率:
因此我们也计算出G+2G=3G的坐标,以此类推进行计算,我们得到下表
读者可以选择表中的点,例如(32,42),来验证其是否在曲线上,也就是是否满足曲线方程y^2=x^3+3mod101,相关演算我们不在本文赘述。
经过计算和验证可以发现,这一系列点构成了一个周期为17的循环。如果我们将k个G相加记为kG,并且将O看作0G,那么有17G=O。这像极了模17加法的规律,并且在模17加法和为0的两个数对应的两个椭圆曲线点的和正好是O,我们说这样的17个点和加法一起构成一个有17个元素的循环群。因为这只是一篇科普性质的文章,我们不给出循环群的严格定义,但是正如它的名字中强调的“循环”,循环群最突出的性质就是能够由某个元素不断运算从而得到全部。
需要强调的是这17个点并不是F_101上椭圆曲线的全部,但仅利用这17个元素组成的集合我们已经能够在其中完成点的加法运算,也就是说任意选择集合中两个点进行加法,其结果不会跳出到集合之外。
在本篇最后,我们展示17个点在直角坐标系中的分布,读者可以体会其中的对称之美。下一篇我们将找到另一个17个元素的循环群并且在其基础上计算双线性映射,敬请期待。
附录
▲表2:模101元素逆元表
乔沛杨
趣链科技基础平台区块链底层密码学小组
当一座拥有千万级别人口的大都市突然断电、断水、断网,将是一种怎样的体验?前段时间,国内接连遭遇暴雨、台风等天灾,郑州因为暴雨灾害导致了较长时间的断电、断水、断网,属实是度过了一段难熬的时期.
又是新的一周,NFT领域又一次的疯狂。Beeple创下了新的销售记录,但对于买家而言,这并不是传统的NFT.
吴说作者|ColinWu本期编辑|ColinWu近日,以腾讯、阿里巴巴为首的旗下NFT平台,在接受相关监管部门沟通后,纷纷删除了NFT相关字样,改名为“数字藏品”.
2021上海区块链国际周开放日期间,万向区块链区块链+技术部高级总监屠文慧、中国银联技术部资深技术专家周锦佳、微众银行金融科技首席研究员李斌及江西银行公司银行部副总经理李俊华受邀出席“区块链赋能.
巴比特讯,11月11日,Filecoin宣布将推出Filecoin虚拟机,为Filecoin网络引入智能合约的可编程性.
作者:参考消息网 据塔斯社莫斯科11月12日的报道,俄罗斯总统弗拉基米尔·普京认为,“元宇宙”带来的可能性应该用于突破距离的限制,帮助交流和学习,而不是逃避现实世界的出路.