6.5630 Advanced Topics in Cryptography (Fall 2023, MIT OCW). Instructor: Prof. Yael Tauman Kalai. 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).
(from ocw.mit.edu)
Lecture 06B - Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2
This lecture covers the topics of proving the Merkel hash is collision resistant, eliminating interaction via the Fiat-Shamir paradigm, and proving the soundness of the Kilian-Micali protocol in ROM.