可以安心过中秋了!黎曼猜想亡不了区块链!
失落的黎曼?
“加密世界充斥着恐慌,基于RSA的区块链项目要亡!”这种言论荒谬至极!其实,无论黎曼猜想被证明或被伪证,对区块链安全都不会有任何影响。
我们需要理性去看待它,这仅仅是数学界的一件大事罢了!
编辑 | kou
数学界的事儿,怎么和区块链扯上关系了?
欲颠覆世界的区块链竟然要被颠覆了?
加密世界充斥着一阵阵恐慌!
恐慌来自哪?
某媒体报道
2018年9月20日,菲尔兹奖和阿贝尔奖双料得主、英国皇家学会前主席Michael Atiyah爵士宣称自己证明了黎曼猜想,并将在9月24日海德堡获奖者论坛上宣讲。
而国内某媒体伺机报道,“黎曼猜想被证明,基于RSA的区块链项目都将湮灭!”
“黎曼猜想被证明,区块链的加密算法就要被破解了!”
“区块链要亡”
那么,什么是黎曼猜想?数学界的事儿,怎么和区块链扯上猫腻了?
如果不想知道这么多前因后果,可以直接跳过后两部分,第四部分是非常权威的解读!
黎曼猜想到底是什么鬼?
在讲黎曼猜想之前,先介绍一下黎曼这个人。
波恩哈德·黎曼
波恩哈德·黎曼(公元1826—1866年),是德国著名的数学家,他在数学分析和微分几何方面作出过重要贡献,他开创了黎曼几何,并且给后来爱因斯坦的广义相对论提供了数学基础。
“几何”一直是黎曼的主业,这又是一座深不可测的数学殿堂。
但今天聊的不是他的主业,而是他在1859年“闲暇之余”随手丢下的一个猜想。
那么这个猜想是什么呢?
要说清黎曼猜想,首先得说素数。
素数指那些只能被1和自己整除的整数,而每个整数都能表示成有限个素数的乘积,因此素数可以看做是自然数体系的原子。
无数的数学家表现出了对素数的兴趣,尤其是素数在自然数中的分布:区间内到底有多少个素数?
1859年年仅33岁的黎曼当选为德国柏林科学院通信院士,并提交了一篇论文《论小于已知数的素数的个数》,阐述了素数的精确分布规律。
黎曼在论文中定义了黎曼Zeta函数,它是一个关于复数s的函数,针对该函数自身的零点(非平凡零点),黎曼提出了三个命题。
该函数具有无穷个非平凡零点,且都分布在实部大于0但是小于1的带状区域内;
所有的非平凡零点都几乎全部位于实部等于1/2的直线上(该直线被称为临届线);
很有可能所有的非平凡零点都全部位于实部等于1/2的直线上。
可以看出这是三个递进的命题,而第三个命题就是150年来让无数数学家魂绕梦牵、寝食难安的黎曼猜想。
那么黎曼猜想和素数分布的具体关系是什么?
黎曼给出了自己的素数定理:
表示小于x的素数个数,
其中P就是Zeta函数的非平凡零点。
1901年瑞典数学家Helge von Koch指出黎曼猜想与强条件的素数定理等价。
黎曼的第一个命题直到46年以后才由德国数学家蒙戈尔特完全证明,虽然黎曼用轻松的语气在该命题下写到:这是一个显而易见的结论。
又过了9年,1914年英国数学家哈代终于证明了Zeta函数有无穷多个非平凡零点在临界线上。
但这并不能证明说Zeta函数的无穷多个非平凡零点都在临界线上,事实上,哈代在7年后与李特伍德合作指出已被证明位于临界线上的无穷多个非平凡零点跟全部无穷多个非平凡零点相比,所在比例是百分之零!
直到1942年,二战硝烟中的挪威数学家赛尔伯格才第一次证明了这个百分比大于零。
数学家们对Zeta函数的前十万亿个非平凡零点进行了验证,发现他们全部满足黎曼猜想。这样的数据并不能证明黎曼猜想,十万亿在无穷面前太渺小。
数学圈中流传着这样一个传说:谁要是能证明了黎曼猜想,他就能获得永生。另一方面,谁要是证否了黎曼猜想,他将立刻死去:我们看不到证否黎曼猜想的论文,因为那个倒霉蛋还没来得及把论文提交就死去了。
哈代非常害怕做轮船,担心途中出事,每次要出发前,他都会给自己的同事写一份信:我已经证明了黎曼猜想。因为他相信,上帝是不会让一个证明了黎曼猜想的人葬身鱼腹的。
截止到目前,已知的黎曼猜想研究中最强的结果之一,就是1989年美国数学家康瑞证明了至少有40%的零点位于临界线上。
可见,能够证明黎曼猜想,是一件多么神圣、荣耀和奢侈的事!
89岁老爷子到底在海德堡说了啥?
讲到这,就有必要谈一谈故事的主人公了,迈克尔·阿蒂亚爵士(1929年—),英国著名数学家,主要研究领域为几何。
1960年代他与伊萨多·辛格合作,证明了阿蒂亚-辛格指标定理。该定理在数学的一些领域均有重要作用。他于1966年荣获菲尔兹奖(国际数学联盟设立的最高奖),2004年与辛格共同获得阿贝尔奖(挪威政府设立)。
年轻人不行,我这个老头子来!
迈克尔·阿蒂亚爵士是菲尔茨奖和阿贝尔奖双料得主、伦敦皇家学会前主席、爱丁堡皇家学会前主席、剑桥大学三一学院前院长、受封骑士且有功绩勋位。
阿蒂亚最广为人知的成就是1963年与麻省理工学院的伊萨多·辛格一起提出的“阿蒂亚-辛格指标定理”。
该定理将分析与拓扑学联系起来,在数学与物理界都具有重要地位。阿蒂亚也凭此获得了1966年的菲尔茨奖与2004年的阿贝尔奖。
虽然阿蒂亚爵士并非数论领域里面的绝对权威,但是他的跨领域、跨学科能力令人瞩目:阿蒂亚爵士对于不同知识之间的联系有着敏锐的直觉,凭借着这种超凡的洞察力,他在半个多世纪的学术生涯中,不仅建立了数学领域里面许多看似并不想干的想法间的桥梁,还很好地将数学和物理融合在一起。
因此,爵士此次对黎曼猜想的挑战着实让人想入非非。
9月24日爵士刚刚贴出了他证明黎曼猜想的论文预印本,该证明是否成立还需要等待数学家们的消化、验证。
该论文只有5页,仅有3篇文献,其中两篇是阿蒂亚爵士自己于2018年独立发表的论文。无论结局如何,89岁高龄的阿蒂亚爵都是战斗在数学理论最前沿的英雄。
根据他事先提供的演讲摘要:“黎曼猜想是1859年提出的著名问题,至今悬而未决。我会基于冯·诺依曼(1936)、希策布鲁克(1954)和狄拉克(1928)的相关工作,给出一个使用全新方法的简洁证明。”
论文摘要中写道,作者希望理解量子力学中的无量纲常数——精细结构常数,并将此过程中发展出来的数学方法用于理解黎曼猜想。
事实上,无论黎曼猜想最终是否被证明,其实对区块链安全加密都没有实质性影响!
区块链不会亡!
为粉碎某媒体传出的谣言,证实黎曼猜想与区块链安全并没有那么多猫腻,区块链大本营(blockchain_camp)第一时间联系到了北京欧链科技有限公司CTO宋承根,为我们深度剖析黎曼猜想与区块链的关系!
黎曼猜想发表于1859年,主要解决了素数的分布问题,之后有大约1000多条数学理论基于该猜想被提出,也就是说很多数学家已经在拿着黎曼猜想在使用了。
如果它能破解某个加密体系那早就被提出来了,但是我们依然期待本次阿蒂亚爵士对黎曼猜想的证明,因为他有可能带来全新的工具。
RSA的安全性依赖的大整数分解(正确的说,应该是如果谁能够分解大整数,那么他就能破解RSA;但是破解RSA的人不一定能够分解大整数)。而目前最有效的分解算法当属数域筛法,但依然不能有效的分解大整数。
如何随机的选取两个大素数是安全使用RSA的基础条件。但实际上,如何判定一个数是否是素数并不简单,尤其是当这个数很大的时候。
目前最常用的素数判定算法是Miller-Rabin素数判定算法,但该算法只能确定性的判断一个数不是素数,不能得出待测数是素数的确定性结论,所以通常我们对待测数进行多次Miller-Rabin判定来提升正确性。
2004年Manindra Agrawal等人首次证明了能够在多项式时间(计算机能承受的时间)内确定性的判定一个数是否是素数。但该算法耗时还是太大,并不能在实际上使用:比如要判定一个2048位的数是不是素数,需要近10亿次2048位大整数的乘法。
RSA曾经爆出过的后门事件中,正是因为非随机的选取大素数,导致有可能同一个素数被两个用户选取使用,这时使用公约数算法就能很轻松的分解这两个用户使用的大整数了。
在区块链中,使用得最多的是基于椭圆曲线的相关算法,并不直接与素数相关。我们知道椭圆曲线有丰富的数学特性,比如英国数学家安德鲁怀尔斯利用椭圆曲线证明了费马大定理,日本数学家望月新一利用椭圆曲线证明了abc猜想(虽然最近该论文受到了一定的质疑)。
椭圆曲线与黎曼猜想或者证明黎曼猜想的工具之间有什么联系,我们拭目以待。
但至少,黎曼猜想是否被证明,都与区块链无关!
区块链大本营(blockchain_camp)特别感谢宋承根老师本次对黎曼猜想与区块链关系议题中的深入剖析!
宋承根,北京欧链科技有限公司CTO,北京大学应用数学博士,长期工作在密码工程第一线;曾多次参与国家密码专项,国家重大科技专项的研发,以及国家信息安全、密码标准起草工作。目前已申请区块链相关专利十余项。
编者语
无论结局如何,89岁高龄的阿蒂亚爵都是战斗在数学理论最前沿的英雄。黎曼猜想被证明与否本身不会直接对目前的加密体系(尤其是基于大整数分解的RSA体系)造成影响,但是证明黎曼猜想的过程有可能激发出新的理论、算法来解决目前加密体系基于的困难难题。
Tips:男孩子给女孩子送花的时候一定要买素数朵,因为这样分不开(^_^)
媒体一定要本着负责、专业的态度去报道,才不会造成不必要的谣言、形成没价值的恐慌。
--【完】--
一纸招贤纳士令,网罗天下编译人
还等什么,快到碗里来!
如果你符合上述条件,请将简历发至邮箱:koujc@csdn.net ;或添加微信CSDN_qkldby,备注“编译”,小编会第一时间回复你呦!
最新热文:
中秋大礼!韭菜的终极救赎指南!
揭秘区块链矿场的奇葩生态:盗电、骗补、还偷用超级计算机
稳定币火了,他们都慌了
当黑暗森林泛起慢雾,那是顶级黑客的江湖|人物志
大力戳↑↑↑ 加入区块链大本营读者⑦号群
(群满加微信 qk15732632926 入群)
(内容转载请联系微信:qk15732632926)
(商务合作请联系微信:fengyan-1101)
可以安心过中秋了!黎曼猜想亡不了区块链!相关推荐
- 漫谈 | “黎曼猜想”和区块链加密算法到底有什么关系?
玛丽女王的密码之生死命悬一线 16世纪伊丽莎白一世女王时期,玛丽和谋反的贵族用密码通信,企图篡位:他们的阴谋活动早在警方监控之下,密信被警方截获之后破译出来.贵族举兵谋反前夕被捕,死不招供,警方还是逮 ...
- 黎曼猜想证明了?Michael Atiyah的愚人节难道在9月吗……
雷锋网 AI 科技评论按:这个中秋,关心学术的小伙伴们看到的最多的消息大概就是英国数学家 Michael Atiyah 爵士宣布自己证明了黎曼猜想.如果这是真的,Atiyah 爵士将不仅获得由克雷数学 ...
- AI一分钟 | 黎曼猜想已被证明?对错有待同行评议;讯飞与发帖质疑同传译员达成谅解...
▌科大讯飞:与发帖质疑科大讯飞AI翻译技术者达成谅解 科大讯飞称,此前发帖质疑科大讯飞 AI 翻译技术的一名同声传译负责人电话后,对方为言辞激烈与不妥致歉,并表示,科大讯飞没有造假.而公司机器翻译预计 ...
- 素数与量子物理的结合能带来解决黎曼猜想的新可能吗?
来源:中国科学院数学与系统科学研究院 翻译:墨竹 校对:杨璐 1972年,物理学家弗里曼·戴森(Freeman Dyson)写了一篇名为<错失的机会>(Missed Opportuniti ...
- 证明黎曼猜想的5页论文已发布!最简洁的解读在这里
来源:潇轩社 著名数学家阿蒂亚(Michael Atiyah)公开了他为黎曼猜想做的"简洁证明",论文长度总共5页.借助量子力学中的无量纲常数α(fine structure co ...
- 北大教授证明黎曼猜想?但在前一天取消了
明夏 发自 凹非寺 量子位 报道 | 公众号 QbitAI 空欢喜一场. 原本定于周四下午北大李忠教授的证明黎曼猜想的报告取消了. 不少人慕名而来,却失望而归.这到底是怎么回事? 量子位独家采访了知 ...
- 张益唐被曝已证明黎曼猜想相关问题,震动数学界(文末送书)
金磊 Alex 发自 凹非寺 量子位 | 公众号 QbitAI 文末送书活动,记得看完啊 ! 先加群后抽奖,这次仅限群友参与 Breaking News! 网传数学家张益唐,已经攻克了朗道-西格尔零点 ...
- 张益唐被曝已证明黎曼猜想相关问题,震动数学界
来源:金磊 Alex 发自 凹非寺 量子位 | 公众号 QbitAI Breaking News! 网传数学家张益唐,已经攻克了朗道-西格尔零点猜想(Landau-Siegel Zeros Conje ...
- 美国印第安纳大州Purdue(普杜)大学的法国数学家Louis de Branges de Bourcia周二表示已经证明了黎曼猜想
[八阕]6月12日消息,来自美国印第安纳大州Purdue(普杜)大学的法国数学家Louis de Branges de Bourcia周二表示已经证明了黎曼猜想.一旦被证实,这将是数学领域的又一大突破 ...
最新文章
- windows10上使用一个tomcat部署2个项目
- 华为通过债券转换收购Bakrie Telecom公司16.83%股份
- 如何初始化类的static成员变量?
- 1.1 函数间隔和几何间隔理解1
- jquery中的left和top
- pygame小游戏代码_Py之pygame:有趣好玩——利用pygame库实现一个移动底座弹球的小游戏...
- .NET技术大系概览
- 系统篇: fstab 文件详解
- 密码学之现代密码通俗理解凯撒密码、 栅栏密码、 ROT5/13/18/47、维吉尼亚密码、 培根密码、 仿射密码
- 如何快速撰写/总结国内外研究现状?
- 用Java输出高频词_编程高阶用法--开发者高频词汇
- 使用OpenSSL生成证书
- boost 普通用户读取SYSTEM创建的共享内存
- 抖音域名拦截检测API接口
- SLCP认证辅导,SLCP整合评估框架包含三个要素及验证步骤
- RabbitMQ实战教程
- 主动降噪耳机哪个牌子性价比最高?千元内主动降噪耳机推荐
- 管理者神功之“九”阴真经
- 我的家庭网络拓扑结构
- Spring集成Redis键值乱码\xac\xed\x00\x05t\x00\tb