| Wednesday, Feb. 19, 2020 | |
| 9:00am |
Welcome remarks
|
| Session 1: Scaling I session chair: Ariel Gabizon | |
| 9:10am |
Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma
|
| 9:40am |
Arbitrum 2.0: Faster Off-Chain Contracts with On-Chain Security
|
| 10:10am |
Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
|
| 10:40am | Break
|
| Session 2: Attacks session chair: Shashank Agrawal | |
| 11:10am |
Linking Anonymous Transactions via Remote Side-Channel Attacks
|
| 11:40am |
Broken Metre: Attacking Resource Metering in EVM
|
| 12:10pm | Lunch
|
| Session 3: New chains session chair: Dan Boneh | |
| 1:30pm |
The Libra Blockchain & Move: A Technical Introduction
|
| 2:00pm |
Blockchains for multiplayer games
|
| 2:30pm |
The Celo Ultralight Client
|
| 3:00pm | Break
|
| Session 4: SNARKs session chair: Benedikt Bünz | |
| 3:30pm |
STARK for developers
|
| 4:00pm |
PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
|
| 4:30pm |
Fractal: Post-Quantum and Transparent Recursive Proofs from Holography
|
| 5:00pm | End of day one
|
| 5:20pm | Reception
|
| Thursday, Feb. 20, 2020 | |
| Session 5: Groups of unknown order session chair: Justin Drake | |
| 9:00am |
Scalable RSA Modulus Generation with Dishonest Majority
|
| 9:30am |
Hardware Accelerated RSA - VDFs, SNARKs, and Accumulators
|
| 10:00am |
Transparent SNARKs from DARK Compilers
|
| 10:30am | Break
|
| Session 6: Blockchain economics session chair: Bram Cohen | |
| 11:00am |
An Axiomatic Approach to Block Rewards
|
| 11:30am |
Competitive equilibria between staking and on-chain lending
|
| Session 7: Lightning talks session chair: Benedikt Bünz | |
| 12:00pm |
Lightning talks
|
| 12:30pm | Lunch
|
| Session 8: Consensus session chair: Ben Fisch | |
| 2:00pm |
Beyond 51% attacks
|
| 2:30pm |
Streamlet: Textbook Streamlined Blockchain Protocols
|
| 3:00pm |
Prism: Scaling Bitcoin by 10,000x
|
| 3:30pm |
Proof-of-Stake Longest Chain Protocols Revisited
|
| 4:00pm | Break
|
| Session 9: Oracles session chair: Valeria Nikolaenko | |
| 4:30pm |
DECO: Liberating Web Data Using Decentralized Oracles for TLS
|
| 5:00pm |
Mixicles: Simple Private Decentralized Finance
|
| 5:30pm | End of day two
|
| Friday, Feb. 21, 2020 | |
| Session 10: Programming languages session chair: Byron Gibson | |
| 9:00am |
Finding Bugs Automatically in Smart Contracts with Parameterized Specifications
|
| 9:30am |
Motoko, the language for the Internet Computer
|
| 10:00am | Break
|
| Session 11: Payment and state channels session chair: Stefan Dziembowski | |
| 10:30am |
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks
|
| 11:00am |
Boomerang: Redundancy Improves Latency and Throughput in Payment-Channel Network
|
| 11:30am |
Brick: Asynchronous State Channels
|
| 12:00pm | Lunch
|
| Session 12: Scalability session chair: Dan Boneh | |
| 1:30pm |
The optimistic VM
|
| 2:00pm |
Coded Merkle Tree: Solving Data Availability Attacks in Blockchains
|
| 2:30pm | Break
|
| Session 13: Blockchain economics session chair: Lucianna Kiffer | |
| 3:00pm |
The Best Incentive is No Incentive
|
| 3:30pm |
Transparent Dishonesty: front-running attacks on Blockchain
|
| 4:00pm |
ClockWork: An Exchange Protocol for Proofs of Non Front-Running
|
| 4:30pm | Conference ends ... see you next year
|