9:30am: Breakfast
10:00am: Welcome
10:10am:		Dimitris Kolonelos, U.C. Berkeley
				Jigsaw: Doubly Private Smart Contracts
10:40am:		Jaehyung Kim, Stanford University
				Homomorphic Encryption for Large Integers from Nested Residue Number Systems
11:00am: Coffee Break
11:30am:		Keynote: Rachel Lin, University of Washington
				Lattice-Based Post-Quantum iO from Circular Security with Random Opening Assumption
12:30pm: Lunch
2:00pm:		Aditi Partap, Stanford University
				Accountability for Threshold VRFs
2:30pm:		Weijie Wang, Yale
				Dynamic zk-SNARKs
3:00pm: Coffee Break
3:30pm:		Rohit Sinha , Hedera
				Cross-chain Smart Contracts via State Proofs
4:00pm:		Guru Vamsi Policharla, U.C. Berkeley
				A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
4:30pm:		Omri Shmueli , NTT
				How to Construct One-Shot Signatures
5:00pm: END