【名詞解釋】

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

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

　　獲得2012年圖靈獎的米卡利，他的獲獎原因是“在密碼科學複雜理論基礎過程中做出變革性工作，並且發展了保證網上交易安全的黃金法則”。米卡利為資訊加密和安全開發了新的作用機制，其研究成果在今天已廣泛應用於通信協議、網上交易和雲計算。根據米卡利和同事們集中于計算分級問題上的研究，其成果也使得複雜性計算獲得了根本性進步。

　　米卡利在復旦科技創新論壇的演講時表示，“證明秘密”的存在，不僅是一個學術界或者是象牙塔裏面關注的重點，實際上它對整個世界而言都有巨大的應用，尤其是在電子世界。“我們每天都在使用密碼和密碼打開一些金融設備和系統。這些設備和系統仿佛在説，如果你要打敗我的話，你要知道密碼，如果你不知道密碼，你就要輸掉。好比在以前的中世紀的時候，城堡上面都會有一個人去聽外面的人能夠講出密碼，才能進入城市。如果能夠認識到這樣的密碼，有些人會對所謂的看門人進行一個指導。如果你告訴我，你的密碼，差不多6-8個，12位以上的數位的話，你會怎麼去確保它的更新呢？”米卡利説，請芝麻開門只有一個辦法，就是讓資訊能夠傳遞到所謂的後臺終端，能夠通過大量的計算來告訴我們芝麻開門的密碼是什麼。這便是一個“證明秘密”和“計算秘密”的過程。

　　在米卡利看來，“證明”也是需要做好安全評估的。他説，這個評估的過程裏面會有好幾種選擇方法，不管你是進行安全選擇法還是拍賣法，抑或是其他一種函數計演算法，都會是“單向”的，都不可能“坦率交流”。這也是為什麼每一次商界對手的相互試探都不願意向對方透露一些正式的資訊，都會千方百計地通過其他方式來迷惑對方，道理就是這種“單向評估”，説白了“證明秘密”是為了讓自己一方獲得益處，而不是為了對方。

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

　　首席記者 王蔚