–
Coffee and Check-In
–
Opening Remarks
–
Interactive Proofs (Part I)
Justin Thaler (Georgetown University)
–
Break
–
Interactive Proofs (Part II)
Justin Thaler (Georgetown University)
–
Lunch
–
Probabilistically Checkable Proofs (Part I)
Prahladh Harsha (Tata Institute of Fundamental Research)
–
Break
–
Probabilistically Checkable Proofs (Part II)
Prahladh Harsha (Tata Institute of Fundamental Research)
–
Reception
–
Coffee and Check-In
–
Succinct Arguments (Part I)
Alessandro Chiesa (UC Berkeley)
–
Break
–
Succinct Arguments (Part II)
Alessandro Chiesa (UC Berkeley)
–
Lunch
–
Zero Knowledge from Multi-Party Computation
Muthu Venkitasubramaniam (University of Rochester)
–
Break
–
Zero Knowledge from the Discrete Logarithm Problem
Dan Boneh (Stanford University)
–
Coffee and Check-In
–
Consensus: A Quintessential Computer Science Problem (Part I)
Elaine Shi (Cornell University)
–
Break
–
Consensus: A Quintessential Computer Science Problem (Part II)
Elaine Shi (Cornell University)
–
Lunch
–
Nakamoto’s Consensus: Foundations of Blockchain Security (Part I)
Rafael Pass (Cornell University)
–
Break
–
Nakamoto’s Consensus: Foundations of Blockchain Security (Part II)
Rafael Pass (Cornell University)
–
Coffee and Check-In
–
Attacks, Incentives, and Game-theoretic Analysis (Part I)
Vassilis Zikas (University of Edinburgh)
–
Break
–
Attacks, Incentives, and Game-theoretic Analysis (Part II)
Vassilis Zikas (University of Edinburgh)
–
Lunch
–
Introduction to Cryptocurrencies (Part I)
Georg Fuchsbauer (INRIA)
–
Break
–
Introduction to Cryptocurrencies (Part II)
Georg Fuchsbauer (INRIA)
–
Coffee and Check-In
–
Rethinking Consensus in the Blockchain Setting (Part I)
Vassilis Zikas (University of Edinburgh)
–
Break
–
Rethinking Consensus in the Blockchain Setting (Part II)
Vassilis Zikas (University of Edinburgh)
–
Lunch
–
Introduction to Cryptocurrency Regulatory Policy (Part I)
Peter Van Valkenburgh (Coin Center)
–
Break
–
Introduction to Cryptocurrency Regulatory Policy (Part II)
Peter Van Valkenburgh (Coin Center)