I am a PhD candidate at University of Toronto, I worked as a Research Engineer at Zircuit and Quantstamp. My current research focus on zkVM compiler optimization, smart contract security and blockchain security in general.