Academic Seminar on Trustworthy Software between China and France

Title: A Two Layer Blockchain Sharing Protocol Leveling Safety and Liveness for Enhanced Performance

Report time: May 14th, 2024 (Tuesday) 10:00-11:00

Report location: B211, Science Building

Inviter: Wu Haiqin

Abstract:

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.

Introduction of Lectuer:

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.