The Spring 2023 offering will be an advanced topics course discussing recent research in the theoretical foundations of cryptographic proofs, including zero-knowledge proofs and probabilistically checkable proofs.


This course will assume solid background knowledge of cryptography. In particular we will assume that you have already taken CS 407 (or an equivalent course).


We will expect participants to understand and present advanced technical papers such as


If you have previously taken a cryptography course that is equivalent to 407, please email the instructor ( asap with information about the course you've taken.


If you have not previously taken a cryptography course, you will unfortunately not have the necessary pre-requisites to participate in this course.