新智元报告
编辑:桃子拉言
[新智元简介] 今天，ACM正式宣布了2022年哥德尔奖得主，以表彰三位顶尖密码学家对同态加密系统做出的杰出贡献。
2022年哥德尔奖已经揭晓！
ACM算法和计算理论兴趣小组(SIGACT)宣布，2022年哥德尔奖将授予Craig Gentry、Zvika Brakerski和Vinod Vaikuntan，以表彰他们对密码学的革命性贡献。
加密大神克雷格·金特里获奖。
克雷格·金特里
Craig Gentry是一名美国计算机科学家，目前在希尔维奥·米卡利在区块链创办的创业公司Algorand Foundation担任研究员。
Gentry因其在密码学方面的杰出工作而闻名，尤其是在同态加密方面。
1993年，在杜克大学学习期间，他成为了一名普特南研究员。2009年，他的博士论文《全同态加密方案》获得美国计算机协会同态加密博士论文奖。
2010年，他因同样的工作获得了美国计算机协会的Grace Murray Hope奖。2014年，他获得了麦克阿瑟奖学金。他也是IBM托马斯·J·沃森实验室的研究科学家。
兹维卡·布拉克斯基
Zvika Brakerski是魏茨曼科学研究所计算机科学和应用数学系的副教授。
他的研究兴趣在于计算机科学的基础。目前主要研究密码学和量子计算。
2011年，在导师沙菲·戈德瓦瑟(Shafi Goldwasser)的建议下，布拉克斯基在魏茨曼科学研究所完成了博士学位。然后在斯坦福大学计算机系做了两年西蒙斯的博士后。
他于2002年获得特拉维夫大学工程学院的硕士学位。在此之前，2001年，他获得了特拉维夫大学工程学院和计算机科学学院的联合理学学士学位。
Vinod Vaikuntanathan
要说Vinod Vaikuntanathan，不仅名字不一般，履历更不一般。
他就是Steven和Renee Finn，麻省理工学院计算机科学系职业发展助理教授。主要研究方向为密码学理论与实践。
他致力于基于格的密码学(lattice cryptography)的研究，利用整数格构造高级密码原语。同时还包括研究如何让密码抗泄露，开发抗对抗性信息泄露的算法等等。
最近Vinod主要研究计算加密数据的理论和实践，构造强大的密码对象，如同态加密、函数加密等。
Vinod获得了麻省理工学院的博士学位，并于2009年获得了乔治·m·斯普劳斯奖，以表彰他在计算机科学领域的最佳麻省理工学院博士论文。
同时，他也是2008年IBM Josef Raviv博士后奖学金、2013年阿尔弗雷德·P·斯隆研究奖学金、2014年微软教师奖学金和2014年NSF行业奖的获得者。
什么是同态加密？
2022年，哥德尔授予了以下两篇论文:
https://sigact.org/prizes/g%C3%B6del/citation2022.html
这两篇论文通过高效的全同态加密/FHE方案对密码学做出了革命性的贡献。
在FHE方案中，数据根据标准加密方案被安全地加密。
此外，FHE还提供计算加密数据和生成加密结果的能力，无需解密或任何密钥。
这种能力解锁了大量的应用程序，允许我们安全地将昂贵的计算外包给不受信任的服务器，并在多个实体之间安全地执行协作计算。
论文1:
论文2:
简单来说，不需要同态加密就可以保护个人的隐私。
最传统的加密系统的构造通常需要一个密钥。
有了这个密钥，明文信息可以加密成密文。在另一端，密码文本被密钥改回其原始形式。
没有这把钥匙，其他人很难知道我们在传递什么信息。
同态加密系统分为四类:部分同态、近似同态、有限级数同态和完全同态。
同态加密的概念早在20世纪70年代末就出现了。
1978年，Rivest、Adleman和Dertouzos几位著名的密码学家在他们关于数据库和隐私同态的论文中首次提出了全同态加密(称为隐私同态)的概念。
然而，在未来三十年内，建立一个可以任意计算加密数据的FHE方案仍然是一个未解决的问题。
在上述获奖论文之前，Craig Gentry在2009年提出了一个FHE结构。Gentry在2009年提出了同态系统，我们通常称之为第一代同态加密系统。
于是，同态加密的概念被提出了很久。
这些论文对理论和应用研究都产生了巨大的影响，从高级密码原语的构建到FHE的实现和后量子加密候选方案的设计。
同态系统的大门被Gentry敲开好像已经11年了。现在业界对FHE的研究百花齐放，很多人都在从不同的角度和应用需求来研究同态系统。
哥德尔奖
说到哥德尔奖，含金量不是一般的高。
该奖项由欧洲理论计算机学会(EATCS)和美国计算机学会ACM SIGACT于1993年共同设立。
该奖项授予理论计算机领域最杰出的学术论文。它的名字来自逻辑和计算机科学的先驱库尔特·哥德尔(库尔特·哥德尔)。
说到哥德尔，人不仅长得帅，而且很有才华。
有人说哥德尔是和亚里士多德一样伟大的逻辑学家之一。在给计算机之父冯·诺依曼的一封信中，他首次提到了著名的P对NP问题。
赢得哥德尔奖并不容易。
获奖论文必须在理论计算机领域有重大贡献，且必须在14年内正式发表在学术期刊上。
符合上述要求后，由6名评审员组成的评选委员会进行评审。评审团成员也需要由EATCS和ACM SIGACT提名。
这样才能确定最后的赢家。
最终的颁奖典礼通常在当年的STOC理论计算机大会(ICALP)上举行。
参考资料:
https://zh . m . Wikipedia . org/zh-Hans/% E5 % 93% A5 % E5 % BE % B7 % E5 % B0 % 94% E5 % A5 % 96
https://twitter.com/sigact/status/1528031898429030400? s = 21 amp；t=6mwK9uV7g6b4kESEGeqdIg
https://Steven yue . medium . com/full-homo morphic-encryption-part-one-a-gentle-intro-94c 3c 3850568
https://zvikab.bitbucket.io/
