Prelim Examination: Surya Bakshi
December 7, 2022 @ 1:00 PM
CSL 141
Exam Topic: Formalizing Smart-Contract Based Blockchain Protocols