❶ 高中生如何理解比特币加密算法
加密算法是数字货币的基石,比特币的公钥体系采用椭圆曲线算法来保证交易的安全性。这是因为要攻破椭圆曲线加密就要面对离散对数难题,目前为止还没有找到在多项式时间内解决的办法,在算法所用的空间足够大的情况下,被认为是安全的。本文不涉及高深的数学理论,希望高中生都能看懂。
密码学具有久远的历史,几乎人人都可以构造出加解密的方法,比如说简单地循环移位。古老或简单的方法需要保密加密算法和秘钥。但是从历史上长期的攻防斗争来看,基于加密方式的保密并不可靠,同时,长期以来,秘钥的传递也是一个很大的问题,往往面临秘钥泄漏或遭遇中间人攻击的风险。
上世纪70年代,密码学迎来了突破。Ralph C. Merkle在1974年首先提出非对称加密的思想,两年以后,Whitfield Diffie和Whitfield Diffie两位学者以单向函数和单向暗门函数为基础提出了具体的思路。随后,大量的研究和算法涌现,其中最为著名的就是RSA算法和一系列的椭圆曲线算法。
无论哪一种算法,都是站在前人的肩膀之上,主要以素数为研究对象的数论的发展,群论和有限域理论为基础。内容加密的秘钥不再需要传递,而是通过运算产生,这样,即使在不安全的网络中进行通信也是安全的。密文的破解依赖于秘钥的破解,但秘钥的破解面临难题,对于RSA算法,这个难题是大数因式分解,对于椭圆曲线算法,这个难题是类离散对数求解。两者在目前都没有多项式时间内的解决办法,也就是说,当位数增多时,难度差不多时指数级上升的。
那么加解密如何在公私钥体系中进行的呢?一句话,通过在一个有限域内的运算进行,这是因为加解密都必须是精确的。一个有限域就是一个具有有限个元素的集合。加密就是在把其中一个元素映射到另一个元素,而解密就是再做一次映射。而有限域的构成与素数的性质有关。
前段时间,黎曼猜想(与素数定理关系密切)被热炒的时候,有一位区块链项目的技术总监说椭圆曲线算法与素数无关,不受黎曼猜想证明的影响,就完全是瞎说了。可见区块链项目内鱼龙混杂,确实需要好好洗洗。
比特币及多数区块链项目采用的公钥体系都是椭圆曲线算法,而非RSA。而介绍椭圆曲线算法之前,了解一下离散对数问题对其安全性的理解很有帮助。
先来看一下 费马小定理 :
原根 定义:
设(a, p)=1 (a与p互素),满足
的最下正整数 l,叫作a模p的阶,模p阶为(最大值)p-1的整数a叫作模p的原根。
两个定理:
基于此,我们可以看到,{1, 2, 3, … p-1} 就是一个有限域,而且定义运算 gi (mod p), 落在这个有限域内,同时,当i取0~p-2的不同数时,运算结果不同。这和我们在高中学到的求幂基本上是一样的,只不过加了一层求模运算而已。
另一点需要说明的是,g的指数可以不限于0~p-2, 其实可以是所有自然数,但是由于
所以,所有的函数值都是在有限域内,而且是连续循环的。
离散对数定义:
设g为模p的原根,(a,p) = 1,
我们称 i 为a(对于模p的原根g)的指数,表示成:
这里ind 就是 index的前3个字母。
这个定义是不是和log的定义很像?其实这也就是我们高中学到的对数定义的扩展,只不过现在应用到一个有限域上。
但是,这与实数域上的对数计算不同,实数域是一个连续空间,其上的对数计算有公式和规律可循,但往往很难做到精确。我们的加密体系里需要精确,但是在一个有限域上的运算极为困难,当你知道幂值a和对数底g,求其离散对数值i非常困难。
当选择的素数P足够大时,求i在时间上和运算量上变得不可能。因此我们可以说i是不能被计算出来的,也就是说是安全的,不能被破解的。
比特币的椭圆曲线算法具体而言采用的是 secp256k1算法。网上关于椭圆曲线算法的介绍很多,这里不做详细阐述,大家只要知道其实它是一个三次曲线(不是一个椭圆函数),定义如下:
那么这里有参数a, b;取值不同,椭圆曲线也就不同,当然x, y 这里定义在实数域上,在密码体系里是行不通的,真正采用的时候,x, y要定义在一个有限域上,都是自然数,而且小于一个素数P。那么当这个椭圆曲线定义好后,它反应在坐标系中就是一些离散的点,一点也不像曲线。但是,在设定的有限域上,其各种运算是完备的。也就是说,能够通过加密运算找到对应的点,通过解密运算得到加密前的点。
同时,与前面讲到的离散对数问题一样,我们希望在这个椭圆曲线的离散点阵中找到一个有限的子群,其具有我们前面提到的遍历和循环性质。而我们的所有计算将使用这个子群。这样就建立好了我们需要的一个有限域。那么这里就需要子群的阶(一个素数n)和在子群中的基点G(一个坐标,它通过加法运算可以遍历n阶子群)。
根据上面的描述,我们知道椭圆曲线的定义包含一个五元祖(P, a, b, G, n, h);具体的定义和概念如下:
P: 一个大素数,用来定义椭圆曲线的有限域(群)
a, b: 椭圆曲线的参数,定义椭圆曲线函数
G: 循环子群中的基点,运算的基础
n: 循环子群的阶(另一个大素数,< P )
h:子群的相关因子,也即群的阶除以子群的阶的整数部分。
好了,是时候来看一下比特币的椭圆曲线算法是一个怎样的椭圆曲线了。简单地说,就是上述参数取以下值的椭圆曲线:
椭圆曲线定义了加法,其定义是两个点相连,交与图像的第三点的关于x轴的对称点为两个点的和。网上这部分内容已经有很多,这里不就其细节进行阐述。
但细心的同学可能有个疑问,离散对数问题的难题表现在求幂容易,但求其指数非常难,然而,椭圆曲线算法中,没有求幂,只有求乘积。这怎么体现的是离散对数问题呢?
其实,这是一个定义问题,最初椭圆曲线算法定义的时候把这种运算定义为求和,但是,你只要把这种运算定义为求积,整个体系也是没有问题的。而且如果定义为求积,你会发现所有的操作形式上和离散对数问题一致,在有限域的选择的原则上也是一致的。所以,本质上这还是一个离散对数问题。但又不完全是简单的离散对数问题,实际上比一般的离散对数问题要难,因为这里不是简单地求数的离散对数,而是在一个自定义的计算上求类似于离散对数的值。这也是为什么椭圆曲线算法采用比RSA所需要的(一般2048位)少得多的私钥位数(256位)就非常安全了。
❷ 送分了!!!您出个数学题给我做
1)第一个问题:用4个5,采用加减乘除的方法,得到24,如何立式?
2)第二个问题:用三根火柴,如何放置,得到一个大于3小于4的数?
3)第三个问题:诸如1/3、4/9、10/21、100/201等等这类的分数称为成功分数,请用三个成功分数填空()*()/()=7/16,其中括号里为成功分数。
4)第四个问题:见图片,小明院内有一个边长为2米正五边形物体,他用一个长为5米绳子绷紧后将小狗栓在五边形的一个脚上,小狗从A点出发,围绕五边形跑,问小狗能跑多远,路程是多少?
❸ 质数币的简介
质数币XPM简介
质数币XPM和其它所有的电子货币都不同,它是全世界第一个为数学问题而提出的电子货币。质数币可以给数学学术界带来一定的科研贡献。质数,又叫做素数。如果一个数字,只能被1和它本身整除,那么这个数字就称为质数,比如3、11、37都是质数,质数在数学界中,存在着很多的疑难问题,比如著名的哥德巴赫猜想、黎曼猜想、孪生质数猜想、费马数、梅森质数等等,这些问题的解决,可以对人类的科学技术的发展,起到非常重要的促进作用XPM挖矿和传统的比特币挖矿原理截然不同,传统的比特币挖矿,只是简单的对一组密码进行暴力破解,而XPM的设计理念,是集合大家所有人的计算机能力,对学术界中的疑难问题进行破解,比如寻找最大的质数等等。这将对人类的科技进步带来一定程度上的帮助。
Primecoin每一分钟产生1个区块,每个区块包含若干个XPM的奖励(奖励数量取决于破解质数的难度)。当前,尚未有人研发出XPM的显卡挖矿程序,因此,质数币XPM只能通过CPU去挖掘。
质数币价格曲线与比特币基本保持一致。随着发现质数的位数增加,开采将会越来越困难。随着科技的进步cpu与gpu算率提升才有机会增加质数币的开采。由于质数币上了btc-e的交易所,价格基本稳定。
❹ 显卡挖矿解决了什么数学问题,挖矿中,显卡的计算产物能解决啥问题啊
显卡挖矿其实就是通过炒作一个数字货币的概念来盈利,并不是为了解决什么实际问题或者实际应用。也许数字货币概念在提出时,也能算是有一定应用价值的(当然就目前来看这种挖出来的数字货币通常也没被应用在什么好的方面),但是随着其热度的不断提升,整个产业的上下游本质上都已经是在炒概念了。
❺ 在数学界有著名的3大猜想,它们都是什么猜想猜想的内容是什么
四色猜想(三大数学难题之三)
世界近代三大数学难题之一。四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。
1852年10月23日,他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密尔顿逝世为止,问题也没有能够解决。
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了。
11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也被人们否定了。后来,越来越多的数学家虽然对此绞尽脑汁,但一无所获。于是,人们开始认识到,这个貌似容易的题目,其实是一个可与费马猜想相媲美的难题:先辈数学大师们的努力,为后世的数学家揭示四色猜想之谜铺平了道路。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年,伯克霍夫在肯普的基础上引进了一些新技巧,美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年,有人从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动了世界。它不仅解决了一个历时100多年的难题,而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。
哥德巴赫猜想(三大数学难题之二)
世界近代三大数学难题之一。哥德巴赫是德国一位中学教师,也是一位著名的数学家,生于1690年,1725年当选为俄国彼得堡科学院院士。1742年,哥德巴赫在教学中发现,每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和。如6=3+3,12=5+7等等。
公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler),提出了以下的猜想:
(a) 任何一个>=6之偶数,都可以表示成两个奇质数之和。
(b) 任何一个>=9之奇数,都可以表示成三个奇质数之和。
这就是着名的哥德巴赫猜想。欧拉在6月30日给他的回信中说,他相信这个猜想是正确的,但他不能证明。叙述如此简单的问题,连欧拉这样首屈一指的数学家都不能证明,这个猜想便引起了许多数学家的注意。从费马提出这个猜想至今,许多数学家都不断努力想攻克它,但都没有成功。当然曾经有人作了些具体的验证工作,例如: 6 = 3 + 3, 8 = 3 + 5, 10 = 5 + 5 = 3 + 7, 12 = 5 + 7, 14 = 7 + 7 = 3 + 11,16 = 5 + 11, 18 = 5 + 13, . . . . 等等。有人对33×108以内且大过6之偶数一一进行验算,哥德巴赫猜想(a)都成立。但验格的数学证明尚待数学家的努力。
从此,这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了,没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代,才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明,得出了一个结论:每一个比大的偶数都可以表示为(99)。这种缩小包围圈的办法很管用,科学家们于是从(9十9)开始,逐步减少每个数里所含质数因子的个数,直到最后使每个数里都是一个质数为止,这样就证明了“哥德巴赫”。
目前最佳的结果是中国数学家陈景润於1966年证明的,称为陈氏定理(Chen‘s Theorem) ? “任何充份大的偶数都是一个质数与一个自然数之和,而后者仅仅是两个质数的乘积。” 通常都简称这个结果为大偶数可表示为 “1 + 2 ”的形式。
在陈景润之前,关於偶数可表示为 s个质数的乘积 与t个质数的乘积之和(简称“s + t ”问题)之进展情况如下:
1920年,挪威的布朗(Brun)证明了 “9 + 9 ”。
1924年,德国的拉特马赫(Rademacher)证明了“7 + 7 ”。
1932年,英国的埃斯特曼(Estermann)证明了 “6 + 6 ”。
1937年,意大利的蕾西(Ricei)先后证明了“5 + 7 ”, “4 + 9 ”, “3 + 15 ”和“2 + 366。
1938年,苏联的布赫 夕太勃(Byxwrao)证明了“5 + 5 ”。
1940年,苏联的布赫 夕太勃(Byxwrao)证明了 “4 + 4 ”。
1948年,匈牙利的瑞尼(Renyi)证明了“1 + c ”,其中c是一很大的自然 数。
1956年,中国的王元证明了 “3 + 4 ”。
1957年,中国的王元先后证明了 “3 + 3 ”和 “2 + 3 ”。
1962年,中国的潘承洞和苏联的巴尔巴恩(BapoaH)证明了 “1 + 5 ”, 中国的王元证明了“1 + 4 ”。
1965年,苏联的布赫 夕太勃(Byxwrao)和小维诺格拉多夫(BHHopappB),及 意大利的朋比利(Bombieri)证明了“1 + 3 ”。
1966年,中国的陈景润证明了 “1 + 2 ”。
最终会由谁攻克 “1 + 1 ”这个难题呢?现在还没法预测。
费尔马大定理及其证明(三大数学难题之一)
近代数学如参天大树,已是分支众多,枝繁叶茂。在这棵苍劲的大树上悬挂着不胜其数的数学难题。其中最耀眼夺目的是四色地图问题、费尔马大定理和哥德巴赫猜想。它们被称为近代三大数学难题。
300多年以来,费尔马大定理使世界上许多著名数学家殚精竭虑,有的甚至耗尽了毕生精力。费尔马大定理神秘的面纱终于在1995年揭开,被43岁的英国数学家维尔斯一举证明。这被认为是“20世纪最重大的数学成就”。
费尔马大定理的由来
故事涉及到两位相隔1400年的数学家,一位是古希腊的丢番图,一位是法国的费尔马。丢番图活动于公元250年前后。
1637年,30来岁的费尔马在读丢番图的名著《算术》的法文译本时,他在书中关于不定方程 x2+ y2 =z2 的全部正整数解这页的空白处用拉丁文写道:“任何一个数的立方,不能分成两个数的立方之和;任何一个数的四次方,不能分成两个数的四次方之和,一般来说,不可能将一个高于二次的幂分成两个同次的幂之和。我已发现了这个断语的美妙证法,可惜这里的空白地方太小,写不下。”
费尔马去世后,人们在整理他的遗物时发现了这段写在书眉上的话。1670年,他的儿子发表了费尔马的这一部分页端笔记,大家才知道这一问题。后来,人们就把这一论断称为费尔马大定理。用数学语言来表达就是:形如xn +yn =zn 的方程,当n大于2时没有正整数解。
费尔马是一位业余数学爱好者,被誉为“业余数学家之王”。1601年,他出生在法国南部图卢兹附近一位皮革商人的家庭。童年时期是在家里受的教育。长大以后,父亲送他在大学学法律,毕业后当了一名律师。从1648年起,担任图卢兹市议会议员。
他酷爱数学,把自己所有的业余时间都用于研究数学和物理。由于他思维敏捷,记忆力强,又具备研究数学所必须的顽强精神,所以,获得了丰硕的成果,使他跻身于17世纪大数学家之列。
艰难的探索
起初,数学家想重新找到费尔马没有写出来的那个“美妙证法”,但是谁也没有成功。著名数学家欧拉用无限下推法证明了方程 x3+ y3 =z3 和 x4 + y4 =z4 不可能有正整数解。
因为任何一个大于2的整数,如果不是4的倍数,就一定是某一奇素数或它的倍数。因此,只要能证明n=4以及n是任一奇素数时,方程都没有正整数解,费尔马大定理就完全证明了。n=4的情形已经证明过,所以,问题就集中在证明n等于奇素数的情形了。
在欧拉证明了 n= 3, n= 4以后, 1823年和 1826年勒让德和狄利克雷各自独立证明了 n= 5的情形, 1839年拉梅证明了 n= 7的情形。就这样,一个一个奇素数证下去的长征便开始了。
其中,德国数学家库默尔作出了重要贡献。他用近世代数的方法,引入了自己发明的“理想数”和“分圆数”的概念,指出费尔马大定理只可能在n等于某些叫非正则素数的值时,才有可能不正确,所以只需对这些数进行研究。这样的数,在100以内,只有37、59、67三个。他还具体证明了当 n= 37、59、67时,方程xn+ yn=zn是不可能有正整数解的。这就把费尔马大定理一下推进到n在100以内都是成立的。库默尔“成批地”证明了定理的成立,人们视之为一次重大突破。1857年,他获得巴黎科学院的金质奖章。
这一“长征”式的证法,虽然不断地刷新着记录,如 1992年更进到n=1000000,但这不等于定理被证明。看来,需要另辟蹊径。
10万马克奖给谁
从费尔马时代起,巴黎科学院曾先后两次提供奖章和奖金,奖励证明费尔马大定理的人,布鲁塞尔科学院也悬赏重金,但都无结果。1908年,德国数学家佛尔夫斯克尔逝世的时候,将他的10万马克赠给了德国哥庭根科学会,作为费尔马大定理的解答奖金。
哥庭根科学会宣布,奖金在100年内有效。哥庭根科学会不负责审查稿件。
10万马克在当时是一笔很大的财富,而费尔马大定理又是小学生都能听懂题意的问题。于是,不仅专搞数学这一行的人,就连很多工程师、牧师、教师、学生、银行职员、政府官吏和一般市民,都在钻研这个问题。在很短时间内,各种刊物公布的证明就有上千个之多。
当时,德国有个名叫《数学和物理文献实录》的杂志,自愿对这方面的论文进行鉴定,到 1911年初为止,共审查了111个“证明”,全都是错的。后来实在受不了沉重的审稿负担,于是它宣布停止这一审查鉴定工作。但是,证明的浪潮仍汹涌澎湃,虽然两次世界大战后德国的货币多次大幅度贬值,当初的10万马克折算成后来的马克已无多大价值。但是,热爱科学的可贵精神,还在鼓励着很多人继续从事这一工作。
姗姗来迟的证明
经过前人的努力,证明费尔马大定理取得了许多成果,但离定理的证明,无疑还有遥远的距离。怎么办?来必须要用一种新的方法,有的数学家用起了传统的办法——转化问题。
人们把丢番图方程的解与代数曲线上的某种点联系起来,成为一种代数几何学的转化,而费尔马问题不过是丢番图方程的一个特例。在黎曼的工作基础上,1922年,英国数学家莫德尔提出一个重要的猜想。:“设F(x,y)是两个变数x、y的有理系数多项式,那么当曲线F(x,y)= 0的亏格(一种与曲线有关的量)大于1时,方程F(x,y)=0至多只有有限组有理数”。1983年,德国29岁的数学家法尔廷斯运用苏联沙法拉维奇在代数几何上的一系列结果证明了莫德尔猜想。这是费尔马大定理证明中的又一次重大突破。法尔廷斯获得了1986年的菲尔兹奖。
维尔斯仍采用代数几何的方法去攀登,他把别人的成果奇妙地联系起来,并且吸取了走过这条道路的攻克者的经验教训,注意到一条崭新迂回的路径:如果谷山——志村猜想成立,那么费尔马大定理一定成立。这是1988年德国数学家费雷在研究日本数学家谷山——志村于1955年关于椭圆函数的一个猜想时发现的。
维尔斯出生于英国牛津一个神学家庭,从小对费尔马大定理十分好奇、感兴趣,这条美妙的定理导致他进入了数学的殿堂。大学毕业以后,他开始了幼年的幻想,决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究,守口如瓶,不透半点风声。
穷七年的锲而不舍,直到1993年6月23日。这天,英国剑桥大学牛顿数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果作了长达两个半小时的发言。10点30分,在他结束报告时,他平静地宣布:“因此,我证明了费尔马大定理”。这句话像一声惊雷,把许多只要作例行鼓掌的手定在了空中,大厅时鸦雀无声。半分钟后,雷鸣般的掌声似乎要掀翻大厅的屋顶。英国学者顾不得他们优雅的绅士风度,忘情地欢腾着。
消息很快轰动了全世界。各种大众传媒纷纷报道,并称之为“世纪性的成就”。人们认为,维尔斯最终证明了费尔马大定理,被列入1993年世界科技十大成就之一。
可不久,传媒又迅速地报出了一个“爆炸性”新闻:维尔斯的长达200页的论文送交审查时,却被发现证明有漏洞。
维尔斯在挫折面前没有止步,他用一年多时间修改论文,补正漏洞。这时他已是“为伊消得人憔悴”,但他“衣带渐宽终不悔”。1994年9月,他重新写出一篇108页的论文,寄往美国。论文顺利通过审查,美国的《数学年刊》杂志于1995年5月发表了他的这一篇论文。维尔斯因此获得了1995~1996年度的沃尔夫数学奖。
经过 300多年的不断奋战,数学家们世代的努力,围绕费尔马大定理作出了许多重大的发现,并促进了一些数学分支的发展,尤其是代数数论的进展。现代代数数论中的核心概念“理想数”,正是为了解决费尔马大定理而提出的。难怪大数学家希尔伯特称赞费尔马大定理是“一只会下金蛋的母鸡”。