This is a one-day event of talks and discussion, organized by Yale’s Applied Cryptography Lab (YACL), and co-organized and supported by the Center for Algorithms, Data, and Market Design at Yale (CADMY).
Schedule
| Time | Speaker | Title |
|---|---|---|
| 08:00am - 09:00am | - | Breakfast |
| 09:00am - 09:05am | Ben Fisch (Yale University) | Opening Remarks |
| 09:05am - 09:50am | Tim Roughgarden (Columbia University & a16z crypto) | Keynote: Accountable Liveness |
| 10:00am - 10:45am | Hadas Zeilberger (Yale University) | Blaze: Fast SNARKs from Interleaved RAA Codes |
| 11:00am - 11:45am | Vassilis Zikas (Georgia Tech) | CryptoGT: Cryptography and Game Theory for the Analysis of Blockchains |
| 11:45am - 01:00pm | - | Lunch |
| 01:00pm - 01:45pm | Longfei Qiu (Yale University) | Formal Verification of Blockchains: Consensus, Mempool, and Beyond |
| 02:00pm - 02:45pm | Lewis Cohen (Cahill Gordon & Reindel LLP) | Decentralization and Its Discontents |
| 03:00pm - 03:45pm | Fahad Saleh (University of Florida) | An Economic Model of the L1-L2 Interaction |
| 04:00pm - 04:45pm | Matt Weinberg (Princeton University) | Analyzing the economic impact of decentralization on users |
