关键性|姚期智:做研究最好的方法是提出深刻、大胆和关键性的问题( 四 )


【关键性|姚期智:做研究最好的方法是提出深刻、大胆和关键性的问题】我要讨论的最后一个话题是关于密码学和 MPC 。
1982 年 , 我写了三篇论文 , 这些论文对现代密码学做出了重大贡献 。 这三篇论文涉及Dolev-Yao 威胁模型、伪随机数生成算法(pseudo random number generation)和安全多方计算(MPC) 。 今天我只谈最后一个问题 。
MPC是一个加密概念 , 使我们可以对加密数据进行计算 。 如果您使用MPC , 就有可能让多个数据库在不泄露它们自己的数据的情况下进行联合计算 。 也就是说 , 我们可以在看不到数据的情况下共享数据 。
让我用一个例子来解释一下这一点 。 我将引用在论文中提到的著名的亿万富翁的例子 。
两个百万富翁 , 爱丽丝和鲍勃 , 他们希望在不透露任何数据信息的情况下知道谁更有钱 。 所以爱丽丝有 X 百万 , 鲍勃有 Y 百万 。 所以数学问题是 , 他们想要彼此交流来知道 X 是否小于 Y 。 问题是 , 是否有可能进行一次对话 , 让双方在不知道对方数据的情况下又知道谁更富有呢?
直觉上来说你会认为这是不可能的 。 我怎样才能在不透露任何一方任何信息的情况下找出谁更富有呢?如果你想几分钟你就会意识到 , 如果采用1982年的信息安全定义 , 也就是香农的信息论( Shannon's information theory) , 那确实是不可能的 , 你可以证明在那个模型下是不可能的 。
但我认为 , 需求是所有发明之母 。 如果真的有需要的话你肯定会想尽一切办法 。 所以 , 如果你跳出框框去思考 , 事实证明这是可能的 。
说到跳出框框 , 我们的意思是需要丢弃香农在这种情况下规定的非常死板的条条框框 , 然后把艾伦·图灵纳入其中 , 我不会对此说太多 。 但事实证明 , 如果你把安全定义放宽一些 , 让它变成一个务实且足够好的标准 , 那么这个问题事实上是有解的 。
具体地说 , 我用“乱码电路”(garble circuit)实现了解决方案 。
在过去近 40 年的发展中 , 它在硬件和算法方面取得了进步 , 现在几乎是可行的 。 而这方面的研究工作也很多 , 准备在金融科技、数据交易、药物研发等方面开展工作 。
目前我还有一些其他的研究课题 , 就不一一详述了 。 我的课题包括:革命性、有望实现指数级增长的量子计算技术;可以用博弈论来解决经济问题的拍卖理论;人工智能 , 这项技术见证了 AlphaGo等机器学习算法取得的令人难以置信的壮举 , 但成功的原因仍然是个谜 。
所有这些都是非常有趣的新领域 , 而且还在持续发展中 。 如你所见 , 我研究过很多不同的课题 。 这些丰富多彩的课题 , 实际上不仅反映了我个人的喜好 , 也反映了半个世纪以来信息科学的蓬勃发展 , 以及我们今天所看到的日益增长的跨学科联系 。
最后 , 我想对我人生中遇到的人说几句话 。
在这些年里 , 作为一名计算机科学家 , 我有幸遇到了许多才华横溢的人 。 我非常幸运地遇到了两位给我巨大灵感的导师 , Glashow 教授和 Knuth 教授。
Glashow 教授是我在哈佛大学的物理学博士导师 。 他是最先预言存在Charm Quarks这种粒子的人之一 , 也是这种粒子最积极的倡导者 。
我从 Glashow 教授那里学到 , 在科学上你必须大胆 , 你必须坚持不懈地坚持你的信仰 。
我从他身上学到的另一件事是 , 数学和物理是不同的 。 对于物理学家来说 , 最重要的是能够找出物理现实的真相 , 而不是坚持精确的数学论证 。 我认为这种务实精神对我以后的研究有很大帮助 。
还有一件事是我从 Glashow 教授那里学到的:生活应该是有趣的 。

推荐阅读