2022哥德爾獎公布了！

ACM算法與計算理論興趣組(SIGACT)宣布，2022年哥德爾獎授予Craig Gentry，Zvika Brakerski以及Vinod Vaikuntanathan，表彰其對密碼學做出的革命性貢獻。

加密大神Craig Gentry獲獎

Craig Gentry

Craig Gentry是一位美國計算機科學家，目前在由 Silvio Micali 創立的區塊鏈創業公司Algorand Foundation擔任研究員。

因在密碼學方面的杰出工作，Gentry為人所知，特別是在同態加密。

1993年，在杜克大學學習期間，他成為普特南研究員。2009年，他的博士論文A Fully Homomorphic Encryption Scheme贏得了美國計算機協會同態加密博士論文獎。

2010年，他因同樣的作品獲得了美國計算機協會的葛麗斯·莫瑞·霍普獎。2014年，他贏得了麥克阿瑟獎（MacArthur Fellowship）。他還是IBM托馬斯J. 華生實驗室的研究科學家。

Zvika Brakerski

Zvika Brakerski是魏茨曼科學研究所（Weizmann Institute of Science）計算機科學與應用數學系副教授。

他的研究興趣在于計算機科學基礎，目前主要研究密碼學和量子計算。

2011年，在導師Shafi Goldwasser的建議下，Brakerski在魏茨曼科學研究所里完成了博士學位。然后在斯坦福大學計算機科學系擔任了兩年的西蒙斯博士后研究員。

他曾在2002年獲特拉維夫大學工程學院碩士學位。在此之前，在2001年，他獲得了特拉維夫大學工程學院和計算機科學學院聯合理學學士學位。

Vinod Vaikuntanathan

要說Vinod Vaikuntanathan這個人，不光名字不一般，履歷更不一般。

他是麻省理工學院計算機科學系Steven and Renee Finn職業發展助理教授。他的主要研究方向是密碼學理論與實踐。

他致力于研究「基于格」的密碼學（格子密碼），使用整數格構建高級密碼原語。同時，還包括研究如何讓密碼抵抗泄露，開發抵抗對抗性信息泄漏的算法等等。

最近，Vinod主要在研究對加密數據進行計算的理論和實踐，構建強大的密碼對象，如全同態加密和函數加密等等。

Vinod在麻省理工學院獲得博士學位，并獲得了2009年George M. Sprowls獎，以表彰他在計算機科學領域的最佳麻省理工學院博士論文。

同時，他還是2008年IBM Josef Raviv博士后獎學金、2013年Alfred P. Sloan研究獎學金、2014年微軟教師獎學金和2014年NSF業獎的獲得者。

全同態加密是啥？

2022年哥德爾獎勵給以下兩篇論文：

https://sigact.org/prizes/g%C3%B6del/citation2022.html

這兩篇論文通過高效的全同態加密（Fully Homomorphic Encryption/FHE）方案對密碼學做出了革命性的貢獻。

在FHE方案中，數據按照標準加密方案進行安全加密。

此外，FHE還提供了計算加密數據和生成加密結果的能力，而不需要解密或任何密鑰。

這種能力解鎖了大量的應用程序，讓我們可以安全地將昂貴的計算外包給不可信的服務器，并安全地在多個實體之間執行協作計算。

論文1:

論文2:

簡單來說，個人隱私能得到保護，離不開同態加密這一形式。

最傳統的加密體系的構建往往都需奧一個KEY（密鑰）。

通過這個密鑰，就可以把明文信息加密成密文。在另一端通過密鑰再把密文變回原來的樣子。

如果沒有這個Key的話，其他的人很難知道我們到底傳遞了什么信息。

同態加密體系有不同的分類，大致上被分成4類：部分同態、近似同態、有限級數全同態與完全同態。

要說全同態加密這一概念的提出，早在上世紀70年代末就已經出現了。

在1978年，密碼學界的幾位大牛Rivest、 Adleman和Dertouzos在論文On Data Banks and Privacy Homomorphisms中第一次提出了全同態加密的概念 (稱為隱私同態)。

然而，在接下來的三十年里，構建一個可以對加密數據進行任意計算的FHE方案仍然是一個懸而未決的問題。

在以上獲獎論文之前，Craig Gentry曾在2009年提出了一個FHE的結構。Gentry在2009年提出來的全同態系統，我們往往稱之為第一代全同態加密系統。

由此可見，全同態加密這一概念已經被提出了很久了。

這些論文對理論和應用研究都產生了巨大的影響，從高級密碼原語的構造，到 FHE 的實現，以及后量子加密候選方案的設計。

一路看來，全同態體系的大門被Gentry大神敲開已經過去了11年了。現在業界對于FHE的研究百花齊放，不少人都在不同的角度和應用需求上在研究全同態系統。

哥德爾獎

提起哥德爾獎，含金量可不是一般的高。

該獎項是由歐洲理論計算機學會（EATCS）和美國計算機學會基礎理論專業組織（ACM SIGACT）在1993年聯合設立的。

該獎項頒發給理論計算機領域最杰出的學術論文。其名字的由來是邏輯學與計算機科學先驅——Kurt G?del（庫爾特·哥德爾）。

說起哥德爾，不光人長得帥，才華更是不一般。

有人評價，哥德爾是和亞里士多德一樣的偉大的邏輯學家之一。他曾在給計算機之父馮·諾依曼的一封信中，首次提到十分著名的P vs. NP問題。

想要獲得哥德爾獎可不是件容易的事。

獲獎論文必須在理論計算機領域具有開創性重大貢獻，并且該論文必須在14年內在學術期刊上正式發表過。

再滿足了上述要求之后，還要通過由6名評審組成的評選委員會的評審。而評委會的成員同樣需要通過EATCS和ACM SIGACT的提名。

這樣，才能確定出最終的獲獎者。

而最終的頒獎典禮一般在當年的理論計算機會議STOC或是ICALP上一同舉辦。