【名词解释】

　　图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会于1966年设立，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

　　12月17日，首届复旦科技创新论坛开幕。图灵奖获得者、美国麻省理工学院教授希尔维奥·米卡利与听众们分享的是“证明秘密”和“计算”理论。该论坛是由复旦大学主办，复旦高等学术研究院承办，中植企业集团赞助，旨在通过搭建全球视野下的交流与分享平台，聚焦全球科技前沿领域和创新趋势。

　　获得2012年图灵奖的米卡利，他的获奖原因是“在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则”。米卡利为信息加密和安全开发了新的作用机制，其研究成果在今天已广泛应用于通信协议、网上交易和云计算。根据米卡利和同事们集中于计算分级问题上的研究，其成果也使得复杂性计算获得了根本性进步。

　　米卡利在复旦科技创新论坛的演讲时表示，“证明秘密”的存在，不仅是一个学术界或者是象牙塔里面关注的重点，实际上它对整个世界而言都有巨大的应用，尤其是在电子世界。“我们每天都在使用密码和口令打开一些金融设备和系统。这些设备和系统仿佛在说，如果你要打败我的话，你要知道口令，如果你不知道口令，你就要输掉。好比在以前的中世纪的时候，城堡上面都会有一个人去听外面的人能够讲出口令，才能进入城市。如果能够认识到这样的口令，有些人会对所谓的看门人进行一个指导。如果你告诉我，你的口令，差不多6-8个，12位以上的数位的话，你会怎么去确保它的更新呢？”米卡利说，请芝麻开门只有一个办法，就是让信息能够传递到所谓的后台终端，能够通过大量的计算来告诉我们芝麻开门的密码是什么。这便是一个“证明秘密”和“计算秘密”的过程。

　　在米卡利看来，“证明”也是需要做好安全评估的。他说，这个评估的过程里面会有好几种选择方法，不管你是进行安全选择法还是拍卖法，抑或是其他一种函数计算法，都会是“单向”的，都不可能“坦率交流”。这也是为什么每一次商界对手的相互试探都不愿意向对方透露一些正式的信息，都会千方百计地通过其他方式来迷惑对方，道理就是这种“单向评估”，说白了“证明秘密”是为了让自己一方获得益处，而不是为了对方。

　　在谈及现今国际流行的电子商务问题时，米卡利说，我们应该充分利用电子世界提供的便利，可以在电子世界里面做一些原来在真实世界中没有办法做到的事情。比如说在电子拍卖当中，我们可以知道某一个出价人的价格，而不让其他人知道某一个出价人出了什么具体的价格。其中的“正确性”和“保密性”就是我们在“证明秘密”过程中需要关注的两个重要问题。

　　首席记者 王蔚