Programme | ConsensusDays 23
ConsensusDays23
5-6 June 2023
Virtual
Day One - 5 June 2023
| Time | Event |
|---|---|
| 14:00 UTC | Welcome and Logistics |
| 14:10 UTC | Invited Talk: Fast Privacy-Enhanced and Regulation-Friendly Distributed Payments (With Applications to Cryptocurrencies and CBDCs) |
| Speaker: Aggelos Kiayias (University of Edinburgh and IOG) | |
| Abstract: We present a class of distributed payment protocols that reconcile the need for privacy with other regulatory compliance requirements in the context of money transfers such as KYC-AML. The protocol settles online payments optimally fast in the optimistic case. We discuss applications in the context of CBDCs and cryptocurrencies. | |
| 14:45 UTC | Session 1.1 - Consensus Cryptography |
| Chair: Alejandro Ranchal-Pedrosa (Protocol Labs) | |
| 14:45 | Practical Asynchronous High-threshold Distributed Key Generation and Distributed Polynomial Sampling |
| Speakers: Sourav Das, Zhuolun Xiang, Lefteris Kokoris-Kogias, Ling Ren | |
| Abstract: We present an efficient asynchronous DKG protocol among nodes that can tolerate malicious nodes while supporting high thresholds. Our protocol has significant performance improvements over existing constructions. | |
| 15:00 | Cassiopeia: Practical On-Chain Witness Encryption |
| Speakers: Schwinn Saereesitthipitak, Dionysis Zindros | |
| Abstract: We propose Cassiopeia, a smart contract Witness Encryption scheme that leverages a partially trusted committee to protect secrets until a computational problem is solved. | |
| 15:15 | Eos: Efficient Private Delegation of zkSNARK Provers |
| Speakers: Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, Yinuo Zhang | |
| Abstract: We design privacy-preserving delegation protocols for zkSNARKs that allow outsourcing proof generation while maintaining privacy against potentially colluding workers. | |
| 15:30 | Homomorphic Sortition - Single Secret Leader Election for PoS Blockchains |
| Speakers: Luciano Freitas, Andrei Tonkikh, Adda-Akram Bendoukha, Sara Tucci-Piergiovanni, Renaud Sirdey, Oana Stan, Petr Kuznetsov | |
| Abstract: We propose an asynchronous single secret leader election protocol that does not require re-registration and is compatible with partially-synchronous blockchains. | |
| 15:45 | Q&A |
| 16:00 UTC | Break |
| 16:15 UTC | Session 1.2 - Systems |
| Chair: Jorge M. Soares (Protocol Labs) | |
| 16:15 | Security Analysis of Filecoin's Expected Consensus in the Byzantine vs Honest Model |
| Speakers: Xuechao Wang, Sarah Azouvi, Marko Vukolić | |
| Abstract: We analyze the Expected Consensus protocol of Filecoin and present an attack demonstrating its security threshold, proposing improvements to enhance its resilience. | |
| 16:30 | Aquarium: Combining Broadcast and Consensus in a General Purpose Smart-Contract Platform |
| Speaker: The Mysten Labs Team | |
| Abstract: Aquarium integrates consensus protocols with low-latency transaction processing, achieving efficient execution for smart contracts without the need for restarts. | |
| 16:45 | FeBFT, an Efficient Open-Source BFT Framework |
| Speakers: Nuno Neto, João Soares, Rolando Martins | |
| Abstract: We introduce FeBFT, a modular BFT framework that supports the development of efficient BFT protocols and conducts comparative evaluations of various BFT techniques. | |
| 17:00 | Q&A |
| 17:15 UTC | Session 1.3 - Decentralisation and Checkpointing |
| Chair: Henrique Moniz (Protocol Labs) | |
| 17:15 | TrustBoost: Boosting Trust among Interoperable Blockchains |
| Speakers: Xuechao Wang, Peiyao Sheng, Sreeram Kannan, Kartik Nayak, Pramod Viswanath | |
| Abstract: We propose protocols for multiple blockchains to boost trust without undermining sovereignty, demonstrating their application in the Cosmos ecosystem. | |
| 17:30 | Interchain Timestamping for Mesh Security |
| Speakers: Ertem Nusret Tas, David Tse, Fisher Yu, Runchao Han, Kamilla Nazirkhanova | |
| Abstract: We explore interchain timestamping as a method for enhancing economic security across blockchains by utilizing transaction timestamps recorded in a sequence. | |
| 17:45 | Proofs of Proof-of-Stake with Sublinear Complexity |
| Speakers: Shresth Agrawal, Joachim Neu, Ertem Nusret Tas, Dionysis Zindros | |
| Abstract: We introduce a superlight client protocol for proof-of-stake that achieves efficient bootstrapping while preserving decentralization. | |
| 18:00 | Q&A |
| 18:15 UTC | Closing Remarks |
Day Two - 6 June 2023
| Time | Event |
|---|---|
| 14:00 UTC | Welcome and Logistics |
| 14:10 UTC | Invited Talk: Quint — Protocol Specifications Made Executable |
| Speaker: Zarko Milosevic (Informal Systems) | |
| Abstract: We discuss the Quint specification language developed for Cosmos, emphasizing its suitability for distributed systems and blockchain protocols through advanced formal verification methods. | |
| 14:45 UTC | Session 2.1 - Layer 2s |
| Chair: Alejandro Ranchal-Pedrosa (Protocol Labs) | |
| 14:45 | Information Dispersal with Provable Retrievability for Rollups |
| Speakers: Kamilla Nazirkhanova, Joachim Neu, David Tse | |
| Abstract: We present a communication-efficient protocol for retrieving off-chain stored data crucial for rollups, utilizing linear erasure-correcting codes. | |
| 15:00 | Braess Paradox in Layer-2 Blockchain Payment Networks |
| Speakers: Arad Kotzer, Ori Rottenstreich | |
| Abstract: We investigate the Braess paradox in Layer-2 networks and its implications for establishing payment channels, providing methods to mitigate the potential increases in fees. | |
| 15:15 | TxAllo: Dynamic Transaction Allocation in Sharded Blockchain Systems |
| Speakers: Yuanzhe Zhang, Shirui Pan, Jiangshan Yu | |
| Abstract: We propose TxAllo, a dynamic transaction allocation scheme for sharded blockchains that effectively reduces cross-shard transactions while maintaining balanced workloads. | |
| 15:30 | BlindHub: Bitcoin-Compatible Privacy-Preserving Payment Channel Hubs Supporting Variable Amounts |
| Speakers: Xianrui Qin, Shimin Pan, Arash Mirzaei, Zhimei Sui, Oguzhan Ersoy, Amin Sakzad, Muhammed F. Esgin, Joseph K. Liu, Jiangshan Yu, Tsz Hon Yuen | |
| Abstract: We introduce a Bitcoin-compatible Payment Channel Hub achieving relationship anonymity and variable payment amounts, detailing the implementations of our protocols. | |
| 15:45 | Q&A |
| 16:00 UTC | Break |
| 16:15 UTC | Session 2.2 - Performance and Scalability |
| Chair: Jorge M. Soares (Protocol Labs) | |
| 16:15 | Bullshark: DAG BFT Protocols Made Practical |
| Speakers: Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias | |
| Abstract: BullShark presents asynchronous BFT protocols optimized for practical scenarios, reducing latency while ensuring consensus effectively in DAG structures. | |
| 16:30 | Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency |
| Speakers: Yingzi Gao, Yuan Lu, Zhenliang Lu, Qiang Tang, Jing Xu, Zhenfeng Zhang | |
| Abstract: Dumbo-NG introduces a BFT consensus protocol that resolves latency issues while maintaining high throughput without extra communication costs. | |
| 16:45 | Does My BFT Protocol Implementation Scale? |
| Speakers: Christian Berger, Sadok Ben Toumia, Hans P. Reiser | |
| Abstract: We explore simulation as a rapid and cost-effective approach for evaluating scalability and performance in BFT protocol implementations. | |
| 17:00 | Q&A |
| 17:15 UTC | Session 2.3 - Latency Optimisation |
| Chair: Henrique Moniz (Protocol Labs) | |
| 17:15 | BBCA-LEDGER: High Throughput Consensus meets Low Latency |
| Speakers: Chrysoula Stathakopoulou, Michael Wei, Hongbo Zhang, Maofan Yin, Dahlia Malkhi | |
| Abstract: BBCA-LEDGER presents a new log replication technology for Byzantine fault tolerance providing rapid transaction consensus while facilitating parallel dissemination. | |
| 17:30 | HotStuff-2: Optimal Two-Phase Responsive BFT |
| Speakers: Dahlia Malkhi, Kartik Nayak | |
| Abstract: We introduce HotStuff-2, a two-phase BFT protocol that achieves optimal communication and responsiveness while ensuring safety and liveness. | |
| 17:45 | Chasing the Speed of Light: Low-Latency Planetary-Scale Adaptive Byzantine Consensus |
| Speakers: Christian Berger, Lívio Rodrigues, Hans P. Reiser, Vinicius Cogo, Alysson Bessani | |
| Abstract: We present Faster-Than-Light Consensus, aiming for reducing latency in BFT protocols using adaptive resilience thresholds to speed up transaction ordering. | |
| 18:00 | Q&A |
| 18:15 UTC | Closing Remarks |