Proofs, Consensus, and Decentralizing Society Boot Camp

Program

Proofs, Consensus, and Decentralizing Society

Location

Calvin Lab auditorium

Date

Monday, Aug. 26 – Friday, Aug. 30, 2019

Back to calendar

9 – 9:10 a.m.

Coffee and Check-In

9:10 – 9:30 a.m.

Opening Remarks

9:30 – 10:30 a.m.

Interactive Proofs (Part I)

Justin Thaler (Georgetown University)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Interactive Proofs (Part II)

Justin Thaler (Georgetown University)

12 – 2 p.m.

Lunch

2 – 3 p.m.

Probabilistically Checkable Proofs (Part I)

Prahladh Harsha (Tata Institute of Fundamental Research)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Probabilistically Checkable Proofs (Part II)

Prahladh Harsha (Tata Institute of Fundamental Research)

4:30 – 5:30 p.m.

Reception

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Succinct Arguments (Part I)

Alessandro Chiesa (UC Berkeley)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Succinct Arguments (Part II)

Alessandro Chiesa (UC Berkeley)

12 – 2 p.m.

Lunch

2 – 3 p.m.

Zero Knowledge from Multi-Party Computation

Muthu Venkitasubramaniam (University of Rochester)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Zero Knowledge from the Discrete Logarithm Problem

Dan Boneh (Stanford University)

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Consensus: A Quintessential Computer Science Problem (Part I)

Elaine Shi (Cornell University)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Consensus: A Quintessential Computer Science Problem (Part II)

Elaine Shi (Cornell University)

12 – 2 p.m.

Lunch

2 – 3 p.m.

Nakamoto’s Consensus: Foundations of Blockchain Security (Part I)

Rafael Pass (Cornell University)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Nakamoto’s Consensus: Foundations of Blockchain Security (Part II)

Rafael Pass (Cornell University)

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Attacks, Incentives, and Game-theoretic Analysis (Part I)

Vassilis Zikas (University of Edinburgh)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Attacks, Incentives, and Game-theoretic Analysis (Part II)

Vassilis Zikas (University of Edinburgh)

12 – 2 p.m.

Lunch

2 – 3 p.m.

Introduction to Cryptocurrencies (Part I)

Georg Fuchsbauer (INRIA)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Introduction to Cryptocurrencies (Part II)

Georg Fuchsbauer (INRIA)

9 – 9:30 a.m.

Coffee and Check-In

9:30 – 10:30 a.m.

Rethinking Consensus in the Blockchain Setting (Part I)

Vassilis Zikas (University of Edinburgh)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Rethinking Consensus in the Blockchain Setting (Part II)

Vassilis Zikas (University of Edinburgh)

12 – 2 p.m.

Lunch

2 – 3 p.m.

Introduction to Cryptocurrency Regulatory Policy (Part I)

Peter Van Valkenburgh (Coin Center)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Introduction to Cryptocurrency Regulatory Policy (Part II)

Peter Van Valkenburgh (Coin Center)