2022年哥德尔奖揭晓!ACM算法和计算理论兴趣小组(SIGACT)宣布,2022年哥德尔奖将授予CraigGentry、ZvikaBrakerski和VinodVaikuntanathan,以表彰他们对密码学的革命性贡献。加密大师CraigGentry授予CraigGentryCraigGentry是美国计算机科学家,目前在SilvioMicali创立的区块链初创公司AlgorandFoundation担任研究员。Gentry以其在密码学方面的杰出工作而闻名,尤其是同态加密。1993年,在杜克大学学习期间,他成为普特南研究员。2009年博士论文AFullyHomomorphicEncryptionScheme获得美国计算机协会同态加密博士论文奖。2010年,他因同样的工作获得了ACMGraceMurrayHope奖。2014年,他获得了麦克阿瑟奖学金。他还是IBMThomasJ.Watson实验室的研究科学家。ZvikaBrakerskiZvikaBrakerski是魏茨曼科学研究所计算机科学与应用数学系的副教授。他的研究兴趣在于计算机科学的基础知识,目前正在研究密码学和量子计算。2011年,Brakerski完成了他的博士学位。在他的顾问ShafiGoldwasser的建议下,在魏茨曼科学研究所。然后在斯坦福大学计算机科学系做了两年西蒙斯博士后研究员。他于2002年获得特拉维夫大学工程学院的硕士学位。在此之前的2001年,他获得了特拉维夫大学工程与计算机科学学院的联合学士学位。VinodVaikuntanathan想说,VinodVaikuntanathan不仅是一个不同寻常的名字,更是一份不同寻常的履历。他是麻省理工学院计算机科学系职业发展助理教授Steven和ReneeFinn。主要研究方向为密码学理论与实践。他正在研究“基于格的”密码学(latticecryptography),它使用整数格来构建高级密码原语。同时,还包括研究如何使密码抗泄露,开发抗对抗性信息泄露的算法等。最近,Vinod主要研究计算加密数据的理论和实践,构建强密码对象,如全同态加密和函数加密等。Vinod获得博士学位。来自麻省理工学院,在那里他获得了2009年GeorgeM.Sprowls最佳麻省理工学院计算机科学博士论文奖。他还是2008年IBMJosefRaviv博士后奖学金、2013年AlfredP.Sloan研究奖学金、2014年MicrosoftFacultyFellowship和2014年NSF行业奖的获得者。什么是全同态加密?2022年哥德尔奖励了以下两篇论文:https://sigact.org/prizes/g%C3%B6del/citation2022.html这两篇论文使用高效的全同态加密(FullyHomomorphicEncryption/FHE)方案对密码学做出革命贡献。在FHE方案中,数据根据标准加密方案进行安全加密。此外,FHE还提供了计算加密数据并生成加密结果的能力,无需解密或任何密钥。这种能力解锁了大量的应用程序,使我们能够安全地将昂贵的计算外包给不受信任的服务器,并在多个实体之间安全地执行协作计算。论文1:论文2:简单的说,不用同态加密的形式就可以保护个人隐私。最传统的加密系统的构建往往需要一个KEY(密钥)。通过这个密钥,可以将明文信息加密成密文。在另一端,密钥用于将密文更改回其原始形式。没有这个Key,其他人就很难知道我们传递了什么信息。同态加密系统有不同的分类,大致分为四类:部分同态、近似同态、有限级数全同态和完全同态。要说全同态加密的概念早在20世纪70年代末就被提出来了。1978年,密码学领域的几位大牛Rivest、Adleman和Dertouzos在论文OnDataBanksandPrivacyHomomorphisms中首次提出了完全同态加密(称为隐私同态)的概念。然而,构建一个可以对加密数据执行任意计算的FHE方案在未来三十年仍然是一个悬而未决的问题。在上述获奖论文之前,CraigGentry于2009年提出了FHE结构。Gentry在2009年提出的全同态系统通常被称为第一代全同态加密系统。可见,全同态加密的概念早就被提出来了。这些论文对理论和应用研究都产生了巨大影响,从高级密码原语的构建到FHE的实现,以及后量子加密候选者的设计。一路走来,距离Gentry敲开全同态系统的大门已经过去了11年。现在业界对FHE的研究充斥着,很多人都在从不同的角度和应用需求来研究全同态系统。哥德尔奖说到哥德尔奖,含金量并不是一般的高。该奖项由欧洲理论计算学会(EATCS)和美国计算机学会基础理论专业组织(ACMSIGACT)于1993年联合设立。该奖项授予理论计算领域最杰出的学术论文。其名字的由来是逻辑学和计算机科学的先驱——库尔特·哥德尔(KurtG?del)。说起哥德尔,不仅长得帅,而且才华也非比寻常。有人评论说,哥德尔是与亚里士多德一样伟大的逻辑学家之一。他曾在给计算之父冯·诺依曼的一封信中,第一次提到了非常著名的Pvs.NP问题。获得哥德尔奖并不容易。获奖论文必须在理论计算领域具有开创性的重大贡献,且论文必须在14年以内在学术期刊上正式发表。满足以上要求后,必须通过由6名评审员组成的评选委员会的评审。评审团成员也需要由EATCS和ACMSIGACT提名。只有这样,才能确定最终的赢家。最终颁奖典礼通常与当年的理论计算机会议STOC或ICALP一起举行。
