January 30th - February 1st 2019, Arrillaga Alumni Center, Stanford University
This conference will explore the use of formal methods, empirical analysis, and risk modeling to better understand security and systemic risk in blockchain protocols. We aim to foster multidisciplinary collaboration among practitioners and researchers in blockchain protocols, distributed systems, cryptography, computer security, and risk management. The talks and papers from the previous event in this conference series (formerly known as BPASE) are available here: 2017; 2018.
Conference Dates: January 30 - February 1, 2019. There will be an evening reception on the first day of the conference, January 30th, after the day's program of talks concludes (5pm - 7pm), at Arrillaga Alumni Center.
Venue: McCaw Hall, Arrillaga Alumni Center (326 Galvez St), Stanford University. Map
Accommodations: Some hotels close to Stanford are the Sheraton Palo Alto, the Stanford Terrace Inn, and others listed at Stanford's lodging guide.
Sponsors
|
|
|
|
|
|
|
|
|
|
|
Ethereum Foundation |
Protocol Labs |
Interchain Foundation and Cosmos |
OmiseGO |
Dfinity |
Polychain |
BlockFin from Storecoin |
Lemniscap |
Paradigm |
Coefficient Ventures |
Program
| Wednesday, Jan. 30, 2019 | |
| 9:00am |
Welcome remarks. Watch here.
|
|
Session 1: Blockchain privacy
session chair: Dan Boneh |
|
| 9:10am |
Building Mimblewimble/Grin, an implementation for privacy and scalability. Watch here.
Speaker: Quentin Le Sceller
|
| 9:40am |
Building, and building on, Bulletproofs. Watch here.
|
| 10:10am |
Quisquis: A New Design for Anonymous Cryptocurrencies. Watch here.
Speaker: Prastudy Fauzi
|
| 10:40am |
Break
|
|
Session 2: Scalability proposals
session chair: Elaine Shi |
|
| 11:10am |
Plasma Cash: Towards more efficient Plasma constructions. Watch here.
|
| 11:40am |
bloXroute: A Network for Tomorrow's Blockchain. Watch here.
|
| 12:10pm |
Lunch
|
|
Session 3: Succinct arguments
session chair: Shashank Agrawal |
|
| 1:40pm |
The STARK truth about DEXes. Watch here.
|
| 2:10pm |
Aurora: Transparent Succinct Arguments for R1CS. Watch here.
Speaker: Alessandro Chiesa
|
| 2:40pm |
Accumulators for blockchains. Watch here.
Speaker: Benedikt Bünz
|
| 3:10pm |
Break
|
|
Session 4: New projects
session chair: Ben Fisch |
|
| 3:40pm |
Urkel Trees: An optimized and cryptographically provable key-value store for decentralized naming. Watch here.
|
| 4:10pm |
New and Simple Consensus Algorithms for ThunderCore’s Main-Net. Watch here.
Speaker: Elaine Shi
|
| 4:40pm |
SybilQuorum: Open Distributed Ledgers Through Trust Networks. Watch here.
|
| 5:10pm |
End of day one
|
| 5:25pm |
Reception
|
| Thursday, Jan. 31, 2019 | |
|
Session 5: Payment channels and locks
session chair: Tadge Dryja |
|
| 9:00am |
Privacy-preserving Multi-hop Locks for Blockchain Scalability and Interoperability. Watch here.
Speaker: Pedro Monero-Sanchez
|
| 9:30am |
HTLCs Considered Harmful. Watch here.
|
| 10:00am |
State Channels as a Scaling Solution for Cryptocurrencies. Watch here.
Speaker: Patrick McCorry
|
| 10:30am |
Break
|
|
Session 6: ASICS and PoReps
session chair: Florian Tramer |
|
| 11:00am |
ASIC design for mining. Watch here.
|
| 11:30am |
Tight Proofs of Space and Replication. Watch here.
|
|
Session 7: Lightning talks.
session chair: Joseph Bonneau |
|
| 12:00pm |
Lightning talks. Watch here.
Speaker: Please submit short proposal. Talks will be announced before. No advertisement/job posting talks.
|
| 12:30pm |
Lunch
|
|
Session 8: Smart contracts
session chair: Jeremy Rubin |
|
| 2:00pm |
Formal verification: the road to complete security of smart contracts. Watch here.
|
| 2:30pm |
Automatic Detection of Vulnerabilities in Smart Contracts. Watch here.
|
| 3:00pm |
Miniscripts. Watch here.
|
| 3:30pm |
Break
|
|
Session 9: Blockchain economics
session chair: Yonatan Sompolinski |
|
| 4:00pm |
Monopoly without a Monopolist: An Economic Analysis of the Bitcoin Payment System. Watch here.
Speaker: Jacob Leshno
|
| 4:30pm |
Blockchain Upgrade as a Coordination Game. Watch here.
Speaker: Stephanie Hurder
|
| 5:00pm |
Spork: Probabilistic Bitcoin Soft Forks. Watch here.
|
| 5:30pm |
End of day two
|
| Friday, Feb. 1, 2019 | |
|
Session 10: Proof of stake
session chair: Ling Ren |
|
| 9:00am |
Proof-of-Stake Protocols for Privacy-Aware Blockchains. Watch here.
Speaker: Daniel Tschudi
|
| 9:30am |
A Large-Scale Proof-of-Stake Blockchain in the Open Setting (or, How to Mimic Nakamoto’s Design via Proof-of-Stake). Watch here.
Speaker: Hong-Sheng Zhou
|
| 10:00am |
Betting on Blockchain Consensus with Fantômette. Watch here.
Speaker: Sarah Azouvi
|
| 10:30am |
Toward More Secure Proof-of-Work Consensus Protocols. Watch here.
Speaker: Ren Zhang
|
| 11:00am |
Break
|
|
Session 11: Smart Contracts 2
session chair: Nicolas Kokkalis |
|
| 11:30am |
Zexe: Enabling Decentralized Private Computation. Watch here.
Speaker: Pratyush Mishra
|
| 12:00pm |
Trains, Hotels, and Async. Watch here.
|
| 12:30pm |
Lunch
|
|
Session 12: Ethereum's future
session chair: Benedikt Bünz |
|
| 2:00pm |
Casper the Friendly Ghost: A "Correct-by-Construction" Blockchain Consensus Protocol. Watch here.
|
| 2:30pm |
Ethereum 2.0 and Beyond. Watch here.
|
| 3:00pm |
Break
|
|
Session 13: Distributed computation
session chair: Payman Mohassel |
|
| 3:30pm |
Efficient Distributed Key Generation for Threshold Signatures. Watch here.
Speaker: Mahnush Movahedi
|
| 4:00pm |
Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees. Watch here.
Speaker: Nicolas Gailly
|
| 4:30pm |
Minimalistic Design for Decentralized Cryptocurrency Wallet. Watch here.
|
| 5:00pm |
Conference ends ... see you next year
|
Program Chairs:
Dan Boneh (Stanford)
Benedikt Bünz (Stanford)
General Chairs:
Allison Berke (Stanford)
Byron Gibson (Consultant)
Program Committee:
Shashank Agrawal (Visa)
Joseph Bonneau (NYU)
Ethan Buchman (Tendermint)
Suhabe Bugrara (Consensys)
Angelo de Caro (IBM)
Philip Daian (Cornell University)
Tadge Dryja (MIT DCI)
Ben Fisch (Stanford)
Arthur Gervais (Imperial College London)
Alex Leishman (Polychain Capital)
Jonathan Levi (Hacera)
Zaki Manian (Cosmos, Trusted-IoT)
Mahnush Movahedi (Dfinity)
Andrew Poelstra (Blockstream)
Jeremy Rubin (Interstellar)
abhi shelat (Northeastern)
Yonatan Sompolinsky (DagLabs)
Pieter Wuille (Blockstream)
Cathie Yun (Interstellar)
