高度なデータ構造
Open Academy
無料
入門 / algorithms, structures, MIT
このコースでは、コンピュータサイエンスにおけるデータ構造の基本的な役割を探求し、効率的なアルゴリズムを開発する上での重要性を強調します。学習者は、動的グラフ、メモリ階層、ハッシュなどの高度なトピックを学ぶとともに、この分野における現在の研究動向にも取り組みます。
入門
algorithms, structures, MIT
このコースでは、対話型証明、多証明者対話型証明、および確率的に検証可能な証明に焦点を当て、コンピュータサイエンスにおける証明の進化を探求します。学習者は、暗号技術を活用して、これらの高度な証明システムを計算量的に妥当な非対話型引数(SNARGs)へと変換する方法を学びます。
対話型証明および多プロバイダ証明の重要性を説明する能力
証明システムをSNARGに変換する技術
暗号技術と計算論的健全性の関係についての理解
MIT OpenCourseWare
暗号学における証明の進化
暗号システムがどのようにしてデジタル通信におけるセキュリティと信頼を確保しているのか、不思議に思ったことはありませんか?このコースでは、コンピュータサイエンスにおける証明の魅惑的な世界を深く掘り下げ、暗号学と計算論的な健全性の間にある複雑なつながりを明らかにします。対話型証明とそのマルチプルーバー版を探索することで、学習者は安全な通信を可能にするメカニズムを解き明かしていきます。
このコースを際立たせているのは、高度な証明システムの実際的な応用に焦点を当てている点です。学生は最先端の概念に取り組み、強力な証明システムを非対話型の引数(アーギュメント)に変換する方法を学び、暗号学の原理への理解を深めます。コースが進むにつれて、参加者はこれらの高度なトピックに関する強固な基礎を段階的に築き、現実世界の暗号学的な課題に取り組むための知識を身につけることができます。
講義 ・ 17本の動画
第1回:対話証明と和チェックプロトコル(パート1)
第1講:対話証明とSum-Checkプロトコル、パート2
第2回:二重に効率的な対話証明、パート1
第2講:二重に効率的な対話証明、パート2
第3講:GKRプロトコルの続きと系
第4講:GKRによるPCPと対話型引数、パート1
講師陣
元のコース
学習対象は
誰でしょう?
高度な証明システムの理解に苦労している暗号技術愛好家たち
暗号技術の応用に関する理解を深めようとしている、コンピュータサイエンス専攻の学生
セキュアな通信プロトコルのスキル向上を目指すプロフェッショナルの方々
前提知識、
必要でしょうか?
基本的な暗号概念に関する知識
計算量の理解
対話型証明システムに関する知識
1,921
受講生
10
受講レビュー
4.8
講座評価
131
講座
"言語が学習の障壁にならないように。"
世界有数の機関による公開講座をお届けします。
翻訳と字幕作業を通じて、すべての学習者が言語の壁を感じることなく講義を受けられるようサポートします。
全体
19件 ∙ (22時間 34分)
講座資料(こうぎしりょう):
3. 第1講:対話型証明とサムチェック・プロトコル(パート1)
01:31:16
4. 第1回:対話型証明とサムチェック・プロトコル、パート2
01:06:10
5. 第2回:二重に効率的な対話証明、パート1
01:53:22
7. 第3講:GKRプロトコルの続きと系
01:21:46
8. 第4講:GKRによるPCPと対話型引数、パート1
01:29:42
9. 第4講:GKRを用いたPCPと対話型引数、パート2
01:10:48
10. 第5講:キリアン-ミカリ・プロトコル(第1部)
01:44:35
知識共有者の他の講座を見てみましょう!
同じ分野の他の講座を見てみましょう!
無料