【名詞解釋】

　　圖靈獎（A.M. Turing Award，又譯“杜林獎”），由美國計算機協(xié)會于1966年設(shè)立，專門獎勵那些對計算機事業(yè)作出重要貢獻的個人。其名稱取自計算機科學(xué)的先驅(qū)、英國科學(xué)家艾倫·麥席森·圖靈。由于圖靈獎對獲獎條件要求極高，評獎程序又是極嚴(yán)，一般每年只獎勵一名計算機科學(xué)家，只有極少數(shù)年度有兩名合作者或在同一方向作出貢獻的科學(xué)家共享此獎。因此它是計算機界最負(fù)盛名、最崇高的一個獎項，有“計算機界的諾貝爾獎”之稱。

　　12月17日，首屆復(fù)旦科技創(chuàng)新論壇開幕。圖靈獎獲得者、美國麻省理工學(xué)院教授希爾維奧·米卡利與聽眾們分享的是“證明秘密”和“計算”理論。該論壇是由復(fù)旦大學(xué)主辦，復(fù)旦高等學(xué)術(shù)研究院承辦，中植企業(yè)集團贊助，旨在通過搭建全球視野下的交流與分享平臺，聚焦全球科技前沿領(lǐng)域和創(chuàng)新趨勢。

　　獲得2012年圖靈獎的米卡利，他的獲獎原因是“在密碼科學(xué)復(fù)雜理論基礎(chǔ)過程中做出變革性工作，并且發(fā)展了保證網(wǎng)上交易安全的黃金法則”。米卡利為信息加密和安全開發(fā)了新的作用機制，其研究成果在今天已廣泛應(yīng)用于通信協(xié)議、網(wǎng)上交易和云計算。根據(jù)米卡利和同事們集中于計算分級問題上的研究，其成果也使得復(fù)雜性計算獲得了根本性進步。

　　米卡利在復(fù)旦科技創(chuàng)新論壇的演講時表示，“證明秘密”的存在，不僅是一個學(xué)術(shù)界或者是象牙塔里面關(guān)注的重點，實際上它對整個世界而言都有巨大的應(yīng)用，尤其是在電子世界?！拔覀兠刻於荚谑褂妹艽a和口令打開一些金融設(shè)備和系統(tǒng)。這些設(shè)備和系統(tǒng)仿佛在說，如果你要打敗我的話，你要知道口令，如果你不知道口令，你就要輸?shù)?。好比在以前的中世紀(jì)的時候，城堡上面都會有一個人去聽外面的人能夠講出口令，才能進入城市。如果能夠認(rèn)識到這樣的口令，有些人會對所謂的看門人進行一個指導(dǎo)。如果你告訴我，你的口令，差不多6-8個，12位以上的數(shù)位的話，你會怎么去確保它的更新呢？”米卡利說，請芝麻開門只有一個辦法，就是讓信息能夠傳遞到所謂的后臺終端，能夠通過大量的計算來告訴我們芝麻開門的密碼是什么。這便是一個“證明秘密”和“計算秘密”的過程。

　　在米卡利看來，“證明”也是需要做好安全評估的。他說，這個評估的過程里面會有好幾種選擇方法，不管你是進行安全選擇法還是拍賣法，抑或是其他一種函數(shù)計算法，都會是“單向”的，都不可能“坦率交流”。這也是為什么每一次商界對手的相互試探都不愿意向?qū)Ψ酵嘎兑恍┱降男畔ⅲ紩Х桨儆嫷赝ㄟ^其他方式來迷惑對方，道理就是這種“單向評估”，說白了“證明秘密”是為了讓自己一方獲得益處，而不是為了對方。

　　在談及現(xiàn)今國際流行的電子商務(wù)問題時，米卡利說，我們應(yīng)該充分利用電子世界提供的便利，可以在電子世界里面做一些原來在真實世界中沒有辦法做到的事情。比如說在電子拍賣當(dāng)中，我們可以知道某一個出價人的價格，而不讓其他人知道某一個出價人出了什么具體的價格。其中的“正確性”和“保密性”就是我們在“證明秘密”過程中需要關(guān)注的兩個重要問題。

　　首席記者 王蔚