题目：A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance

报告时间：2024年5月14日（星期二）10：00-11：00

报告地点：理科大楼B211

邀请人：邬海琴

摘要:

Sharding is crucial for blockchain scalability, but current protocols have limitations. Reticulum is a novel sharding protocol that overcomes these limitations and achieves enhanced scalability without security vulnerabilities. It employs a two-phase design that dynamically adjusts transaction throughput based on adversarial attacks on liveness or safety. Reticulum has two layers of shards, control, and process, with unanimous voting in phase one and a control shard to finalize decisions. Experiments show that Reticulum is superior to existing sharding protocols in terms of high transaction throughput and robustness.

We will present current and future work in provably correct and secure programs using automatic theorem proving in intuitionistic logic.

报告人简介:

Dr. Boris Düdder is Associate Professor of Software and Systems Engineering at the Department of Computer Science at the University of Copenhagen, Denmark. He is the Director of the Laboratory for Trustworthy AI and leads the Research Group Software Engineering & Formal Methods. His research interests are in formal methods and programming languages for software engineering of safe and dependable distributed systems. He is a guest lecturer at the Copenhagen Business School (CBS), Denmark, and the University of Electronic Science and Technology of China (UESTC), Chengdu, P.R. China. He is involved in multiple projects on innovative and dependable industrial IT infrastructure for enterprises, manufacturing industries, and national healthcare IT, e.g., Data Ecosystems, Smart Factories, and Industry 4.0. He received several international, European, and national research grants on scalable infrastructures for data ecosystems, healthcare IT, distributed ledger technologies, and FinTech. He has published over 50 papers in top international journals and conferences. His academic and industrial background, e.g., TU Dortmund, Fraunhofer, Germany, and Microsoft, USA.