2022年哥德尔奖出炉！3位加密大牛斩获理论计算机最高荣誉

新智元

共 2850字，需浏览 6分钟

· 2022-05-23

新智元报道

编辑：桃子拉燕

【新智元导读】今天，ACM官方公布了2022年哥德尔奖的得主，以表彰3位加密学大佬对全同态加密系统做出的杰出贡献。

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上一同举办。

参考资料：

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&t=6mwK9uV7g6b4kESEGeqdIg

https://stevenyue.medium.com/fully-homomorphic-encryption-part-one-a-gentle-intro-94c3c3850568

https://zvikab.bitbucket.io/

图片

表情

聊一聊我最常关注的9个计算机视觉、自动驾驶、AI方向高质量圈子

随着计算机视觉（2D/3D）、SLAM、自动驾驶、AI技术的快速迭代更新，可落地的技术也成为人们争先学习的重点。这使得从业者对于最前沿技术的获取能力变得至关重要。微信公众号便是一个非常有效的前沿信息分享平台。这里给大家推荐9个最常打开的计算机视觉、自动驾驶、SLAM、机器学习和AI方向的优质公众号平

机器学习初学者

了解加密货币到加密货币的互换

1、什么是加密货币互换？加密货币到加密货币的互换是指以现行市场汇率将一种加密货币直接兑换为另一种加密货币。与需要法定货币存款和较长流程的传统交易所不同，加密货币到加密货币的互换可以无缝地促进交换。掉期在提高加密货币的流动性和效率方面发挥着重要作用。该功能使用户能够将他们的加密货币与钱包中的其他代币进

区块链头条

自动控制方面的大牛们/2D圆盘跟随式AI涂胶视觉检测系统/点光谱弧面玻璃轮廓度检测

微信改了推送规则，如果您还想收到我们的推送！点击上方“机器视觉”，右上角...选择“置顶/星标”公众号行业资讯机器视觉十大应用场景介绍控制理论研究领域目前遇到的瓶颈是什么？控制理论到底有什么用？自动控制方面的大牛们都有哪些主要贡献？OpenCV 5 进度更新 2024 年 4

机器视觉

图解操作系统、网络、计算机组成PDF下载！

我去年去面试的时候发现字节跳动、腾讯这类大厂非常非常重视计算机基础，像计算机网络、操作系统都是它们的重点。我当时因为计算机基础知识准备的还可以才拿到了这些大厂的 Offer!今天就给大家分享一下我之前面试经常看的一些关于计算机基础的 PDF 资料!图解计算机系统《图解系统》主要是操作系统的内容比较多

java1234

图像处理，计算机视觉和人工智能之间的差异

作者：Pallawi原文链接：https://medium.com/@pallawi.ds/difference-between-image-processing-computer-vision-and-artificial-intelligence-af670d65055d编译：AI算法与图像处理

机器学习初学者

目前工资最高的几家外包公司汇总！（2024最新版）

最近，很多小伙伴问：只有外包的 offer 能去吗？大环境不行，面试太少了，很多本科生想进外包都没机会。非常时期，不需要在意那么多，外包作为过渡也是没问题的，很多外包其实比小公司还要好多了。也不要太担心去外包会污染自己的简历，只要接触的项目还可以，写在简历上再润色一下，那就完全没问题的，放心！默默沉

程序IT圈

精度最高降幅60%！SOTA只是假象？CVPR2024 Highlight为你揭示CLIP和LLaVA-Next等模型“骗局”

作者丨派派星来源丨CVHub编辑丨极市平台导读这篇论文提出了利用diffusion model作为data source来测评模型鲁棒性。提出的ImageNet-D数据集有效地降低state-of-art模型的测试准确率，降低幅度最高达60%，其中便包括了 CLIP，MiniGPT-4和

AI算法与图像处理

大厂不再强制要求员工设定OKR，员工：“OKR让我讨厌到想辞职”；阿里云：以后公司 20% 代码由通义灵码编写；华为最新分红出炉

架构师大咖架构师大咖，打造有价值的架构师交流平台。分享架构师干货、教程、课程、资讯。架构师大咖，每日推送。公众号该公众号已被封禁0、大厂不再强制要求员工设定OKR，员工：“OKR

源码共读

喜报丨热烈祝贺盱眙农商银行获评全省农商银行2023年度综合考评多项荣誉！

盱眙老妹微信自媒体主要从事：品牌推广︎、活动策划︎、微信平台营销代运营︎、免费发布公益便民信息、企业招聘︎、商标注册、征婚交友、公益救助、维权爆料等服务。欢迎广大网友积极参与。免责声明：盱眙老妹微信平台是面向普通网友的信息发布平台，目的是为传递更多信息，网友发布爆料不代表本网赞同其观点和对其真实性负

盱眙老妹

超给力，从计算机基础到云原生容器化，83 张全领域高清思维导图免费下载！

开源Linux