講座内容
数千年の歴史をもつ暗号は1970年代以降に根本的で急峻な変革を遂げ、今日、暗号の科学と技術は様々な形で日常生活に深く浸透するに至りました。これを現代暗号と呼びます。この講座では現代暗号の原理と特徴、基本的な機能、社会基盤とのかかわり、そして近い将来に求められる暗号の機能について、要点を平易に紹介します。これにより暗号を切り口として、情報社会の現在と未来を垣間見ることにもなります。なお、現代暗号は数学的な理論に基づくものですが、できるだけ直観的な説明に努め、記法や概念を定義するときは高等学校「数学I」や「数学A」の言葉を使うよう配慮します。
※本講座は、2024年1月開講の第1回、2025年1月開講の第2回及び2025年10月開講の第3回と同じ内容となり、課題の一部を変更しております。
Week1:現代暗号の基本的な道具
現代暗号の安全性の基礎となる数学的仕組みについて解説します。それが一方向性関数で、順方向の計算は容易ですが、逆方向の計算は困難という性質を持ちます。この性質に基づく代表的な暗号方式の例を学び、現代暗号の基本的原理への理解を深めます。
- イントロダクション
- 一方向性関数1:素因数分解問題
- 一方向性関数2:RSA問題
- 一方向性関数3:離散対数問題
- ハッシュ関数・擬似乱数生成器
- Diffie-Hellman鍵共有方式
- ElGamal暗号方式
- RSA暗号方式
- RSA署名方式
Week2:基本的な道具で実現できる機能
前週の道具を駆使して、大規模で安全な情報システムを構成する際の部品となる様々な機能が達成できることを学びます。具体的には、印鑑に代わる署名や本人認証、データを暗号化したまま四則演算を行う秘密計算、秘密情報を複数人で分散して共有する仕組み、暗証番号を見せずに所持自体を証明するゼロ知識証明などです。
- イントロダクション
- デジタル署名1(基本的な署名方式)
- デジタル署名2(グループ署名・ブラインド署名)
- 秘密分散共有(仕組みと代表的な方式)
- 秘密計算(準同型暗号とその応用例)
- ゼロ知識証明1(基本機能の直観的説明)
- ゼロ知識証明2(少しフォーマルな説明)
- ゼロ知識証明3(証明の具体例)
- ゼロ知識証明4(証明できることの限界)
Week3:暗号技術と現代社会システム
いくつかの暗号技術の高度な組み合わせと巧妙な運用によって、地球規模の巨大な社会インフラが編まれている現状を学びます。具体的には、ウェブサイトの信頼性を担保するPKI、通信を保護するSSL/TLS、そして世界経済で存在感を増す暗号資産などに焦点を絞ります。
- イントロダクション
- インターネット (IPSec、TLS)
- 公開鍵認証基盤 (PKI)
- 電子マネー (交通系カードほか)
- ブロックチェーン1 (全体像、暗号資産)
- ブロックチェーン2 (動作原理、運用の仕組み)
- ブロックチェーン3 (活用例:NFT)
- ブロックチェーン4 (活用例:スマートコントラクト)
- ブロックチェーン5 (社会インフラとしての期待と課題)
Week4:量子計算機時代の新しい暗号
現代暗号が抱える本質的な課題と、その解決への取り組みの現状を学びます。実は近い将来、量子計算機が本格的に実用化されると、現在は一方向性と考えられている関数が、そうではなくなることが判っています。そこで、量子計算機にとっても困難と考えられている計算問題を使って、新時代の一方向性関数を構成する試みが活発化しています。その代表例を紹介し、未来につなげて講座を閉じます。
- イントロダクション
- 古典計算機と量子計算機 (基本的な差異)
- ショアのアルゴリズム (素因数分解問題の解法)
- 耐量子計算機暗号の候補 (依拠する問題による分類)
- 格子上の問題1 (最短ベクトル問題)
- 格子上の問題2 (LWE問題)
- 格子暗号1(米国国立標準技術研究所による標準化動向)
- 格子暗号2 (標準方式候補の概要)
- 今後の展望 (むすびに代えて)
講師・スタッフ紹介
静谷 啓樹(しずや ひろき)
東北大学教養教育院 総長特命教授
1987年東北大学大学院工学研究科博士課程修了(工学博士)。
東北大学助手、助教授を経て1995年同大教授。2023年より現職、東北大学名誉教授。専門は理論計算機科学、特に計算量理論と暗号理論。
主な著書
『情報セキュリティハンドブック』(電子情報通信学会 編、オーム社、2004年)
『暗号・ゼロ知識証明・数論』(情報処理学会 監修、岡本龍明・太田和夫 共編、共立出版、1995年)
酒井 正夫(さかい まさお)
東北大学データ駆動科学・AI教育研究センター 准教授
東北大学大学院工学研究科博士後期課程修了後、同大学情報シナジーセンター助手、同大学高等教育開発推進センター講師、同大学教育情報基盤センター准教授を経て、現職。学位:博士(工学)東北大学
専門はデータ科学。特にブロックチェーン技術を用いた個人情報の保護と活用に取り組んでおり、開発技術の社会実装にも取り組んでいる。
磯辺 秀司(いそべ しゅうじ)
東北大学データ駆動科学・AI教育研究センター 准教授
東北大学大学院情報科学研究科システム情報科学専攻 博士後期課程修了後、東北大学教育情報基盤センターなどを経て、2019年10月より現職。代数学、特に群論の暗号理論への応用に取り組んでいる。
主な著書
『数理思考演習』(磯辺秀司・小泉英介・静谷啓樹・早川美徳 著、共立出版、2023年)
小泉 英介(こいずみ えいすけ)
東北大学データ駆動科学・AI教育研究センター 助教
2005年東北大学大学院理学研究科博士後期課程修了、博士(理学)。
東北大学高等教育開発推進センター助手、助教、東北大学教育情報基盤センター助教を経て、2019年10月より現職。
現在の専門は情報・データ科学教育および情報セキュリティに関連する数学。
主な著書
『数理思考演習』(磯辺秀司・小泉英介・静谷啓樹・早川美徳 著、共立出版、2023年)
長谷川 真吾(はせがわ しんご)
福島大学共生システム理工学類 数理・情報科学コース 教授
2009年東北大学大学院情報研究科博士課程修了(博士(情報科学))。
東北大学教育情報基盤センター助教、東北大学データ駆動科学・AI教育研究センター助教、福島大学共生システム理工学類 数理・情報科学コース 准教授を経て2026年より現職。
専門は情報セキュリティ、特に暗号理論。