好看吧

手机浏览器扫描二维码访问

第241章 跨界大佬（第2页）

目前各种线上支付纷至沓来，其根本在于对“安全多方计算”

问题上实现的突破~

安全多方计算的研究主要是针对无可信第三方的情况下，如何安全地计算一个约定函数的问题。

安全多方计算是电子选举、门限签名以及电子拍卖等诸多应用得以实施的密码学基础。

一个安全多方计算协议，如果对于拥有无限计算能力攻击者而言是安全的，则称作是信息论安全的或无条件安全的；如果对于拥有多项式计算能力的攻击者是安全的，则称为是密码学安全的或条件安全的。

已有的结果证明了在无条件安全模型下，当且仅当恶意参与者的人数少于总人数的13时，安全的方案才存在。

而在条件安全模型下，当且仅当恶意参与者的人数少于总人数的一半时，安全的方案才存在。

之所以提到这个是因为章杉通过贾维斯了解到所谓的安全多方计算就和姚老息息相关。

安全多方计算最早的话题度就是因为1982年姚的百万富翁问题。

姚氏百万富翁问题由华裔计算机科学家、图灵奖获得者AndrewC.Yao于1982年首次提出：存在2个争强好胜的富翁Alice和Bob，他们如何在不暴露各自财富的前提下比较谁更富有？后来该问题演变成安全多方计算（SecureMulti-partyComputation，SMC）。

章杉知道，姚氏百万富翁问题有很多实际应用~

这里举一个例子：假如Alice希望向Bob购买一些商品，但她愿意支付的最高金额为x元，Bob希望的最低出售价为y元，Alice和Bob希望知道x和y哪个大？

如果xy则双方可以继续讨价还价，否则就不必再浪费口舌，但他们都不想告诉对方自己的出价，以免自己在讨价还价中处于不利地位。

这个看起来像是小学应用题，但实际上同时和金融、编程和安全挂钩之后，这个问题还真不是那么容易~

然而，事实是，在1982年，姚启智教授在提出百万富翁问题后就给出了该问题的一种解决方案。

该方案用于对两个数进行比较，以确定哪一个较大。

Alice知道一个整数i；Bob知道一个整数j，Alice与Bob希望知道谁的数最大，但都不想让对方知道自己的数。

为简单起见，假设j与i的范围为[1，100]。

Bob有一个公开密钥Eb和私有密钥Db。

（1）Alice选择一个大随机数x，并用Bob的公开密钥加密c=Eb（x）；

（2）Alice计算c-i，并将结果发送给Bob：

（3）Bob计算下面的100个数：Yu=Db（c-i+u），（u=1，2，...，100）其中Db是Bob的私有解密密钥。

Bob选择一个大素数p（p应该比x稍小一点，Bob不知道x，但Alice能容易地告诉他x的大小），然后计算下面的100个数：Zu=（Yumodp），。

然后验证对所有的u≠v，|Zu-Zv|=2，并对所有的u验证：0

（4）Bob将以下数列和p发送给Alice：[Z1，Z2，...，Zj+1，Zj+1+1，...，Z100+1]，p；就是所从第j位对Zu数列+1操作；

（5）Alice验证这个数列的第i个数是否与x模p同余。

如果同余，她得出的结论是i=j;如果不同余，她得出的结论是ij;

（6）Alice把这个结论告诉Bob。

一时之间，章杉也不禁感慨万千~

感慨归感慨，怎样让姚老接着聊些学术上的事情~

没等章杉想太多，姚老话锋一转，开始询问起章杉了~

“章杉同学，我还听说你打算额外持续投资20亿美元研究人工智能，我不是有意窥探商业上的秘密，也无心于此，只是从我目前来看你想要做的显然不是想研究普通人工智能，而是致力于超级人工智能。”

“目前超级人工智能有很多制约条件……”

章杉听得很认真，姚只提了“鲁棒性”

与“可解释性”

两大技术瓶颈，以及未来超级人工智能的终极挑战。

章杉对人工智能关注颇多，自然明白姚教授的意思~

关于鲁棒性问题，可以解释成脆弱性、非安全性、非可靠性问题。

人工智能系统设计历来重功能性设计，轻可靠性、安全性设计；或先功能性，后安全性、可靠性。