ConsensusDay **s**21

6-7 October 2021

Virtual

## Day One - 6 October 2021

|     |     |
| --- | --- |
| 14:00 UTC | Welcome and Logistics |

|     |     |
| --- | --- |
| 14:10 UTC | Opening Talk: A Vision for ConsensusLab and Decentralized Computing ( [video](https://www.youtube.com/watch?v=UJwPyo2c_7k&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=1)) |
| Marko Vukolić (Protocol Labs) |

|     |     |
| --- | --- |
| 15:00 UTC | Session 1.1 - Sharding |

|     |     |
| --- | --- |
| 15:00 | MITOSIS: Practically Scaling Permissioned Blockchains ( [video](https://www.youtube.com/watch?v=NtVrOZ8AK7c&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=2)) |
| Giorgia Azzurra Marson (NEC Labs Europe),<br> Sebastien Andreina (NEC Labs Europe),<br> Lorenzo Alluminio (NEC Labs Europe),<br> Konstantin Munichev (NEC Labs Europe),<br> Ghassan Karame (NEC Labs Europe) |

|     |     |
| --- | --- |
| 15:15 | Shard Scheduler: Object Placement and Migration in Sharded Account-based Blockchains ( [video](https://www.youtube.com/watch?v=9hIqf1hEykc&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=3)) |
| Michał Król (City, University of London),<br> Onur Ascigil (Lancaster University),<br> Sergi Rene (University College of London),<br> Albert Sonnino (Facebook Novi),<br> Mustafa Al-Bassam (Celestia Labs),<br> Etienne Rivière (UCLouvain) |

|     |     |
| --- | --- |
| 15:30 | Efficient Fault-Tolerant Cluster-Sending: Reliable and Efficient Communication between Byzantine Fault-Tolerant Clusters ( [video](https://www.youtube.com/watch?v=KBWXLuFrD6Q&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=4)) |
| Jelle Hellings (McMaster University),<br> Mohammad Sadoghi (University of California, Davis) |

|     |     |
| --- | --- |
| 15:45 | RingBFT: Resilient Consensus over Sharded Ring Topology ( [video](https://www.youtube.com/watch?v=2HKGQu-zcYU&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=5)) |
| Sajjad Rahnama (University of California, Davis),<br> Suyash Gupta (University of California, Davis),<br> Rohan Sogani (University of California, Davis),<br> Dhruv Krishnan (University of California, Davis),<br> Mohammad Sadoghi (University of California, Davis) |

|     |     |
| --- | --- |
| 16:00 | Q&A ( [video](https://www.youtube.com/watch?v=3rRf-jVOIyU&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=6)) |

|     |     |
| --- | --- |
| 16:15 UTC | Break |

|     |     |
| --- | --- |
| 16:30 UTC | Session 1.2 - Scaling and Performance |

|     |     |
| --- | --- |
| 16:30 | Dandelion: Multiplexing Byzantine Agreements to Unlock Blockchain Performance ( [video](https://www.youtube.com/watch?v=najq_-HSANw&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=7)) |
| Kadir Korkmaz (Univ. Bordeaux, Bordeaux INP, CNRS),<br> Joachim Bruneau-Queyreix (Univ. Bordeaux, Bordeaux INP, CNRS),<br> Sonia Ben Mokthar (CNRS - LIRIS),<br> Laurent Réveillère (Univ. Bordeaux, Bordeaux INP, CNRS) |

|     |     |
| --- | --- |
| 16:45 | Basil: Breaking up BFT with ACID (transactions) ( [video](https://www.youtube.com/watch?v=-Ml7kpkfGCg&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=8)) |
| Florian Suri-Payer (Cornell University),<br> Matthew Burke (Cornell University),<br> Zheng Wang (Cornell University),<br> Yunhao Zhang (Cornell University),<br> Lorenzo Alvisi (Cornell University),<br> Natacha Crooks (UC Berkeley) |

|     |     |
| --- | --- |
| 17:00 | Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation ( [video](https://www.youtube.com/watch?v=vz5fcvrBVmI&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=9)) |
| Ray Neiheiser (INESC-ID, IST, U. Lisboa & UFSC/DAS),<br> Miguel Matos (INESC-ID, IST, U. Lisboa),<br> Luis Rodrigues (INESC-ID, IST, U. Lisboa) |

|     |     |
| --- | --- |
| 17:15 | Q&A ( [video](https://www.youtube.com/watch?v=R2LX9KvAvxk&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=10)) |

|     |     |
| --- | --- |
| 17:30 UTC | Session 1.3 - Stronger Security |

|     |     |
| --- | --- |
| 17:30 | Formal Verification of Blockchain Byzantine Fault Tolerance ( [video](https://www.youtube.com/watch?v=3TqNbyPxB1k&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=11)) |
| Pierre Tholoniat (Columbia University),<br> Vincent Gramoli (University of Sydney and EPFL) |

|     |     |
| --- | --- |
| 17:45 | PoSAT: Proof-of-Work Availability and Unpredictability, Without the Work ( [video](https://www.youtube.com/watch?v=-i4iBMSoSHE&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=11)) |
| Soubhik Deb (University of Washington),<br> Sreeram Kannan (University of Washington),<br> David Tse (Stanford University) |

|     |     |
| --- | --- |
| 18:00 | No-Commit Proofs: Defeating Livelock in BFT ( [video](https://www.youtube.com/watch?v=ydAqqR1z2cM&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=12)) |
| Neil Giridharan (UC Berkeley),<br> Heidi Howard (University of Cambridge),<br> Alin Tomescu (VMware Research),<br> Ittai Abraham (VMware Research),<br> Natacha Crooks (UC Berkeley) |

|     |     |
| --- | --- |
| 18:15 | Themis: Fast, Strong Order-Fairness in Byzantine Consensus ( [video](https://www.youtube.com/watch?v=eFRNmkZ3OOo&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=13)) |
| Mahimna Kelkar (Cornell Tech),<br> Soubhik Deb (University of Washington),<br> Sishan Long (Cornell Tech),<br> Ari Juels (Cornell Tech),<br> Sreeram Kannan (University of Washington) |

|     |     |
| --- | --- |
| 18:30 | Q&A ( [video](https://www.youtube.com/watch?v=9CmH65F8G4E&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=14)) |

|     |     |
| --- | --- |
| 18:45 UTC | Session 1.4 - Mempool and P2P Communication |

|     |     |
| --- | --- |
| 18:45 | Topic-based Service Discovery for the Ethereum P2P Network ( [video](https://www.youtube.com/watch?v=xsx8vK9Or-g&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=15)) |
| Michał Król (City, University of London),<br> Sergi Rene (University College of London),<br> Onur Ascigil (Lancaster University),<br> Etienne Rivière (UCLouvain),<br> Felix Lange (Ethereum) |

|     |     |
| --- | --- |
| 19:00 | Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus ( [video](https://www.youtube.com/watch?v=K5ph4-7vvHk&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=16)) |
| George Danezis (Facebook Novi),<br> Lefteris Kokoris-Kogias (Facebook Novi),<br> Alberto Sonnino (Facebook Novi),<br> Alexander Spiegelman (Facebook Novi) |

|     |     |
| --- | --- |
| 19:15 | DETER: Denial of Ethereum Txpool sERvices |
| Kai Li (Syracuse University),<br> Yibo Wang (Syracuse University),<br> Yuzhe Tang (Syracuse University) |

|     |     |
| --- | --- |
| 19:30 | Q&A ( [video](https://www.youtube.com/watch?v=VD5nBHHyEjU&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=18)) |

|     |     |
| --- | --- |
| 19:45 UTC | Closing Remarks |

## Day Two - 7 October 2021

|     |     |
| --- | --- |
| 14:00 UTC | Welcome and Logistics |

|     |     |
| --- | --- |
| 14:05 UTC | Opening Talk: The Importance of Consensus R&D Breakthroughs ( [video](https://www.youtube.com/watch?v=TTSKlU_U5GI&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=19)) |
| Juan Benet (Protocol Labs) |

|     |     |
| --- | --- |
| 14:30 UTC | Panel Discussion: Collaborative Research ( [video](https://www.youtube.com/watch?v=_q1rjYafSvA&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=20)) |
| Moderator: Karola Kirsanow (Protocol Labs)<br> Christian Cachin (University of Bern),<br> Zarko Milosevic (Informal Systems),<br> Jorge Soares (Protocol Labs),<br> Dawn Song (Oasis Labs) |

|     |     |
| --- | --- |
| 15:15 UTC | Session 2.1 - Asynchrony and Asymmetry |

|     |     |
| --- | --- |
| 15:15 | Protocols with Asymmetric Trust ( [video](https://www.youtube.com/watch?v=BD2ElrofJ98&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=21)) |
| Christian Cachin (University of Bern) |

|     |     |
| --- | --- |
| 15:30 | The Dumbo Protocol Family: Making Asynchronous Consensus Practical ( [video](https://www.youtube.com/watch?v=TQUMwHWXA9I&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=22)) |
| Qiang Tang (University of Sydney) |

|     |     |
| --- | --- |
| 15:45 | Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback ( [video](https://www.youtube.com/watch?v=mMHOPzoGnYo&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=23)) |
| Rati Gelashvili (Novi Research),<br> Lefteris Kokoris-Kogias (Novi Research & IST Austria),<br> Albert Sonnino (Novi Research),<br> Alexander Spiegelman (Novi Research),<br> Zhuolun Xiang (University of Illinois at Urbana-Champaign) |

|     |     |
| --- | --- |
| 16:00 | Q&A ( [video](https://www.youtube.com/watch?v=FemSNwYrwmU&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=24)) |

|     |     |
| --- | --- |
| 16:15 UTC | Break |

|     |     |
| --- | --- |
| 16:30 UTC | Session 2.2 - Checkpointing |

|     |     |
| --- | --- |
| 16:30 | Shades of Finality and Commitchain Scaling ( [video](https://www.youtube.com/watch?v=CuGAMOGXVUw&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=25)) |
| Bennet Yee (Oasis Labs),<br> Dawn Song (Oasis Labs),<br> Patrick McCorry (Infura),<br> Chris Buckland (Infura) |

|     |     |
| --- | --- |
| 16:45 | The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets ( [video](https://www.youtube.com/watch?v=Xnhd8d5abao&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=26)) |
| Joachim Neu (Stanford University),<br> Ertem Nusret Tas (Stanford University),<br> David Tse (Stanford University) |

|     |     |
| --- | --- |
| 17:00 | Securing Membership and State Checkpoints of BFT and PoS Blockchains by Anchoring onto the Bitcoin Blockchain ( [video](https://www.youtube.com/watch?v=k4SacbLrypc&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=27)) |
| Sarah Azouvi (Protocol Labs) |

|     |     |
| --- | --- |
| 17:15 | Q&A ( [video](https://www.youtube.com/watch?v=RRB3LMvq06U&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=28)) |

|     |     |
| --- | --- |
| 17:30 UTC | Session 2.3 - The Eventual Future |

|     |     |
| --- | --- |
| 17:30 | Beyond Blockchain: New Directions in Distributed Crypto ( [video](https://www.youtube.com/watch?v=Z1O4JOUAtfQ&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=29)) |
| Victor Grishchenko (N. Krasovskii Institute of Mathematics and Mechanics) |

|     |     |
| --- | --- |
| 17:45 | Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases ( [video](https://www.youtube.com/watch?v=RhVQ2y8rwe0&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=30)) |
| Martin Kleppmann (University of Cambridge),<br> Heidi Howard (University of Cambridge) |

|     |     |
| --- | --- |
| 18:00 | Tamperproof Provenance-Aware Storage for Mobile Ad Hoc Networks ( [video](https://www.youtube.com/watch?v=oAXpCayXaFY&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=31)) |
| Danny Adams (Cornell University),<br> Gloire Rubambiza (Cornell University),<br> Xinwen Wang (Cornell University),<br> Hakim Weatherspoon (Cornell University),<br> Robbert van Renesse (Cornell University) |

|     |     |
| --- | --- |
| 18:15 | Permissionless Consensus: To Infinity and Beyond ( [video](https://www.youtube.com/watch?v=FV6YVbe8U1Y&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=32)) |
| Patrick Lambein-Monette (IRIF, Université de Paris) |

|     |     |
| --- | --- |
| 18:30 | Q&A ( [video](https://www.youtube.com/watch?v=AWmS2Cn7fwM&list=PLhuBigpl7lqsq-WnYIHmds7oSqULOQU4x&index=33)) |

|     |     |
| --- | --- |
| 18:45 UTC | Closing Session / Open Discussion |
