COS 598D: Cryptographic Proof Systems (Spring 2025)