2024年07月31日
2024年度 第2回 情報数理科学研究所 所内研究紹介
- 話者：穴田 啓晃
- 題目：〜暗号の設計〜 ゼロ知識証明とその社会情報学的利用に向けた研究の紹介（＋自己紹介）
- 概要：現代暗号の要素技術の一つであるゼロ知識証明について，NP完全言語，特にグラフ３彩色問題に対するものを例に説明します．次に，効率性と耐量子計算機性を追究したここ５年ほどの研究の一つを紹介します．最後に，紹介したゼロ知識証明方式を利用することで社会情報学的な課題に寄与しようとする試みを説明します．ところどころ自己紹介を挟みます．