E0 314: Proof Systems in Cryptography (Spring 2021)