2022年のゲーデル賞が発表されました！暗号の専門家3人が理論計算部門で最高賞を受賞

2022年のゲーデル賞が発表されました！

ACM アルゴリズムおよび計算理論に関する興味グループ (SIGACT) は、暗号技術への革命的な貢献が認められ、2022 年のゲーデル賞を Craig Gentry、Zvika Brakerski、Vinod Vaikuntanathan の 3 名に授与すると発表しました。

暗号通貨の専門家クレイグ・ジェントリー氏が受賞

クレイグ・ジェントリー

クレイグ・ジェントリーは、シルビオ・ミカリが設立したブロックチェーンのスタートアップ企業であるアルゴランド財団で現在研究者として働いているアメリカのコンピューター科学者です。

ジェントリーは暗号学、特に準同型暗号における優れた業績で知られています。

1993年、デューク大学在学中にパトナムフェローとなった。 2009 年、彼の博士論文「完全準同型暗号化方式」は、計算機協会の準同型暗号化博士論文賞を受賞しました。

2010年、彼は同じ研究によりACMのグレース・マレー・ホープ賞を受賞した。 2014年にマッカーサーフェローシップを受賞した。彼はIBMのトーマス・J・ワトソン研究所の研究科学者でもありました。

ズヴィカ・ブラケルスキ

Zvika Brakerski 氏は、ワイツマン科学研究所のコンピュータサイエンスおよび応用数学部門の准教授です。

彼の研究対象はコンピュータサイエンスの基礎にあり、現在は暗号と量子コンピューティングに重点を置いています。

2011年、ブラケルスキー氏は指導教官のシャフィ・ゴールドヴァッサー氏の勧めでワイツマン科学研究所で博士号を取得しました。その後、彼はスタンフォード大学のコンピューターサイエンス学部でシモンズ博士研究員として 2 年間勤務しました。

彼は2002年にテルアビブ大学工学部で修士号を取得しました。それ以前の2001年には、テルアビブ大学工学部とコンピュータサイエンス学部から共同理学士号を取得しました。

ヴィノド・ヴァイクンタナサン

Vinod Vaikuntanathan について言えば、彼の名前が珍しいだけでなく、彼の経歴はさらに珍しいものです。

彼は、MIT コンピュータサイエンス学部の Steven and Renee Finn キャリア開発助教授です。彼の主な研究対象は暗号理論と実践です。

彼は、整数格子を使用して高度な暗号化プリミティブを構築する「格子ベース」の暗号化の研究に専念しています。同時に、パスワードを漏洩に強いものにする方法や、敵対者による情報漏洩に抵抗するアルゴリズムの開発などの研究も含まれます。

最近、Vinod は暗号化されたデータのコンピューティングの理論と実践に取り組んでおり、完全準同型暗号化や関数暗号化などの強力な暗号化オブジェクトを構築しています。

Vinod は MIT で博士号を取得し、2009 年にコンピューター サイエンス分野の最優秀 MIT 博士論文として George M. Sprowls 賞を受賞しました。

また、2008 年の IBM Josef Raviv ポストドクター フェローシップ、2013 年の Alfred P. Sloan 研究フェローシップ、2014 年の Microsoft Faculty Fellowship、および 2014 NSF Industry Award も受賞しています。

完全準同型暗号化とは何ですか?

2022年のゲーデル賞は、以下の2つの論文に授与されます。

詳細はこちら

これら 2 つの論文は、効率的な完全準同型暗号化 (FHE) 方式を通じて暗号化に革命的な貢献をしました。

FHE 方式では、データは標準の暗号化方式を使用して安全に暗号化されます。

さらに、FHE は、暗号化されたデータに対して計算を実行し、復号化やキーを必要とせずに暗号化された結果を生成する機能を提供します。

この機能により、幅広いアプリケーションが可能になり、高価な計算を信頼できないサーバーに安全にアウトソーシングしたり、複数のエンティティ間で共同計算を安全に実行したりできるようになります。

論文1:

論文2:

簡単に言えば、個人のプライバシーは準同型暗号化を通じてのみ保護できます。

最も伝統的な暗号化システムの構築には、多くの場合、KEY (キー) が必要です。

このキーを使用すると、平文情報を暗号文に暗号化できます。もう一方の端では、暗号文はキーを使用して元の形式に戻されます。

このキーがなければ、私たちが送信している情報を他の人が知ることは困難です。

準同型暗号システムにはさまざまな分類があり、大まかに部分準同型、近似準同型、有限級数完全準同型、完全準同型の 4 つのカテゴリに分類できます。

完全準同型暗号化の概念は、1970 年代後半に登場しました。

1978 年、暗号の専門家である Rivest、Adleman、Dertouzos が論文「データ バンクとプライバシー準同型性について」で、完全準同型暗号化 (プライバシー準同型性と呼ばれる) の概念を初めて提案しました。

しかし、暗号化されたデータに対して任意の計算を実行できる FHE スキームの構築は、その後 30 年間にわたって未解決の問題のままでした。

上記の受賞論文の前に、Craig Gentry は 2009 年に FHE 構造を提案しました。 2009 年に Gentry によって提案された完全準同型システムは、完全準同型暗号化システムの第 1 世代と呼ばれることがよくあります。

完全準同型暗号化の概念は長い間提案されてきたことがわかります。

これらの論文は、高レベルの暗号プリミティブの構築から FHE の実装、候補となる量子耐性暗号化方式の設計に至るまで、理論的研究と応用研究の両方に大きな影響を与えました。

ジェントリーによって完全準同型システムへの扉が開かれてから11年が経ったようです。現在、業界では FHE に関する研究が盛んに行われており、多くの人がさまざまな角度やアプリケーションのニーズから完全準同型システムを研究しています。

ゲーデル賞

ゲーデル賞に関しては、その価値は極めて高いです。

この賞は、1993 年に欧州理論計算機科学協会 (EATCS) と計算機科学協会の理論計算機科学専門グループ (ACM SIGACT) によって共同で設立されました。

この賞は、理論計算の分野における最も優れた学術論文に贈られます。論理学とコンピュータ科学の先駆者であるクルト・ゲーデルにちなんで名付けられました。

ゲーデルといえば、彼はハンサムなだけでなく、非常に才能に恵まれています。

ゲーデルはアリストテレスのような偉大な論理学者の一人であると言う人もいます。彼が有名な P 対 NP 問題について初めて言及したのは、コンピュータの父であるジョン・フォン・ノイマンに宛てた手紙の中ででした。

ゲーデル賞を受賞するのは簡単なことではありません。

受賞論文は、理論計算機科学の分野に画期的かつ重要な貢献を果たし、14年以内に学術雑誌に正式に掲載されている必要があります。

上記の要件を満たした上で、6名の審査員で構成される選考委員会による評価に合格する必要があります。審査員も EATCS と ACM SIGACT によって指名される必要があります。

この方法でのみ最終的な勝者を決定することができます。

最終的な授賞式は通常、その年の理論計算機会議 STOC または ICALP で開催されます。