UeduGPTs

--

Jupyters

2

AI 回覆桌面通知

AI 助教回覆完成時顯示桌面通知

聊天訊息通知

同學在討論區發送訊息時通知

聲音通知

每當有新通知時播放提示音

更多設定

帳戶設定資料隱私設定研究知情同意書

6.5630

Advanced Topics in Cryptography

Prof. Yael Tauman Kalai | Fall 2023

Data Science, Analytics & Computer Technology Networks and Security Computer Science Engineering Cryptography

前往原始課程

CC BY-NC-SA 4.0

課程簡介

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).

課程資訊

來源	MIT 開放式課程
科系	Electrical Engineering and Computer Science
語言	English
影片數	17

課程影片 (17)

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2

Lecture 2: Doubly Efficient Interactive Proofs, Part 1

Lecture 2: Doubly Efficient Interactive Proofs, Part 1

Lecture 2: Doubly Efficient Interactive Proofs, Part 2

Lecture 2: Doubly Efficient Interactive Proofs, Part 2

Lecture 3: Continuation of the GKR Protocol and Corollaries

Lecture 3: Continuation of the GKR Protocol and Corollaries

Lecture 4: PCP via GKR and Interactive Arguments, Part 1

Lecture 4: PCP via GKR and Interactive Arguments, Part 1

Lecture 4: PCP via GKR and Interactive Arguments, Part 2

Lecture 4: PCP via GKR and Interactive Arguments, Part 2

Lecture 5: The Kilian-Micali Protocol, Part 1

Lecture 5: The Kilian-Micali Protocol, Part 1

Lecture 5: The Kilian-Micali Protocol, Part 2

Lecture 5: The Kilian-Micali Protocol, Part 2

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 2

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 2

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 2

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 2

Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 1

Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 1

Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 2

Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 2