第114章 天才的跨链交易协议设计

如果不是陶哲轩忽然察觉到了他们的讨论声中少了一个声音,然后转过头看了一下,他们今天可能就要出现伤员了。

只见克莱因洛克教授不知道什么时候站在了桌子上面,双手挥舞着就打算蹦下来。

先不提这位老教授一把老骨头了还怎么爬的上去,但是真要让他跳下来的话,他们三个人还真不能保证这位教授不会因此发生骨折什么的问题。

终于,在他们的好言相劝下,克莱因洛克教授才从桌子上面爬了下来。

“我感觉我遭到了来自你们从数学上的霸凌。”

下来之后,克莱伊洛克教授就这样说道。

萧易三个人都不由自主地挠挠头,他们刚才有干了什么吗?

“不好意思啊教授,我们刚才都看着萧易的推导,所以就以为您也在看,可能没注意到您,您想说的意思是?”

克莱因洛克长叹了口气。

他感觉自己又被霸凌了。

跟这帮数学好的人说话真累。

“好了好了,我现在就想知道,你们说的这个新的多项式到底有什么用?我们的问题现在可以解决了吗?”

陶哲轩点点头,说道:“是的,问题基本上已经被解决了。”

“而且也许……萧易不仅仅是解决了分类筛对于RSA加密带来的危险性,从某种程度上来说,它直接让整个RSA加密的安全性都得到了极大的提高。”

“简单求解一下复杂度的话,想要破解这种新的RSA加密,难度不会比ECC加密低了,其破解难度也从之前的亚指数级提升到了真正的指数级。”

“另外……”

陶哲轩忽然思索了一下,最后拿起笔在黑板上计算了一番,当在最终得到一个发散的结果后,他便讶然地说道:“甚至连shor算法,都将很难破解它!利用shor算法破解它的复杂度仍然属于指数级的,只不过是在系数上稍微小了一些而已。”

陶哲轩的这段话终于进入到了克莱因洛克的理解范围内了,他瞪大的眼睛说道:“shor算法的破解复杂度也这么高?”

“是的!”陶哲轩再次点头,“因为萧易在最后进行了一个傅里叶变换,这就直接从原理上让shor算法的效果大大降低了!”

shor算法,是一种量子计算中的代表性算法。

其原理是基于量子傅里叶变换的算法,利用量子计算的并行性进行大规模因子分解,在破解RSA加密体系的时候有着十分显著的效果。

至少,不论是比起一般数域筛,又或者是如今的分类筛,量子shor算法在素因子分解上面都有着无可比拟的优势。

当然,既然叫做量子计算,也正是因为这个算法需要用到量子计算机的特性才能够发挥作用,所以也就受到量子计算机的限制的,以世界当前的量子计算机技术,想要利用这个算法在RSA加密破解上发挥作用,还差的远。

毕竟,世界上有能力研究量子计算机的机构也就那么些,总不可能那些黑客还能研究出一个量子计算机出来嘛,如果真是这样的话还当啥黑客呢?

“所以也就是说,就算是十年后或者是几十年后,我们真的发明出来了量子计算机的话,RSA加密的安全性仍然能够得到保障。”

陶哲轩说道。

这就是数学的前沿性!

领先于世界,其他任何学科一大步!

在量子计算机都还没有研发出来的时候,他们就已经从数学的角度找到了制约的方法。

克莱因洛克更加激动了起来:“这样的话,全世界的RSA加密岂不是都能够变得更加安全起来了!萧易,你做的真棒!”

不过,才激动了一会儿,克莱伊洛克忽然又冷静了下来,问道:“那在实际应用上的难度呢?”

应用的难度是一个关键,就像是ECC,它的安全性虽然比起RSA要高多了,但就是因为它理解起来难,门槛高,所以也就并没有完全取代RSA。

按照萧易写出来的这些难度。

他看都看不懂,是不是很难啊?

“实际应用的难度也确实会变高,不过嘛……”

陶哲轩重新看了一眼萧易写出来的那个多项式,随后便说道:“但是学习的成本比起ECC来说要更低一些,这个多项式展开的方式是相当明了的,对于研究密码学的人来说,理解它的难度最多也就是个入门之后的进阶难度,毕竟计算机系本身就要学复变函数。”

真的吗?

我不信。

克莱因洛克也顺着陶哲轩的目光,看向了黑板上的多项式,思考片刻后就说道:“那我为什么看不懂?”

“呃……”

这就是一个令人尴尬的问题了。

最终陶哲轩给出了一个高情商的回答:“毕竟这也是一种新的知识嘛,您暂时看不懂也完全正常,当然这也怪我们,向其他领域的学者们介绍数学中的理论,应当是我们的责任,如果您听不懂的话,也是我们没有将它们解释的很好。”

“怪我怪我。”旁边的萧易也说道。

毕竟是他搞出来的东西。

“怪我怪我。”梅纳德跟着说道,既然陶哲轩和萧易都说了,他要是不说的话未免显得有些与众不同了。

克莱因洛克:“……”

“好了,克莱因洛克教授,咱们现在最麻烦的一个问题已经解决了,接下来的问题就涉及到协议的设计了,虽然目前距离我们设计出协议还有一定的距离,其中也仍然存在一定的问题,但至少凭借萧易的这个方法,我们在所有项目组中都可以算是领先的了。”

陶哲轩及时转移了话题,避免克莱因洛克教授遭受的打击更大。

提到了正事,克莱因洛克也终于不再纠结刚才的事情了,他点点头,说道:“是的!现在我们只剩下这个协议的设计问题了!”

而就在这个时候,萧易就再一次开口道:“其实,关于这个协议中,最关键的多方安全问题,我也已经有了一定的想法。”

另外三个人顿时就是一愣,纷纷不可思议地看向萧易。

才刚刚解决了最麻烦的问题,结果现在又表示这个第二麻烦的问题也能解决了?

这个跨链交易协议的多方安全问题,确实是除了解决分类筛攻击问题之外第二麻烦问题。

而且比起分类筛攻击问题来说,这个多方安全问题才是这个协议的核心。

前者是技术上存在难度,后者则是最考验设计上的能力。

如何保证交易者在跨链交易过程中免遭黑客侵袭,以及交易平台的监守自盗,还有其他方方面面的风险,都是这个多方安全协议的关键所在。

“如何解决?”克莱因洛克急急忙忙地问道。

他寻找萧易这三位顶级数学家的帮忙,可不就是为了这件事情,这个问题只能在纯数学逻辑领域上进行回答,以他的数学能力,想要解决这个问题压根就不可能。

“仍然是这个多项式。”

萧易点了点黑板上面的那个多项式,随后说道:“根据这个多项式的通项公式,我们可以很容易地生成其中第多少位的项。”

“而根据这个原理,当交易发生的时候,买卖双方就会各自获得一个对应的匹配码,并且根据随机取得的匹配码各自生成这样一个多项式。”

“然后在这个过程中利用算法随即抽取多项式的其中一项,再利用傅里叶变换……”

萧易一边说明,一边在黑板上进行演示。

就像是当初的百万富翁问题一样。

萧易展现出来的这个协议,同样就像是百万富翁问题中的协议那样,不需要任何第三方,就能够实现双方信息上的交换,毕竟交易也是一种信息的交换。

当然,更严格点来说,应该是由协议算法代替了第三方,并且这个第三方是完全可信的。

随着萧易的讲解完毕,三位教授再一次不知道说什么了。

直到最后,克莱因洛克喃喃出声:“真是天才的设计啊!”

这一回,克莱因洛克总算是听懂了,虽然还是搞不懂这个多项式是怎么得出来的,但是却并不妨碍这个协议的原理他明白了。

作为一名计算机专家,他们只需要某个函数有什么作用就行了,至于函数是怎么来的,也就没必要去仔细研究了。

陶哲轩也重重地点了点头。

“根据这样的设计,就等于连监守自盗的可能性都直接避开了!只要让匹配码的生成发生在交易双方的终端上,他们只上传随机生成多项式中的某个随机项,交易平台肯定是不可能从技术上将这个随机项翻译过去。”

“并且,即使是黑客攻击,他们也基本不可能从中截获交易双方的信息!他们就算截获了一方的信息,也很难截获另外一方的信息!”

“除非他们在同一时间,不仅黑进了交易平台的服务器,同时还能够黑进交易双方的电脑,就算如此,他们也得先破解出这两个随机项到底是第多少位,而只要这个位数足够大,破解起来也必然需要花费大量的时间。”

“而在破解的这段时间内,只要再加上一个检测系统,随时就能够终止资产交易,从而保护交易双方的财产安全!”

詹姆斯·梅纳德虽然对整个过程的发生听上去还有点云里雾里,但他也很快就明白了关键。

他讶然道:“这样一来的话,跨链交易中最大的两个风险,不就都得到了极大程度地降低了?”

“是的。”克莱因洛克郑重地点了点头,“就是这样!”

“这个协议的数学逻辑,绝对是我从业这么多年以来见过的最出色的设计!”

他感叹道:“这是真正的天才之作!”

(本章完)

第115章 《一种新的多项式展开将黎曼猜想临

第115章 《一种新的多项式展开将黎曼猜想临界线定理逼近至50%》

“如果我们最终的协议真的能够被世界银行所选中的话,萧易绝对是位居首功的!”

“我也这样认为。”陶哲轩赞同地点了点头。

梅纳德当然也表示同意。

在没有和萧易合作之前,萧易对于他们来说就是一个超级聪明的天才,有着令世界惊叹的天赋。

而现在合作之后,萧易对于他们来说就成为了一名神级的队友。

现在的他们,都被这位神级队友给带飞了。

“嗯……”克莱因洛克说道:“所以,到时候1000万美元奖励下发的时候,我想萧易应该至少分到其中的500万。”

陶哲轩说道:“嘿,我认为600万也没有什么太大的问题。”

梅纳德则说道:“我觉得应该把我的那份都给萧易,我实在没有发挥多大的作用。”

此时的他们,虽然协议都还没有完成,但已经开始讨论起1000万美元该怎么分了。

当然,这也是因为两个最关键的问题都被解决了后,他们的心中已经对于获得这1000万美元有了十分的自信。

还有哪个小组搞出来的协议,能够像他们这样,不仅能够防止交易平台的监守自盗,又能够避免黑客的入侵呢?

听见三位教授的谈话,萧易哭笑不得,连忙摆手道:“不用不用,整个协议还有其他部分没有完成呢,我一个人的话,肯定不可能将他们全部完成,就更不用说还需要将它们编写为程序。”

“……”

就这样一番讨论下来,最终他们也做出了决定,萧易拿600万美元,剩下的400万就是陶哲轩他们按照各自的贡献分配。

像是编程这方面的事情,就是陶哲轩和克莱因洛克的工作,同时还有一些其他在数学方面的工作,就由詹姆斯·梅纳德来完成。

至于萧易嘛,他接下来就什么事情都不用干了。

将这两个最麻烦的问题解决后,他如果再把其他方面的东西都给搞了,到时候分钱的时候,其他人不就更不好意思了。

最终说不定反而会导致关系上变差。

理解这一点的萧易,当然也就没有继续大包大揽,不再关心这件事情,而是做起了自己的事情。

他自然还有自己要做的事。

首先就是将他的【萧氏多项式展开】论文给整理出来。

作为一种新的数学方法,并且是他独立搞出来的,自然也是要单独发表出去的。

至于需不需要担心会被他们的竞争对手给学过去,就没必要担心了。

毕竟,计算机界的那些人想要看懂这篇论文也需要时间。

再保守点说,他们就算真的看懂了这篇论文,能不能立马就联想到可以用来针对分类筛攻击进行防御都还是一个问题,更不用说其中还存在技术上的困难。

大概在这个世界上,也只有萧易能够根据它想到可以用来解决分类筛的问题。

……

“唔……听陶哲轩说的,这个东西还可以用来研究黎曼猜想?”

一边整理着论文的同时,萧易的心中想了想。

当然,也仅限研究,大概能够实现一点突破,至于解决黎曼猜想的话,肯定是不用想的。

萧易回想了一下之前看过的黎曼猜想的论文。

黎曼猜想的起因,来自于黎曼本人观察到,素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。

随后他给出断言:黎曼ζ函数的所有非平凡零点都位于Re(s)=1/2这条直线上面。

这个猜想之所以如此重要,首先它涉及到了素数的分布规律,这是无数数学家梦寐以求的一件事情。

其次,就是因为,数学界有许多的命题是基于黎曼猜想得到证明的前提下才能够成立的,同时,还有很多命题是基于黎曼猜想被证伪后才能够成立。

这些命题多达上千条,其中也并不仅仅只有数学命题,还有一些物理方面的推论。

所以,黎曼猜想的结果,非常重要,不管是证明还是证伪,都能让相当一部分的命题成为定理,而这些定理也将为解决数学中其他问题提供巨大的帮助。

但显然,作为如此重要的一个猜想,它的证明难度也是不言而喻的,从它于1859年被黎曼提出来之后,过去了已经快200年,吸引了数学界几乎每一代最优秀的数学家们去尝试,却始终未曾得到解决。

“当前的黎曼猜想方面的最好成果,好像也就集中在那什么康瑞临界线上吧?”

想到这里,他又简单地去查了一下相关的资料。

很快他就查到了内容,“哦!原来是塞尔伯格最开始搞出来的临界线定理。”

1942年,塞尔伯格证明:对于黎曼ζ函数临界线来说,其上的零点在全体非平凡零点中所占比例大于零。

这是黎曼猜想十分重要的一次突破,也被称之为临界线定理,在那之后,也正式开始掀起了数学界对于临界线逼近的研究。

比如塞尔伯格的这个证明,通过对他论文里面所提到的方法进行一番计算,可以得到一个结果是:大概有5%~10%的非平凡零点是落在1/2临界线上的。

于是在这之后,塞尔伯格的方法并开始得到数学界的大力发展。

莱文斯将这个结果提高到了34%,然后又在他因为脑瘤去世的当年将这个数字提高到了34.74%,虽然这个提升很小,但也不得不让人敬佩他的精神,称得上一句:朝闻道,夕死可矣。

在那之后,就是康瑞将临界线逼近到了40%。

而康瑞之后的31年,都没有再得到突破了,直到2020年,也就是去年的时候,有四位数学家Pratt、Robles、Zaharescu和Zeindler,将这个结果提高到了5/12,也就是大概41.7%。

几乎是很微小的提升——但不可否认的是,这也是到目前为止,黎曼猜想最强的结果了。

如果能够将这个临界线推进到100%,就相当于证明了黎曼猜想,因此在整个数学界,也有许多的数学家正在向这个方向努力着。

萧易很快找到了康瑞的那篇论文,以及去年的时候那四位数学家发表的论文,这篇论文发表在《Res Math Sci》上,但仅仅只是一个三区的期刊,大概里面所用到的方法也只是对康瑞那篇论文中的方法进行简单的优化而已,所以就并没有被更好的期刊所接收。

当然,他倒没有嫌弃,而是将这两篇论文都从头到尾好好地看了一遍,直到最后,明白了其中的方法之后,他就是一愣。

“我去?还真让陶哲轩说中了,这个新的展开,真的能够用在黎曼猜想的研究上面?”

仅仅将两篇论文看了一遍,他就很容易地能够发现,利用萧氏多项式展开法,可以结合到康瑞的方法中,并且将临界线再次向前逼近。

具体能够逼近到多少,还需要他的仔细计算。

想到这里,他便立马开始动手。

正好,他的这篇论文还差一个应用上面的例子,像他这种主要提出一种新方法的论文,找到一个应用案例来说明这个新方法的作用,是论文中不可或缺的,这样也才能够向数学界介绍他的这个方法有什么用。

嗯……用黎曼猜想来展示一下,应该也足够说明这个方法有多牛逼了吧?

就这样,他花费了一整天的时间来计算,最终,成功地将临界线逼近到了50%。

“完成!”

放下了手中的笔,他拍了拍手。

“50%,还行吧,应该还可以再往前提高一些,不过还是算了,时间也这么晚了。”

而且他看得出来,就算再往下计算,也不可能真地证明黎曼猜想。

还差的很远很远。

而且他感觉,从临界线逼近的角度来尝试破解黎曼猜想,并不是正道,反而像是在走一条羊肠小道,永远都不知道下一个拐角处会遇到什么困难,说不定就会被彻底地堵死。

想要证明黎曼猜想,还应该从其他的角度来尝试。

“就这样吧,将论文整理好,然后就先发到arxiv上面好了。”

“唔,按照这个新的多项式展开方法的作用,四大顶刊应该都会接受。”

萧易很清楚自己的【萧氏多项式展开】方法有多么大的潜力,在黎曼猜想的临界线定理上的突破,也只不是其中一点小小的作用而已。

当然,他也没有那种精力,将这个方法的潜力全部挖掘出来,那指不定还能写多少篇论文呢。

还是交给数学界吧。

就这样,花费了一番时间,将整篇论文整理出来后,他就将其上传到了arxiv上面。

时间也已经不早了,于是他简单收拾了一下书桌,随后洗漱睡觉。

……

在arxiv上面发表论文,是需要审核的,当然总会有例外,比如那些真正的大牛们。

大牛们在arxiv上面发表论文的话,只需要经过系统的一次简单查重,然后就能够通过审核,直接对所有人可见。

而萧易现在,也多多少少算得上是这样的一名大牛了。

所以当他进入梦乡之后,没多久,他的论文就出现在了arxiv的上面。

……

美国采用的是多时区制度,也就是说根据时区所在不一样,时间也有所不一样。

因此,当萧易所在的洛杉矶进入晚上0点的时候,德国则已经是早上九点了。

“《一种新的多项式展开将黎曼猜想临界线定理逼近至50%》?!”

波恩,马克斯·普朗克数学研究所内。

刚刚来到自己办公室中的法尔廷斯,按照每天的习惯,打算先上arxiv看看昨天有没有新论文的时候,结果就在上面刷到了这篇新论文。

“一种新的多项式展开?能将临界线推进到50%?开什么玩笑。”

法尔廷斯感觉有点不相信。

去年的时候,这个临界线才终于得到了一点小小的推进,然后今年,甚至都还没过去几个月,就有人能够往前迈出这么大一步?

开玩笑吧!

然而,当他将目光移到作者那一栏的时候,他就怔住了。

萧易?!

(本章完)

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.