9:30am: Breakfast
10:00am: Welcome
10:10am: Luowen Qian, NTT
“One-Way Functions” Without One-Way Functions
10:40am: Binyi Chen, Stanford
LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems
11:10am: Coffee Break
11:40am: Melissa Chase, Microsoft Research
Precio: Flexible and Private Aggregate Statistics
12:40pm: Lunch
2:10pm: Abhiram Kothapalli, U.C. Berkeley
NeutronNova: Folding everything that reduces to zero-check
2:40pm: Alin Tomescu, Aptos
Distributed Randomness using Weighted VRFs
3:10pm: Coffee Break
3:40pm: Lior Rotem, Stanford
Straight-Line Knowledge Extraction for Multi-Round Protocols
4:10pm: Sriram Sridhar, U.C. Berkeley
Insta-Pok3r: Real-time on-chain poker
4:40pm: END