IC3 faculty, students, sponsors, and guests gathered at the IC3 Fall Retreat at the JP Morgan Metrotech Center to discuss the major technical challenges, issues and innovative solutions to widespread blockchain adoption. Researchers from CMU, Cornell, Cornell Tech, ETH Zurich, EPFL, UC Berkeley, UCL, UIUC, and the Technion were all present along with representatives of IC3's industry partners.
There were 28 talks from faculty and students across the globe and a compelling Town Hall led by Prof. Andrew Miller (please see overview at bottom of the agenda).
Ample breaks were scheduled for follow up discussions and networking. The Retreat was capped off by a dinner at the nearby Kimoto Rooftop Restaurant and an after-party at the aptly named Endswell.
Please see the detailed agenda below.
IC3 2019 Fall Retreat Agenda
8:00 - 8:45 Continental Breakfast
8:45 - 9:00 Welcome
9:00 - 9:50 Session 1: Smart Contract Architectures
Steven Goldfeder - Private Smart Contracts - 10 min Surya Bakshi - Saucy - Smart COntracts and Universal Composability - 10 min Ethan Cecchetti - Information Flow Language for Smart Contracts - 10 min Phil Daian - Complete Knowledge and Bribery in Smart Contracts - 10 min Mahimna Kelkar - Retroactive Time in Blockchain - 10 min
9:50 - 10:10 Break - 20 min
10:10 - 11:00 Session 2: Consensus and Related Topics
Emin Gun Sirer - Beyond Blockchains and Proof of Work: Part I - 10 min Kevin Sekniqi - Beyond Blockchains and Proof of Work: Part II - 10 min Yan Ji - Mining Discouragement Attack: Part I - 10 min Michael Mirkin - Mining Discouragement Attack: Part II - 10 min Hanyun Xu - Blockchain Sharding Consensus - 10 min
11:00 - 11:20 Break - 20 min
11:20 - 12:00 Session 3: Markets
Amani Moin - A Taxonomy of Stablecoins - 10 min Haoqian Zhang - Toward a Better Monetary System - 10 min Patrick McCorry - Off-chain Markets - 10 min Peng Gao - HyperService: Interoperability and Programmability Across Heterogeneous Blockchains - 10 min
12:00 - 1:00 Lunch - 60 min
1:00 - 1:40 Session 4: Security and Zero-Knowledge
Tiancheng Xie - Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation - 10 min Jiaheng Zhang - Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof - 10 min Sarah Meiklejohn - Tracing Transactions Across Cryptocurrency Ledgers - 10 min Andrew Miller - Blockchain and Peer Review - 10 min
1:40 - 2:00 Break - 20 min
2:00 - 2:30 Session 5: Messaging & Computation
Harjasleen Malvai - SEEMless: Secure End-to-End Encrypted Messaging with Less Trust - 10 min Tom Yurek - HoneyBadgerMPC and AsynchroMix: Practical Asynchronous MPc and its Application to Anonymous Communication - 10 min Ye Zhang - Publicly Auditable MPC - 10 min
2:30 - 3:00 Session 6: Off-Chain Data
Eleftherios Kokoris-Kogias - Brick: Asynchronous State Channels - 10 min Fan Zhang - Decentralized Oracles - 10 min Sai Krishna Deepak Maram - CANDID Decentralized Identities - 10 min
3:10 - 3:30 Break - 20 min
3:30 - 4:10 Session 6: Town Hall (see below) - Input from IC3 Sponsors on IC3 Research Priorities, Projects, Tech Transfer, Modes of Engagement, and Social Impact - Professor Andrew Miller
4:10 - 4:50 Session 7: Applications
Sishan Long - Blockchain for Social Good - 10 min Itay Tsabary - Just Enough Security: Reducing Proof-of-Work Ecological Footprint - 10 min Lun Wang - Data Capsule: A New Paradigm for Data Privacy - 10 min Dawn Song - Decentralized Federated Learning on Blockchain - 10 min
4:50 - 5:00 Closing Remarks
6:00 - 8:00 Dinner - Kimoto Roof Top Restaurant
8:00 - 11:00 After-Party - Endswell
Town Hall Session Overview: An open discussion forum led by Prof. Andrew Miller (IC3 Associate Director) to get feedback and input from our industry partners and faculty membership. The following topics are suggested to seed the conversation. Please ponder this beforehand and come with questions and comments at the ready!
Our tremendous research progree speaks for itself, (e.g., see our website), but let's review our grand challenge problems and goal setting. How shall we set our priorities and focus areas for the next year?
What are the most important upcoming problems for which the current progress and research directions are not yet addressing?
How are we doing at transitioning our research to practice, and what opportunities should we exploit to do this more? I will discuss an emerging plan, called "Blockchain as a Clinical Practice", or "Blockchain for Social Good", in which we take an active role in leading social benefit projects to deploy our research.