# Advanced Topics in Cryptography

- Institution: Massachusetts Institute of Technology
- Department: Electrical Engineering and Computer Science
- Teacher: Prof. Yael Tauman Kalai
- Term: Fall 2023
- Level: Graduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [MIT OpenCourseWare](https://ocw.mit.edu/courses/6-5630-advanced-topics-in-cryptography-fall-2023/)
- Licence: [CC BY-NC-SA 4.0](https://creativecommons.org/licenses/by-nc-sa/4.0/) (Non-commercial use only.)
- Syllabus: [at the source](https://ocw.mit.edu/courses/6-5630-advanced-topics-in-cryptography-fall-2023/pages/syllabus/)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

This course is about the evolution of proofs in computer science. We will learn about the power of interactive proofs, multi-prover interactive proofs, and probabilistically checkable proofs. We will then show how to use cryptography to convert these powerful proof systems into computationally sound non-interactive arguments (SNARGs).

## Lectures

1. [Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/153cd99551c8) (Video)
2. [Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/d4376a6ccc37) (Video)
3. [Lecture 2: Doubly Efficient Interactive Proofs, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/4b5ba7bd641c) (Video)
4. [Lecture 2: Doubly Efficient Interactive Proofs, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/3221a2dbfd37) (Video)
5. [Lecture 3: Continuation of the GKR Protocol and Corollaries](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/772f0caf8e8f) (Video)
6. [Lecture 4: PCP via GKR and Interactive Arguments, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/9ee37df9364b) (Video)
7. [Lecture 4: PCP via GKR and Interactive Arguments, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/5055e5eece22) (Video)
8. [Lecture 5: The Kilian-Micali Protocol, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/7812dd72b18c) (Video)
9. [Lecture 5: The Kilian-Micali Protocol, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/e44e9cefe80d) (Video)
10. [Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/7676ed0476c9) (Video)
11. [Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/ce11faa745fc) (Video)
12. [Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/3b1456bf2399) (Video)
13. [Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/1081253c34db) (Video)
14. [Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/f6ee3a5f307a) (Video)
15. [Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/a08db08b1a01) (Video)
16. [Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 1](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/6ecc065132f3) (Video)
17. [Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 2](https://invisiblenetwork.ai/learn/mit/6-5630-advanced-topics-in-cryptography-fall-2023/457e1f293c53) (Video)