学霸就是要肝 第92节

　　“好了，你们也别幸灾乐祸，我现在也是想要请教伱们对于这个问题，该怎么解决，这种涉及到纯数学方面的东西，最终也还是要落到你们这些纯数学家的头上。”

　　克莱因洛克教授说道。

　　随后三位数学家也都收拾了一下心情，等待克莱因洛克的解释。

　　“唔……想要说明一下何为多方安全算法，咱们首先还是从一个经典问题出发吧。”

　　“也就是百万富翁问题，这个问题你们知道吗？”

　　陶哲轩点了点头，他对计算机同样也有一定的研究，在十几年前他就曾经搞出来过一个叫做信息获取指导理论的东西，简单来说，这是一种数字压缩成像技术，最终这个技术被广泛运用于信息领域等等各大方面，充分表现了他在应用数学方面也有著十分强悍的能力。

　　不过，萧易和詹姆斯·梅纳德就显得有些为难了。

　　后者倒是还好，表示自己听说过这个，“我记得提出这个问题的人是一位图灵奖得主来著。”

　　“哈哈，是的。”克莱因洛克点点头，说道：“说起来，这位图灵奖获得者和萧易一样，也都是华国人，他的英文名叫做安德鲁·姚，中文名好像是叫做姚启智吧。”

　　“简单来说，百万富翁问题就是，假设有两位分别叫做爱丽丝和鲍勃的百万富翁，现在想要比较他们谁更加有钱，但是他们又不想向对方暴露自己到底有多少钱，那么在这种情况下，他们该如何进行财富上的比较呢？”

　　说著，克莱因洛克也在黑板上写下了描述。

　　【假设爱丽丝和鲍勃两个人的财产分别为i、j，并且i、j的大小都位于1百万到10百万之间，那么要如何让对方不知道i或j的具体数字，而实现对i、j大小的比较？】

　　看著这个问题，陶哲轩倒是知道该怎么解决，不过梅纳德和萧易就开始思考了起来。

　　这个问题看上去也挺有意思的。

　　稍稍过了一会儿，给这两位留下了一点思考时间，不过克莱因洛克也并没有想过让他们现场解答，随后就开口道：“好了，这个问题咱们可以之后再……”

　　“等等。”

　　然而就在这个时候，萧易开口了，“我想，这个问题也许可以这样解决。”

　　随后他便走到了黑板前，拿起笔开始写了起来。

　　【设M是一个所有元素为N-bit非负整数的集合，QN是M到M的置换群。】

　　“如果我的设计没有出错，只要按照接下来的这个协议进行比较，他们就可以在对自身资产保密的情况下完成财富对比。”

　　“首先，爱丽丝从QN中随机选择一个元素Ea作为公钥，并将其告诉给鲍勃，同时保留Ea的逆Da作为私钥自己保留。”

　　“然后，鲍勃随机选择一个N-bit的整数x，并利用爱丽丝给的公钥计算k=Ea(x)……”

　　随著萧易的讲述开始，旁边的三个人就略显沉默了起来。

　　他们相互对视一眼，对眼前这一幕有些猝不及防。

　　特别是詹姆斯·梅纳德。

　　虽然吧，这个问题如果真的要仔细研究一下的话，也不至于难住他，作为一道类似数学建模题而言，它的难度也就那样。

　　毕竟，这个问题都已经完全具体化了，从抽象程度来说，它和梅纳德研究的那些解析数论上面的问题比较，实在是太小儿科了。

　　但是，要让他这么快就能够反应过来，并且直接就开始给出方案，那就有些做不到了。

　　看著萧易已经写了半个黑板的东西，梅纳德第一次体会到了什么叫做【降维打击】。

　　大概他以前在自己的学生面前展示什么叫做【顶级数学逻辑思维】的时候，他的学生们也是这样的感觉吧？

　　简直是开了挂了！

　　克莱因洛克的反应和梅纳德也差不多，本来吧，他提出这个问题也没想过让他们当场解决出来，刚才留了那么几分钟的时间，也只是让他们对这个问题稍微熟悉一些。

　　结果，谁成想，这才几分钟过去，这个年轻人就已经开始动笔写了起来。

　　原谅他作为一名计算机科学家，数学上面真的不是特别好，至少相比起这些数学家们来说，毕竟有一句话说得好，只有真正数学好的人才能够一直扎根于纯数学，数学不好的人早早地就转行了。

　　但是吧，萧易的这个“数学很好”，未免好得有些超出他想像了。

　　“第4步，爱丽丝随机生成一个N/2-bit的素数p，并计算Zu=yu mod p，其中u=1，2，…，10。”

　　“然后我们保证，所有zu中至少有两个不相等，否则重新x选择p计算……”

　　“爱丽丝将素数p以及【z1，z2，…，zi，zi+1】……重新标记为……”

　　“鲍勃检查第zj`，若zj`=x mod p，则说明i大于或等于j，否则i小于j。”

　　在黑板上写下了最后一笔，随后萧易便回过头，从头到尾重新浏览一遍，他便满意地点点头，然后放下了笔，转过头对旁边的三个人说道。

　　“这样，爱丽丝和鲍勃的财富，比较就完成了，而除了双方财富相等的情况下，他们并没有向对方暴露出自己的真实财产。”

　　“克莱因洛克教授，我这个方法应该是可以的，不过具体的程序该怎么写，我就不会了。”萧易谦虚地说道：“我对编程这方面完全不懂。”

　　然而让他疑惑的是，眼前的三位教授在此时都稍稍有些沉默。

　　片刻后，克莱因洛克小声地问向陶哲轩：“你们数学学的好的人都是这样的吗？把我们计算机领域的难题，就当做一个……100以内的加减法给搞定了？”

　　陶哲轩连连摆手：“呃……这倒不是，但你知道的，这个世界上总会有那么一些特殊情况，发生一些小概率事件，萧易就是这样的小概率事件，你懂的。”

第112章 搭建一个区块链？

　　梅纳德也幽幽地说道：“克莱因洛克教授，我感觉你是在说我的数学不好。”

　　他就没有这么快就想出答案来！

　　“没有没有！”克莱因洛克连忙摆手解释。

　　开玩笑，他的数学才是真的不好！

　　“三位教授，你们在说什么呢？”旁边的萧易见到这三位在自己解开题后就开始窃窃私语起来嗯嗯，不由问了一句。

　　“啊，我们是在说你的这个方案非常的完美！”

　　“是的是的。”

　　“没错！”

　　三人赶快回应。

　　“咳咳，当然，百万富翁问题，只是我们最终目标的一个入门问题而已，主要是帮助伱了解一下多方安全算法的一个逻辑，而且这个百万富翁问题只是一个双方安全算法，我们还可以将其扩展到n人比较财富大小。”

　　克莱因洛克觉得自己有必要给计算机挽留一点颜面。

　　但很快萧易便回答道：“扩展到n人的话，问题也并不大，单单用我刚才的这个协议进行多次重复的比较，最终也能够完成。”

　　“当然考虑到n越大的情况，多次重复的比较也会显得有些麻烦，唔……”

　　随后萧易就又开始在黑板上写了起来。

　　很快，他便重新放下笔，拍了拍手，“搞定了。”

　　“最终也就是一个布尔函数的事情，如果将它们编程起来，把这些数字全部输入进去，就能够得到n人情况下的结果了。”

　　“唔……虽然我没研究过编程，但大概也就是一个if语句的事情吧？”

　　萧易略显行外人地说道。

　　克莱因洛克终于放弃了。

　　旁边的陶哲轩和梅纳德都纷纷拍了拍这个老人的肩膀。

　　“何必呢？”陶哲轩摇摇头。

　　他今年18岁都不到，你斗不过他的。

　　“好了好了。”克莱因洛克接受了现实。

　　毕竟都85岁了，也要看开了。

　　“多方安全计算的逻辑，差不多就是这样了。”

　　“我现在就正式和你们说明一下这个课题的目标吧。”

　　克莱因洛克敲了敲黑板，仿佛要上课了的样子。

　　“区块链促进了该链上相互不信任的各方之间的安全和原子交易。”

　　“然而就目前来说，虽然存在多个具有不同接口和安全属性的区块链，但是在这个多区块链世界中，由于缺乏跨链通信，以及在计算方面的通用，在实际的运行中总是遇到问题。”

　　“当前的跨链通信桥具有各种各样的低级接口，这使得开发可携式应用程序变得困难，目前的多链原子交易方法也仅限于加密货币交换。”

　　“因此我们的目的就是，开发出一种全新的协议，这个协议应该可以保证跨链交易事务上的原子性。”

　　“在这个方面上，我觉得LayerZero跨链桥作为原型的话会是一个不错的想法……”

　　随著克莱因洛克教授的讲述，他们也逐渐进入到了核心点之中。

　　萧易虽然不懂计算机，但所幸的是，他现在的理解能力可以说是远远超过了一般人，所以也大概明白了最终的要求。

　　简单来说，就是要搞出一个协议，从而能够保证跨区块链的多方安全通信以及交易，并且证明这个协议的安全性和可行性。

　　毕竟现在世界上的银行那么多，国家也那么多，不同银行之间存在著互不信任问题，不同国家之间当然也存在这样互不信任问题，大家各搞各的，各成立各的区块链，自然，世界上的区块链也就变得十分至多了。

　　按照克莱因洛克教授所说的，在2023年世界的区块链就有可能突破到1000之多。

　　所以世界银行作为联合国名下的一个专门机构，于是就牵头出来，希望针对如此复杂的情形，从而开发出一种公共协议，以此来方便互不信任的个体之间进行安全的信息通信和交易。

　　就像是有这么多的百万富翁，想要在保证不透露自身秘密的情况下，又能实现资产上的对比。

　　多方安全算法，就是为了这样的目的。

　　“这是一个大项目啊。”

　　听完了克莱因洛克的讲述，陶哲轩不由惊叹道。

　　“是的。”克莱因洛克点点头说道：“当然，参加到这个课题中的项目组也挺多的，麻省啊、普林斯顿啊等等，同时出钱的人也很多，那些个区块链公司都挺支持这项研究，毕竟也方便了他们。”