Advanced Topics in Cryptography

This course explores the evolution of proofs in computer science, focusing on interactive proofs, multi-prover interactive proofs, and probabilistically checkable proofs. Learners will discover how to leverage cryptography to transform these advanced proof systems into computationally sound non-interactive arguments (SNARGs).