Past Program Activities

Continuous Verifiable Delay Functions
Speaker: Ilan Komargodski
Oct. 17, 2019
Program: Proofs, Consensus, and Decentralizing Society
The case for a new more mathematically streamlined model for asynchronous byzantine
Speaker: Eli Gafni
Oct. 15, 2019
Program: Proofs, Consensus, and Decentralizing Society
An Equilibrium Model of the Market for Bitcoin Mining
Speaker: Julien Prat
Oct. 8, 2019
Program: Proofs, Consensus, and Decentralizing Society
Formal Barriers to Longest-Chain Proof-of-Stake Protocols
Speaker: Alex Psomas
Oct. 3, 2019
Program: Proofs, Consensus, and Decentralizing Society
A Crash Course on Fast Interactive Proofs
Speaker: Justin Thaler
Oct. 1, 2019
Program: Proofs, Consensus, and Decentralizing Society
Competing Bandits in Matching Markets
Speaker: Michael Jordan, Lydia Liu and Horia Mania
Sep. 26, 2019
Program: Online and Matching-Based Market Design
The Law of One Price for Heterogeneous Goods
Speaker: Assaf Romm
Sep. 24, 2019
Program: Online and Matching-Based Market Design
A Continuum Model of Stable Matching with Finite Capacities
Speaker: Nick Arnosti
Sep. 19, 2019
Program: Online and Matching-Based Market Design
From Zero Knowledge to Private Transactions
Speaker: Alessandro Chiesa
Sep. 19, 2019
Program: Proofs, Consensus, and Decentralizing Society
Coda: Proof-of-stake and recursive zk-SNARKs in practice
Speaker: Izaak Meckler
Sep. 18, 2019
Program: Proofs, Consensus, and Decentralizing Society

Pages